edu.jas.ring
Interface EReduction<C extends RingElem<C>>

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.

Author:

Heinz Kredel

Method Summary

Methods inherited from interface edu.jas.ring.DReduction

GPolynomial, GPolynomial

Methods inherited from interface edu.jas.ring.Reduction

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