public class GenPolynomialTokenizer extends java.lang.Object
RingFactoryTokenizer
Constructor and Description |
---|
GenPolynomialTokenizer()
noargs constructor reads from System.in.
|
GenPolynomialTokenizer(GenPolynomialRing rf,
java.io.Reader r)
constructor with Ring and Reader.
|
GenPolynomialTokenizer(java.io.Reader r)
constructor with Reader.
|
Modifier and Type | Method and Description |
---|---|
static java.lang.String[] |
expressionVariables(java.lang.String s)
Extract variable list from expression.
|
void |
initFactory(RingFactory rf,
edu.jas.poly.GenPolynomialTokenizer.coeffType ct)
Initialize coefficient and polynomial factories.
|
void |
initSolvableFactory(RingFactory rf,
edu.jas.poly.GenPolynomialTokenizer.coeffType ct)
Initialize polynomial and solvable polynomial factories.
|
RingFactory |
nextCoefficientRing()
Parsing method for coefficient ring. syntax: Rat | Q | Int | Z | Mod
modul | Complex | C | D | Quat | AN[ (var) ( poly ) ] | AN[ modul (var) (
poly ) ] | IntFunc (var_list)
|
void |
nextComma() |
java.lang.String |
nextComment()
Parsing method for comments. syntax: (* comment *) | /_* comment *_/
without _ Does not work with this pushBack(), unused.
|
long |
nextExponent()
Parsing method for exponent (of variable). syntax: ^long | **long.
|
GenPolynomial |
nextPolynomial()
Parsing method for GenPolynomial. syntax ?
|
java.util.List<GenPolynomial> |
nextPolynomialList()
Parsing method for polynomial list. syntax: ( p1, p2, p3, ..., pn )
|
PolynomialList |
nextPolynomialSet()
Parsing method for polynomial set. syntax: coeffRing varList
termOrderName polyList.
|
void |
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} The next
relation table is stored into the solvable polynomial factory.
|
GenSolvablePolynomial |
nextSolvablePolynomial()
Parsing method for solvable polynomial. syntax: p.
|
java.util.List<GenSolvablePolynomial> |
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<java.util.List<GenSolvablePolynomial>> |
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<java.util.List<GenPolynomial>> |
nextSubModuleList()
Parsing method for submodule list. syntax: ( ( p11, p12, p13, ..., p1n ),
..., ( pm1, pm2, pm3, ..., pmn ) )
|
ModuleList |
nextSubModuleSet()
Parsing method for module set. syntax: coeffRing varList termOrderName
moduleList.
|
TermOrder |
nextTermOrder()
Parsing method for term order name. syntax: termOrderName = L, IL, LEX,
G, IG, GRLEX, W(weights) |split index|
|
java.lang.String[] |
nextVariableList()
Parsing method for variable list. syntax: (a, b c, de) gives [ "a", "b",
"c", "de" ]
|
long[][] |
nextWeightArray()
Parsing method for weight array. syntax: ( (w11, ...
|
long[] |
nextWeightList()
Parsing method for weight list. syntax: (w1, w2, w3, ..., wn)
|
static java.lang.String[] |
variableList(java.lang.String s)
Parse variable list from String.
|
public GenPolynomialTokenizer()
public GenPolynomialTokenizer(GenPolynomialRing rf, java.io.Reader r)
rf
- ring factory.r
- reader stream.public GenPolynomialTokenizer(java.io.Reader r)
r
- reader stream.public void initFactory(RingFactory rf, edu.jas.poly.GenPolynomialTokenizer.coeffType ct)
rf
- ring factory.ct
- coefficient type.public void initSolvableFactory(RingFactory rf, edu.jas.poly.GenPolynomialTokenizer.coeffType ct)
rf
- ring factory.ct
- coefficient type.public GenPolynomial nextPolynomial() throws java.io.IOException
java.io.IOException
public long nextExponent() throws java.io.IOException
java.io.IOException
public java.lang.String nextComment() throws java.io.IOException
java.io.IOException
public java.lang.String[] nextVariableList() throws java.io.IOException
java.io.IOException
public RingFactory nextCoefficientRing() throws java.io.IOException
java.io.IOException
public long[] nextWeightList() throws java.io.IOException
java.io.IOException
public long[][] nextWeightArray() throws java.io.IOException
java.io.IOException
public int nextSplitIndex() throws java.io.IOException
java.io.IOException
public TermOrder nextTermOrder() throws java.io.IOException
java.io.IOException
public java.util.List<GenPolynomial> nextPolynomialList() throws java.io.IOException
java.io.IOException
public java.util.List<java.util.List<GenPolynomial>> nextSubModuleList() throws java.io.IOException
java.io.IOException
public void nextRelationTable() throws java.io.IOException
java.io.IOException
public PolynomialList nextPolynomialSet() throws java.io.IOException
java.io.IOException
public ModuleList nextSubModuleSet() throws java.io.IOException
java.io.IOException
public java.util.List<GenSolvablePolynomial> nextSolvablePolynomialList() throws java.io.IOException
java.io.IOException
public GenSolvablePolynomial nextSolvablePolynomial() throws java.io.IOException
java.io.IOException
public PolynomialList nextSolvablePolynomialSet() throws java.io.IOException
java.io.IOException
public java.util.List<java.util.List<GenSolvablePolynomial>> nextSolvableSubModuleList() throws java.io.IOException
java.io.IOException
public ModuleList nextSolvableSubModuleSet() throws java.io.IOException
java.io.IOException
public void nextComma() throws java.io.IOException
java.io.IOException
public static java.lang.String[] variableList(java.lang.String s)
s
- String. Syntax: (n1,...,nk) or (n1 ... nk), parenthesis are also
optional.public static java.lang.String[] expressionVariables(java.lang.String s)
s
- String. Syntax: any polynomial expression.