edu.jas.gb
Interface DReduction<C extends RingElem<C>>

Type Parameters:

C - coefficient type

All Superinterfaces:

Reduction<C>, java.io.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 D-Polynomial.

Author:

Heinz Kredel

Method Summary

GenPolynomial<C>	GPolynomial(GenPolynomial<C> Ap, GenPolynomial<C> Bp) G-Polynomial.
GenPolynomial<C>	GPolynomial(java.util.List<GenPolynomial<C>> S, int i, GenPolynomial<C> Ap, int j, GenPolynomial<C> Bp) D-Polynomial with recording.

Methods inherited from interface edu.jas.gb.Reduction

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

Method Detail

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(java.util.List<GenPolynomial<C>> S,
                             int i,
                             GenPolynomial<C> Ap,
                             int j,
                             GenPolynomial<C> Bp)

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