edu.jas.application

Class RingFactoryTokenizer

java.lang.Object

edu.jas.application.RingFactoryTokenizer

public class RingFactoryTokenizer
extends java.lang.Object

RingFactory Tokenizer. Used to read ring factories from input streams. It can also read QuotientRing factory.

Author:

Heinz Kredel

See Also:

GenPolynomialTokenizer

Constructor Summary

Constructors

Constructor and Description
RingFactoryTokenizer() No-args constructor reads from System.in.
RingFactoryTokenizer(GenPolynomialRing rf, java.io.Reader r) Constructor with Ring and Reader.
RingFactoryTokenizer(java.io.Reader r) Constructor with Reader.

Method Summary

Modifier and Type	Method and Description
void	initFactory(RingFactory rf, edu.jas.application.RingFactoryTokenizer.coeffType ct) Initialize coefficient and polynomial factories.
void	initSolvableFactory(RingFactory rf, edu.jas.application.RingFactoryTokenizer.coeffType ct) Initialize coefficient and solvable polynomial factories.
RingFactory	nextCoefficientRing() Parsing method for coefficient ring.
void	nextComma()
GenPolynomialRing	nextPolynomialRing() Parsing method for polynomial ring.
void	nextRelationTable() Parsing method for solvable polynomial relation table.
GenSolvablePolynomialRing	nextSolvablePolynomialRing() Parsing method for solvable polynomial ring.
int	nextSplitIndex() Parsing method for split index.
TermOrder	nextTermOrder() Parsing method for term order name.
java.lang.String[]	nextVariableList() Parsing method for variable list.
long[][]	nextWeightArray() Parsing method for weight array.
long[]	nextWeightList() Parsing method for weight list.
static java.lang.String[]	variableList(java.lang.String s) Parse variable list from String.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RingFactoryTokenizer

public RingFactoryTokenizer()

No-args constructor reads from System.in.

RingFactoryTokenizer

public RingFactoryTokenizer(GenPolynomialRing rf,
                            java.io.Reader r)

Constructor with Ring and Reader.

Parameters:

rf - ring factory.

r - reader stream.

RingFactoryTokenizer

public RingFactoryTokenizer(java.io.Reader r)

Constructor with Reader.

Parameters:

r - reader stream.

Method Detail

initFactory

public void initFactory(RingFactory rf,
                        edu.jas.application.RingFactoryTokenizer.coeffType ct)

Initialize coefficient and polynomial factories.

Parameters:

rf - ring factory.

ct - coefficient type.

initSolvableFactory

public void initSolvableFactory(RingFactory rf,
                                edu.jas.application.RingFactoryTokenizer.coeffType ct)

Initialize coefficient and solvable polynomial factories.

Parameters:

rf - ring factory.

ct - coefficient type.

nextVariableList

public java.lang.String[] nextVariableList()
                                    throws java.io.IOException

Parsing method for variable list. Syntax:

 (a, b c, de)
 

gives [ "a", "b", "c", "de" ]

Returns:

the next variable list.

Throws:

java.io.IOException

nextCoefficientRing

public RingFactory nextCoefficientRing()
                                throws java.io.IOException

Parsing method for coefficient ring. Syntax:

 Rat | Q | Int | Z | Mod modul | Complex | C | D | Quat |
    AN[ (var) ( poly ) | AN[ modul (var) ( poly ) ] | 
    RatFunc (var_list) | ModFunc modul (var_list) | IntFunc (var_list)
 

Returns:

the next coefficient factory.

Throws:

java.io.IOException

nextWeightList

public long[] nextWeightList()
                      throws java.io.IOException

Parsing method for weight list. Syntax:

 (w1, w2, w3, ..., wn)
 

Returns:

the next weight list.

Throws:

java.io.IOException

nextWeightArray

public long[][] nextWeightArray()
                         throws java.io.IOException

Parsing method for weight array. Syntax:

 ( (w11, ...,w1n), ..., (wm1, ..., wmn) )
 

Returns:

the next weight array.

Throws:

java.io.IOException

nextSplitIndex

public int nextSplitIndex()
                   throws java.io.IOException

Parsing method for split index. Syntax:

 |i|
 

Returns:

the next split index.

Throws:

java.io.IOException

nextTermOrder

public TermOrder nextTermOrder()
                        throws java.io.IOException

Parsing method for term order name. Syntax:

 L | IL | LEX | G | IG | GRLEX | W(weights) | '|'split index'|'
 

Returns:

the next term order.

Throws:

java.io.IOException

nextRelationTable

public void nextRelationTable()
                       throws java.io.IOException

Parsing method for solvable polynomial relation table. Syntax:

 ( p_1, p_2, p_3, ..., p_{n+1}, p_{n+2}, p_{n+3} )
 

semantics: p_{n+1} * p_{n+2} = p_{n+3}. The next relation table is stored into the solvable polynomial factory.

Throws:

java.io.IOException

nextPolynomialRing

public GenPolynomialRing nextPolynomialRing()
                                     throws java.io.IOException

Parsing method for polynomial ring. Syntax:

 coeffRing varList termOrderName polyList
 

Returns:

the next polynomial ring.

Throws:

java.io.IOException

nextSolvablePolynomialRing

public GenSolvablePolynomialRing nextSolvablePolynomialRing()
                                                     throws java.io.IOException

Parsing method for solvable polynomial ring. Syntax:

 varList termOrderName relationTable polyList
 

Returns:

the next solvable polynomial ring.

Throws:

java.io.IOException

nextComma

public void nextComma()
               throws java.io.IOException

Throws:

java.io.IOException

variableList

public static java.lang.String[] variableList(java.lang.String s)

Parse variable list from String.

Parameters:

s - String. Syntax:

 (n1,...,nk)
            

or

 (n1 ... nk)
            

parenthesis are optional.

Returns:

array of variable names found in s.