Package edu.jas.gb

Class GroebnerBaseSeqIter<C extends RingElem<C>>

    • Field Detail

      • logger

        private static final org.apache.logging.log4j.Logger logger
      • debug

        private static final boolean debug
    • Constructor Detail

      • GroebnerBaseSeqIter

        public GroebnerBaseSeqIter()
        Constructor.
      • GroebnerBaseSeqIter

        public GroebnerBaseSeqIter​(Reduction<C> red)
        Constructor.
        Parameters:
        red - Reduction engine
      • GroebnerBaseSeqIter

        public GroebnerBaseSeqIter​(PairList<C> pl)
        Constructor.
        Parameters:
        pl - pair selection strategy
      • GroebnerBaseSeqIter

        public GroebnerBaseSeqIter​(Reduction<C> red,
                                   PairList<C> pl)
        Constructor.
        Parameters:
        red - Reduction engine
        pl - pair selection strategy
    • Method Detail

      • GB

        public java.util.List<GenPolynomial<C>> GB​(int modv,
                                                   java.util.List<GenPolynomial<C>> F)
        Groebner base using pairlist class, iterative algorithm.
        Parameters:
        modv - module variable number.
        F - polynomial list.
        Returns:
        GB(F) a Groebner base of F.
      • GB

        public java.util.List<GenPolynomial<C>> GB​(int modv,
                                                   java.util.List<GenPolynomial<C>> G,
                                                   GenPolynomial<C> f)
        Groebner base using pairlist class.
        Parameters:
        modv - module variable number.
        G - polynomial list of a Groebner base.
        f - polynomial.
        Returns:
        GB(G,f) a Groebner base of G+(f).