Package edu.jas.gb

Class GroebnerBaseF5zSigSeqIter<C extends RingElem<C>>

    • Field Detail

      • logger

        private static final org.apache.logging.log4j.Logger logger
    • Constructor Detail

      • GroebnerBaseF5zSigSeqIter

        public GroebnerBaseF5zSigSeqIter()
        Constructor.
      • GroebnerBaseF5zSigSeqIter

        public GroebnerBaseF5zSigSeqIter​(SigReductionSeq<C> red)
        Constructor.
        Parameters:
        red - Reduction engine
    • Method Detail

      • pruneP

        java.util.List<SigPair<C>> pruneP​(java.util.List<SigPair<C>> P,
                                          java.util.List<ExpVector> syz)
        Prune total pair list P.
        Overrides:
        pruneP in class GroebnerBaseSigSeqIter<C extends RingElem<C>>
        Parameters:
        P - pair list.
        syz - list of exponent vectors representing syzygies.
        Returns:
        updated pair list. Note: stores polynomials not only indices.
      • pruneS

        java.util.List<SigPair<C>> pruneS​(java.util.List<SigPair<C>> S,
                                          java.util.List<ExpVector> syz,
                                          java.util.List<SigPoly<C>> done,
                                          java.util.List<SigPoly<C>> G)
        Prune pair list of degree d.
        Overrides:
        pruneS in class GroebnerBaseSigSeqIter<C extends RingElem<C>>
        Parameters:
        S - pair list.
        syz - list of exponent vectors representing syzygies.
        done - list of treated polynomials.
        G - polynomial with signature list.
        Returns:
        updated pair list.
      • updateSyz

        void updateSyz​(java.util.List<ExpVector> syz,
                       SigPoly<C> r)
        Update syzygy list.
        Overrides:
        updateSyz in class GroebnerBaseSigSeqIter<C extends RingElem<C>>
        Parameters:
        syz - list of exponent vectors representing syzygies.
        r - polynomial. Note: szy is modified to represent updated list of exponent vectors.