Class CharacteristicSetWu<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.gbufd.CharacteristicSetWu<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

CharacteristicSet<C>, Serializable

public class CharacteristicSetWu<C extends GcdRingElem<C>>
extends 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

Modifier and Type	Method	Description
List<GenPolynomial<C>>	characteristicSet(List<GenPolynomial<C>> A)	Characteristic set.
GenPolynomial<C>	characteristicSetReduction(List<GenPolynomial<C>> A, GenPolynomial<C> P)	Characteristic set reduction.
boolean	isCharacteristicSet(List<GenPolynomial<C>> A)	Characteristic set test.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CharacteristicSetWu

public CharacteristicSetWu()

Method Details

characteristicSet

public List<GenPolynomial<C>> characteristicSet(List<GenPolynomial<C>> A)

Characteristic set. According to Wu's algorithm with rereduction of leading coefficients.

Specified by:

characteristicSet in interface CharacteristicSet<C extends GcdRingElem<C>>

Parameters:

A - list of generic polynomials.

Returns:

charSetWu(A).

isCharacteristicSet

public boolean isCharacteristicSet(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(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:

A - list of generic polynomials as characteristic set.

P - generic polynomial.

Returns:

characteristicSetReductionCoeff(A,characteristicSetRemainder(A,P))