Package edu.jas.gb

Class WordReductionSeq<C extends RingElem<C>>

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

    public class WordReductionSeq<C extends RingElem<C>>
    extends WordReductionAbstract<C>
    Polynomial word reduction sequential use algorithm. Implements normalform.
    See Also:
    Serialized Form
    • Field Detail

      • logger

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

        private static final boolean debug
    • Constructor Detail

      • WordReductionSeq

        public WordReductionSeq()
        Constructor.
    • Method Detail

      • normalform

        public GenWordPolynomial<C> normalform​(java.util.List<GenWordPolynomial<C>> lrow,
                                               java.util.List<GenWordPolynomial<C>> rrow,
                                               java.util.List<GenWordPolynomial<C>> Pp,
                                               GenWordPolynomial<C> Ap)
        Normalform with left and right recording.
        Parameters:
        lrow - left recording matrix, is modified.
        rrow - right recording matrix, is modified.
        Pp - a polynomial list for reduction.
        Ap - a polynomial.
        Returns:
        nf(Pp,Ap), the normal form of Ap wrt. Pp.
      • leftNormalform

        public GenWordPolynomial<C> leftNormalform​(java.util.List<GenWordPolynomial<C>> Pp,
                                                   GenWordPolynomial<C> Ap)
        Left normalform with recording.
        Parameters:
        Pp - a polynomial list for reduction.
        Ap - a polynomial.
        Returns:
        nf(Pp,Ap), the left normal form of Ap wrt. Pp.
      • leftNormalform

        public GenWordPolynomial<C> leftNormalform​(java.util.List<GenWordPolynomial<C>> lrow,
                                                   java.util.List<GenWordPolynomial<C>> Pp,
                                                   GenWordPolynomial<C> Ap)
        Left normalform with recording.
        Parameters:
        lrow - left recording matrix, is modified.
        Pp - a polynomial list for reduction.
        Ap - a polynomial.
        Returns:
        nf(Pp,Ap), the left normal form of Ap wrt. Pp.
      • rightNormalform

        public GenWordPolynomial<C> rightNormalform​(java.util.List<GenWordPolynomial<C>> Pp,
                                                    GenWordPolynomial<C> Ap)
        Right normalform with recording.
        Parameters:
        Pp - a polynomial list for reduction.
        Ap - a polynomial.
        Returns:
        nf(Pp,Ap), the right normal form of Ap wrt. Pp.
      • rightNormalform

        public GenWordPolynomial<C> rightNormalform​(java.util.List<GenWordPolynomial<C>> rrow,
                                                    java.util.List<GenWordPolynomial<C>> Pp,
                                                    GenWordPolynomial<C> Ap)
        Right normalform with recording.
        Parameters:
        rrow - right recording matrix, is modified.
        Pp - a polynomial list for reduction.
        Ap - a polynomial.
        Returns:
        nf(Pp,Ap), the right normal form of Ap wrt. Pp.