Package edu.jas.gbufd

Class WordGroebnerBasePseudoSeq<C extends GcdRingElem<C>>

  • Type Parameters:
    C - coefficient type
    All Implemented Interfaces:
    WordGroebnerBase<C>, java.io.Serializable

    public class WordGroebnerBasePseudoSeq<C extends GcdRingElem<C>>
    extends WordGroebnerBaseAbstract<C>
    Non-commutative word Groebner Base sequential algorithm. Implements Groebner bases and GB test. Coefficients can for example be integers or (commutative) univariate polynomials.
    See Also:
    Serialized Form
    • Field Detail

      • logger

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

        private static final boolean debug
    • Constructor Detail

      • WordGroebnerBasePseudoSeq

        public WordGroebnerBasePseudoSeq​(RingFactory<C> rf)
        Constructor.
        Parameters:
        rf - coefficient ring factory.
      • WordGroebnerBasePseudoSeq

        public WordGroebnerBasePseudoSeq​(RingFactory<C> rf,
                                         WordPseudoReductionSeq<C> red)
        Constructor.
        Parameters:
        rf - coefficient ring factory.
        red - Reduction engine
      • WordGroebnerBasePseudoSeq

        public WordGroebnerBasePseudoSeq​(RingFactory<C> rf,
                                         WordPseudoReductionSeq<C> red,
                                         WordPairList<C> pl)
        Constructor.
        Parameters:
        rf - coefficient ring factory.
        red - Reduction engine
        pl - pair selection strategy
    • Method Detail

      • baseContent

        public C baseContent​(GenWordPolynomial<C> P)
        GenWordPolynomial base coefficient content.
        Parameters:
        P - GenWordPolynomial.
        Returns:
        cont(P).
      • basePrimitivePart

        public GenWordPolynomial<C> basePrimitivePart​(GenWordPolynomial<C> P)
        GenWordPolynomial base coefficient primitive part.
        Parameters:
        P - GenWordPolynomial.
        Returns:
        pp(P).
      • basePrimitivePart

        public java.util.List<GenWordPolynomial<C>> basePrimitivePart​(java.util.List<GenWordPolynomial<C>> F)
        List of GenWordPolynomial base coefficient primitive part.
        Parameters:
        F - list of GenWordPolynomials.
        Returns:
        pp(F).