edu.jas.gb

Interface EReduction<C extends RingElem<C>>

Type Parameters:

C - coefficient type

All Superinterfaces:

DReduction<C>, Reduction<C>, java.io.Serializable

All Known Implementing Classes:

EReductionSeq

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

Polynomial E-Reduction interface. Empty marker interface since all required methods are already defined in the DReduction interface.

Method Summary

Methods inherited from interface edu.jas.gb.DReduction

GPolynomial, GPolynomial

Methods inherited from interface edu.jas.gb.Reduction

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