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>
,java.io.Serializable
public class CharacteristicSetSimple<C extends GcdRingElem<C>> extends java.lang.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.- Author:
- Heinz Kredel
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description CharacteristicSetSimple()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<GenPolynomial<C>>
characteristicSet(java.util.List<GenPolynomial<C>> A)
Characteristic set.GenPolynomial<C>
characteristicSetReduction(java.util.List<GenPolynomial<C>> A, GenPolynomial<C> P)
Characteristic set reduction.boolean
isCharacteristicSet(java.util.List<GenPolynomial<C>> A)
Characteristic set test.
-
-
-
Constructor Detail
-
CharacteristicSetSimple
public CharacteristicSetSimple()
-
-
Method Detail
-
characteristicSet
public java.util.List<GenPolynomial<C>> characteristicSet(java.util.List<GenPolynomial<C>> A)
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
public boolean isCharacteristicSet(java.util.List<GenPolynomial<C>> A)
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
public GenPolynomial<C> characteristicSetReduction(java.util.List<GenPolynomial<C>> A, GenPolynomial<C> P)
Characteristic set reduction. Pseudo remainder wrt. the main variable.- Specified by:
characteristicSetReduction
in interfaceCharacteristicSet<C extends GcdRingElem<C>>
- Parameters:
P
- generic polynomial.A
- list of generic polynomials as characteristic set.- Returns:
- characteristicSetRemainder(A,P)
-
-