Package edu.jas.application

Class 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 Detail

      • 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 (no 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 (no polyList)
        Returns:
        the next solvable polynomial ring.
        Throws:
        java.io.IOException

      • nextComma

        public void nextComma()
               throws java.io.IOException
        Throws:
        java.io.IOException

      • nextSubModuleRing

        public GenPolynomialRing nextSubModuleRing()
                                    throws java.io.IOException
        Parsing method for module ring. Syntax: 
         coeffRing varList termOrderName (no moduleList)
        Returns:
        the next module ring.
        Throws:
        java.io.IOException

      • nextSolvableSubModuleRing

        public GenSolvablePolynomialRing nextSolvableSubModuleRing()
                                                    throws java.io.IOException
        Parsing method for solvable module ring. Syntax: 
         varList termOrderName relationTable (no moduleList*)
        Returns:
        the next solvable module ring.
        Throws:
        java.io.IOException