Interface DReduction<C extends RingElem<C>>

Type Parameters:

C - coefficient type

All Superinterfaces:

Reduction<C>, Serializable

All Known Subinterfaces:

EReduction<C>

All Known Implementing Classes:

DReductionSeq, EReductionSeq

public interface DReduction<C extends RingElem<C>>
extends Reduction<C>

Polynomial D Reduction interface. Defines additionally G-Polynomial.

Method Summary

Modifier and Type	Method	Description
GenPolynomial<C>	GPolynomial(GenPolynomial<C> Ap, GenPolynomial<C> Bp)	G-Polynomial.
GenPolynomial<C>	GPolynomial(List<GenPolynomial<C>> S, int i, GenPolynomial<C> Ap, int j, GenPolynomial<C> Bp)	G-Polynomial with recording.

Methods inherited from interface Reduction

criterion4, criterion4, criterion4, irreducibleSet, isNormalform, isNormalform, isReducible, isReductionNF, isTopReducible, moduleCriterion, moduleCriterion, normalform, normalform, normalform, SPolynomial, SPolynomial

Method Details

GPolynomial

GenPolynomial<C> GPolynomial(GenPolynomial<C> Ap,
 GenPolynomial<C> Bp)

G-Polynomial.

Parameters:

Ap - polynomial.

Bp - polynomial.

Returns:

gpol(Ap,Bp) the g-polynomial of Ap and Bp.

GPolynomial

GenPolynomial<C> GPolynomial(List<GenPolynomial<C>> S,
 int i,
 GenPolynomial<C> Ap,
 int j,
 GenPolynomial<C> Bp)

G-Polynomial with recording.

Parameters:

S - recording matrix, is modified.

i - index of Ap in basis list.

Ap - a polynomial.

j - index of Bp in basis list.

Bp - a polynomial.

Returns:

gpol(Ap, Bp), the g-Polynomial for Ap and Bp.