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 acccording to the simple algorithm, where the leading coefficients are not rereduced. Implements methods for Characteristic Sets and tests.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
CharacteristicSetSimple()

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

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

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 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.

Specified by:

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

Parameters:

P - generic polynomial.

A - list of generic polynomials as characteristic set.

Returns:

characteristicSetRemainder(A,P)