Package edu.jas.gbufd
Interface CharacteristicSet<C extends GcdRingElem<C>>
- Type Parameters:
C
- coefficient type
- All Superinterfaces:
Serializable
- All Known Implementing Classes:
CharacteristicSetSimple
,CharacteristicSetWu
Characteristic Set interface. Defines methods for Characteristic Sets and
tests.
-
Method Summary
Modifier and TypeMethodDescriptionCharacteristic set.Characteristic set reduction.boolean
Characteristic set test.
-
Method Details
-
characteristicSet
Characteristic set. According to the implementing algorithm (simple, Wu, etc).- Parameters:
A
- list of generic polynomials.- Returns:
- charSet(A) with at most one polynomial per main variable.
-
isCharacteristicSet
Characteristic set test.- 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. With further pseudo reduction of the leading coefficient depending on the implementing algorithm.- Parameters:
A
- list of generic polynomials as characteristic set.P
- generic polynomial.- Returns:
- characteristicSetRemainder(A,P) or characteristicSetReductionCoeff(A,characteristicSetRemainder(A,P)) depending on the algorithm.
-