Package edu.jas.gbufd
Class CharacteristicSetSimple<C extends GcdRingElem<C>>
java.lang.Object
edu.jas.gbufd.CharacteristicSetSimple<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
CharacteristicSet<C>
,Serializable
public class CharacteristicSetSimple<C extends GcdRingElem<C>>
extends Object
implements CharacteristicSet<C>
Characteristic Set class according to the simple algorithm, where the
leading coefficients are not rereduced. Implements methods
for Characteristic Sets and tests.
- See Also:
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionCharacteristic set.Characteristic set reduction.boolean
Characteristic set test.
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug
-
-
Constructor Details
-
CharacteristicSetSimple
public CharacteristicSetSimple()
-
-
Method Details
-
characteristicSet
Characteristic set. According to the simple algorithm. The leading coefficients are not rereduced.- Specified by:
characteristicSet
in interfaceCharacteristicSet<C extends GcdRingElem<C>>
- Parameters:
A
- list of generic polynomials.- Returns:
- charSetWu(A).
-
isCharacteristicSet
Characteristic set test.- Specified by:
isCharacteristicSet
in interfaceCharacteristicSet<C extends GcdRingElem<C>>
- Parameters:
A
- list of generic polynomials.- Returns:
- true, if A is (at least a simple) characteristic set, else false.
-
characteristicSetReduction
Characteristic set reduction. Pseudo remainder wrt. the main variable.- Specified by:
characteristicSetReduction
in interfaceCharacteristicSet<C extends GcdRingElem<C>>
- Parameters:
A
- list of generic polynomials as characteristic set.P
- generic polynomial.- Returns:
- characteristicSetRemainder(A,P)
-