Class CharacteristicSetSimple<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.gbufd.CharacteristicSetSimple<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

CharacteristicSet<C>, Serializable

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

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

CharacteristicSetSimple

public CharacteristicSetSimple()

Method Details

characteristicSet

public List<GenPolynomial<C>> characteristicSet(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(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.

Specified by:

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

Parameters:

A - list of generic polynomials as characteristic set.

P - generic polynomial.

Returns:

characteristicSetRemainder(A,P)