Package edu.jas.gbufd
Class CharacteristicSetWu<C extends GcdRingElem<C>>
- java.lang.Object
-
- edu.jas.gbufd.CharacteristicSetWu<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.- Author:
- Heinz Kredel
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description CharacteristicSetWu()
-
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
-
CharacteristicSetWu
public CharacteristicSetWu()
-
-
Method Detail
-
characteristicSet
public java.util.List<GenPolynomial<C>> characteristicSet(java.util.List<GenPolynomial<C>> A)
Characteristic set. According to Wu's algorithm with rereduction of leading coefficients.- 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 with further pseudo reduction of the leading coefficient.- Specified by:
characteristicSetReduction
in interfaceCharacteristicSet<C extends GcdRingElem<C>>
- Parameters:
P
- generic polynomial.A
- list of generic polynomials as characteristic set.- Returns:
- characteristicSetReductionCoeff(A,characteristicSetRemainder(A,P))
-
-