Package edu.jas.gb

Interface WordReduction<C extends RingElem<C>>

Type Parameters:
C - coefficient type
All Superinterfaces:
Serializable
All Known Subinterfaces:
WordPseudoReduction<C>
All Known Implementing Classes:
WordPseudoReductionSeq, WordReductionAbstract, WordReductionSeq

public interface WordReduction<C extends RingElem<C>> extends Serializable
Polynomial WordReduction interface. Defines S-Polynomial, normalform, module criterion and irreducible set.