Package edu.jas.gbufd

Class CharacteristicSetWu<C extends GcdRingElem<C>>

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

    public class CharacteristicSetWu<C extends GcdRingElem<C>>
    extends java.lang.Object
    implements CharacteristicSet<C>
    Characteristic Set class according to Wu. Implements methods for Characteristic Sets and tests.
    See Also:
    Serialized Form
    • Field Detail

      • logger

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

        private static final boolean debug
    • Constructor Detail

      • CharacteristicSetWu

        public CharacteristicSetWu()
    • Method Detail

      • isCharacteristicSet

        public boolean isCharacteristicSet​(java.util.List<GenPolynomial<C>> A)
        Characteristic set test.
        Specified by:
        isCharacteristicSet in interface CharacteristicSet<C extends GcdRingElem<C>>
        Parameters:
        A - list of generic polynomials.
        Returns:
        true, if A is (at least a simple) characteristic set, else false.
      • characteristicSetReduction

        public GenPolynomial<C> characteristicSetReduction​(java.util.List<GenPolynomial<C>> A,
                                                           GenPolynomial<C> P)
        Characteristic set reduction. Pseudo remainder wrt. the main variable with further pseudo reduction of the leading coefficient.
        Specified by:
        characteristicSetReduction in interface CharacteristicSet<C extends GcdRingElem<C>>
        Parameters:
        P - generic polynomial.
        A - list of generic polynomials as characteristic set.
        Returns:
        characteristicSetReductionCoeff(A,characteristicSetRemainder(A,P))