GenPolynomialTokenizer
edu.jas.poly

Class GenPolynomialTokenizer



  • public class GenPolynomialTokenizerextends Object
    GenPolynomial Tokenizer. Used to read rational polynomials and lists of polynomials from input streams. Arbitrary polynomial rings and coefficient rings can be read with RingFactoryTokenizer. Note: Can no more read QuotientRing since end of 2010, revision 3441. Quotient coefficients and others can still be read if the respective factory is provided via the constructor.
    See Also:
    RingFactoryTokenizer
    • Constructor Detail

      • GenPolynomialTokenizer

        public GenPolynomialTokenizer()
        noargs constructor reads from System.in.
      • GenPolynomialTokenizer

        public GenPolynomialTokenizer(GenPolynomialRing rf,                      Reader r)
        constructor with Ring and Reader.
        Parameters:
        rf - ring factory.
        r - reader stream.
      • GenPolynomialTokenizer

        public GenPolynomialTokenizer(Reader r)
        constructor with Reader.
        Parameters:
        r - reader stream.
    • Method Detail

      • initFactory

        public void initFactory(RingFactory rf,               edu.jas.poly.GenPolynomialTokenizer.coeffType ct)
        Initialize coefficient and polynomial factories.
        Parameters:
        rf - ring factory.
        ct - coefficient type.
      • initSolvableFactory

        public void initSolvableFactory(RingFactory rf,                       edu.jas.poly.GenPolynomialTokenizer.coeffType ct)
        Initialize polynomial and solvable polynomial factories.
        Parameters:
        rf - ring factory.
        ct - coefficient type.
      • nextExponent

        public long nextExponent()                  throws IOException
        Parsing method for exponent (of variable). syntax: ^long | **long.
        Returns:
        the next exponent or 1.
        Throws:
        IOException
      • nextComment

        public String nextComment()                   throws IOException
        Parsing method for comments. syntax: (* comment *) | /_* comment *_/ without _ Does not work with this pushBack(), unused.
        Throws:
        IOException
      • nextVariableList

        public String[] nextVariableList()                          throws IOException
        Parsing method for variable list. syntax: (a, b c, de) gives [ "a", "b", "c", "de" ]
        Returns:
        the next variable list.
        Throws:
        IOException
      • nextCoefficientRing

        public RingFactory nextCoefficientRing()                                throws IOException
        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)
        Returns:
        the next coefficient factory.
        Throws:
        IOException
      • nextWeightList

        public long[] nextWeightList()                      throws IOException
        Parsing method for weight list. syntax: (w1, w2, w3, ..., wn)
        Returns:
        the next weight list.
        Throws:
        IOException
      • nextWeightArray

        public long[][] nextWeightArray()                         throws IOException
        Parsing method for weight array. syntax: ( (w11, ...,w1n), ..., (wm1, ..., wmn) )
        Returns:
        the next weight array.
        Throws:
        IOException
      • nextSplitIndex

        public int nextSplitIndex()                   throws IOException
        Parsing method for split index. syntax: |i|
        Returns:
        the next split index.
        Throws:
        IOException
      • nextTermOrder

        public TermOrder nextTermOrder()                        throws IOException
        Parsing method for term order name. syntax: termOrderName = L, IL, LEX, G, IG, GRLEX, W(weights) |split index|
        Returns:
        the next term order.
        Throws:
        IOException
      • nextPolynomialList

        public List<GenPolynomial> nextPolynomialList()                                       throws IOException
        Parsing method for polynomial list. syntax: ( p1, p2, p3, ..., pn )
        Returns:
        the next polynomial list.
        Throws:
        IOException
      • nextSubModuleList

        public List<List<GenPolynomial>> nextSubModuleList()                                            throws IOException
        Parsing method for submodule list. syntax: ( ( p11, p12, p13, ..., p1n ), ..., ( pm1, pm2, pm3, ..., pmn ) )
        Returns:
        the next list of polynomial lists.
        Throws:
        IOException
      • nextRelationTable

        public void nextRelationTable()                       throws 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} The next relation table is stored into the solvable polynomial factory.
        Throws:
        IOException
      • nextPolynomialSet

        public PolynomialList nextPolynomialSet()                                 throws IOException
        Parsing method for polynomial set. syntax: coeffRing varList termOrderName polyList.
        Returns:
        the next polynomial set.
        Throws:
        IOException
      • nextSubModuleSet

        public ModuleList nextSubModuleSet()                            throws IOException
        Parsing method for module set. syntax: coeffRing varList termOrderName moduleList.
        Returns:
        the next module set.
        Throws:
        IOException
      • nextSolvablePolynomialList

        public List<GenSolvablePolynomial> nextSolvablePolynomialList()                                                       throws IOException
        Parsing method for solvable polynomial list. syntax: ( p1, p2, p3, ..., pn )
        Returns:
        the next solvable polynomial list.
        Throws:
        IOException
      • nextSolvablePolynomialSet

        public PolynomialList nextSolvablePolynomialSet()                                         throws IOException
        Parsing method for solvable polynomial set. syntax: varList termOrderName relationTable polyList.
        Returns:
        the next solvable polynomial set.
        Throws:
        IOException
      • nextSolvableSubModuleList

        public List<List<GenSolvablePolynomial>> nextSolvableSubModuleList()                                                            throws IOException
        Parsing method for solvable submodule list. syntax: ( ( p11, p12, p13, ..., p1n ), ..., ( pm1, pm2, pm3, ..., pmn ) )
        Returns:
        the next list of solvable polynomial lists.
        Throws:
        IOException
      • nextSolvableSubModuleSet

        public ModuleList nextSolvableSubModuleSet()                                    throws IOException
        Parsing method for solvable module set. syntax: varList termOrderName relationTable moduleList.
        Returns:
        the next solvable module set.
        Throws:
        IOException
      • variableList

        public static String[] variableList(String s)
        Parse variable list from String.
        Parameters:
        s - String. Syntax: (n1,...,nk) or (n1 ... nk), parenthesis are also optional.
        Returns:
        array of variable names found in s.
      • expressionVariables

        public static String[] expressionVariables(String s)
        Extract variable list from expression.
        Parameters:
        s - String. Syntax: any polynomial expression.
        Returns:
        array of variable names found in s.

SCaVis 1.8 © jWork.org