edu.jas.poly
Class OrderedPolynomialTokenizer

java.lang.Object
  edu.jas.poly.OrderedPolynomialTokenizer

public class OrderedPolynomialTokenizer
extends java.lang.Object

OrderedMapPolynomial Tokenizer. Used to read rational polynomials and lists from input streams.

Constructor Summary

OrderedPolynomialTokenizer(java.io.Reader r)
constructors

OrderedPolynomialTokenizer(java.lang.String[] v, TermOrder to)

OrderedPolynomialTokenizer(java.lang.String[] v, TermOrder to, java.io.Reader r)

OrderedPolynomialTokenizer(java.lang.String[] v, TermOrder to, java.io.Reader r, RelationTable rt)

Method Summary

Coefficient	nextCoefficientRing() parsing method for coefficient ring syntax: Rat | Q | Int | Z | Complex | C | Quat
void	nextComma()
java.lang.String[]	nextCommand() parsing method for command, @unused syntax: ClassToLoad.compute(a1,a2,...)
java.lang.String	nextComment() parsing method for comments syntax: (* comment *) | /_* comment *_/ without _
long	nextExponent() parsing method for variable exponent syntax: ^long | **long
java.util.List	nextPolynomialList() parsing method for polynomial list syntax: ( p1, p2, p3, ..., pn )
PolynomialList	nextPolynomialSet() parsing method for polynomial set syntax: varList termOrderName polyList
RatOrderedMapPolynomial	nextRatPolynomial() parsing method for RatOrderedMapPolynomial syntax
RelationTable	nextRelationTable() parsing method for solvable polynomial relation table syntax: ( p_1, p_2, p_3, ..., p_n+3 ) semantics: p_n+1 * p_n+2 = p_n+3
java.util.List	nextSolvablePolynomialList() parsing method for solvable polynomial list syntax: ( p1, p2, p3, ..., pn )
PolynomialList	nextSolvablePolynomialSet() parsing method for solvable polynomial set syntax: varList termOrderName relationTable polyList
java.util.List	nextSolvableSubModuleList() parsing method for solvable submodule list syntax: ( ( p11, p12, p13, ..., p1n ), ..., ( pm1, pm2, pm3, ..., pmn ) )
ModuleList	nextSolvableSubModuleSet() parsing method for solvable module set syntax: varList termOrderName relationTable moduleList
int	nextSplitIndex() parsing method for split index syntax: |i|
java.util.List	nextSubModuleList() parsing method for submodule list syntax: ( ( p11, p12, p13, ..., p1n ), ..., ( pm1, pm2, pm3, ..., pmn ) )
ModuleList	nextSubModuleSet() parsing method for module set syntax: varList termOrderName moduleList
TermOrder	nextTermOrder() parsing method for term order name syntax: termOrderName = L, IL, LEX, G, IG, GRLEX W(weights)
java.lang.String[]	nextVariableList() parsing method for variable list syntax: (a, b c, de)
long[]	nextWeightList() parsing method for weight list syntax: (w1, w2, w3, ..., wn)

Methods inherited from class java.lang.Object

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

Constructor Detail

OrderedPolynomialTokenizer

public OrderedPolynomialTokenizer(java.io.Reader r)

constructors

OrderedPolynomialTokenizer

public OrderedPolynomialTokenizer(java.lang.String[] v,
                                  TermOrder to)

OrderedPolynomialTokenizer

public OrderedPolynomialTokenizer(java.lang.String[] v,
                                  TermOrder to,
                                  java.io.Reader r)

OrderedPolynomialTokenizer

public OrderedPolynomialTokenizer(java.lang.String[] v,
                                  TermOrder to,
                                  java.io.Reader r,
                                  RelationTable rt)

Method Detail

nextRatPolynomial

public RatOrderedMapPolynomial nextRatPolynomial()
                                          throws java.io.IOException

parsing method for RatOrderedMapPolynomial syntax

Throws:

java.io.IOException

nextExponent

public long nextExponent()
                  throws java.io.IOException

parsing method for variable exponent syntax: ^long | **long

Throws:

java.io.IOException

nextComment

public java.lang.String nextComment()
                             throws java.io.IOException

parsing method for comments syntax: (* comment *) | /_* comment *_/ without _

Throws:

java.io.IOException

nextComma

public void nextComma()
               throws java.io.IOException

Throws:

java.io.IOException

nextVariableList

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

parsing method for variable list syntax: (a, b c, de)

Throws:

java.io.IOException

nextCoefficientRing

public Coefficient nextCoefficientRing()
                                throws java.io.IOException

parsing method for coefficient ring syntax: Rat | Q | Int | Z | Complex | C | Quat

Throws:

java.io.IOException

nextWeightList

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

parsing method for weight list syntax: (w1, w2, w3, ..., wn)

Throws:

java.io.IOException

nextSplitIndex

public int nextSplitIndex()
                   throws java.io.IOException

parsing method for split index syntax: |i|

Throws:

java.io.IOException

nextTermOrder

public TermOrder nextTermOrder()
                        throws java.io.IOException

parsing method for term order name syntax: termOrderName = L, IL, LEX, G, IG, GRLEX W(weights)

Throws:

java.io.IOException

nextPolynomialList

public java.util.List nextPolynomialList()
                                  throws java.io.IOException

parsing method for polynomial list syntax: ( p1, p2, p3, ..., pn )

Throws:

java.io.IOException

nextSubModuleList

public java.util.List nextSubModuleList()
                                 throws java.io.IOException

parsing method for submodule list syntax: ( ( p11, p12, p13, ..., p1n ), ..., ( pm1, pm2, pm3, ..., pmn ) )

Throws:

java.io.IOException

nextRelationTable

public RelationTable nextRelationTable()
                                throws java.io.IOException

parsing method for solvable polynomial relation table syntax: ( p_1, p_2, p_3, ..., p_n+3 ) semantics: p_n+1 * p_n+2 = p_n+3

Throws:

java.io.IOException

nextPolynomialSet

public PolynomialList nextPolynomialSet()
                                 throws java.io.IOException

parsing method for polynomial set syntax: varList termOrderName polyList

Throws:

java.io.IOException

nextSubModuleSet

public ModuleList nextSubModuleSet()
                            throws java.io.IOException

parsing method for module set syntax: varList termOrderName moduleList

Throws:

java.io.IOException

nextSolvablePolynomialList

public java.util.List nextSolvablePolynomialList()
                                          throws java.io.IOException

parsing method for solvable polynomial list syntax: ( p1, p2, p3, ..., pn )

Throws:

java.io.IOException

nextSolvablePolynomialSet

public PolynomialList nextSolvablePolynomialSet()
                                         throws java.io.IOException

parsing method for solvable polynomial set syntax: varList termOrderName relationTable polyList

Throws:

java.io.IOException

nextSolvableSubModuleList

public java.util.List nextSolvableSubModuleList()
                                         throws java.io.IOException

parsing method for solvable submodule list syntax: ( ( p11, p12, p13, ..., p1n ), ..., ( pm1, pm2, pm3, ..., pmn ) )

Throws:

java.io.IOException

nextSolvableSubModuleSet

public ModuleList nextSolvableSubModuleSet()
                                    throws java.io.IOException

parsing method for solvable module set syntax: varList termOrderName relationTable moduleList

Throws:

java.io.IOException

nextCommand

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

parsing method for command, @unused syntax: ClassToLoad.compute(a1,a2,...)

Returns:

String[] { "ClassToLoad", "compute", "a1", "a2", ... }

Throws:

java.io.IOException