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 acccording to Wu. Implements methods for Characteristic Sets and tests.

Author:

Heinz Kredel

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
CharacteristicSetWu()

Method Summary

Modifier and Type	Method and 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.

Methods inherited from class java.lang.Object

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

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 interface CharacteristicSet<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 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(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 interface CharacteristicSet<C extends GcdRingElem<C>>

Parameters:

P - generic polynomial.

A - list of generic polynomials as characteristic set.

Returns:

characteristicSetReductionCoeff(A,characteristicSetRemainder(A,P))