edu.jas.gbufd

Interface WordPseudoReduction<C extends RingElem<C>>

Type Parameters:

C - coefficient type.

All Superinterfaces:

java.io.Serializable, WordReduction<C>

All Known Implementing Classes:

WordPseudoReductionSeq

public interface WordPseudoReduction<C extends RingElem<C>>
extends WordReduction<C>

Polynomial pseudo reduction interface. Defines additionally normalformFactor and normalformRecursive.

Author:

Heinz Kredel

Method Summary

Modifier and Type	Method and Description
WordPseudoReductionEntry<C>	normalformFactor(java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap) Left normalform with multiplication factor.
GenWordPolynomial<GenPolynomial<C>>	normalformRecursive(java.util.List<GenWordPolynomial<GenPolynomial<C>>> Pp, GenWordPolynomial<GenPolynomial<C>> Ap) Left normalform recursive.

Methods inherited from interface edu.jas.gb.WordReduction

irreducibleSet, isNormalform, isNormalform, isReducible, isReductionNF, isTopReducible, leftNormalform, leftNormalform, normalform, normalform, normalform, rightNormalform, rightNormalform, SPolynomial, SPolynomials

Method Detail

normalformFactor

WordPseudoReductionEntry<C> normalformFactor(java.util.List<GenWordPolynomial<C>> Pp,
                                             GenWordPolynomial<C> Ap)

Left normalform with multiplication factor.

Parameters:

Pp - polynomial list.

Ap - polynomial.

Returns:

( nf(Ap), mf ) with respect to Pp and mf as multiplication factor for Ap.

normalformRecursive

GenWordPolynomial<GenPolynomial<C>> normalformRecursive(java.util.List<GenWordPolynomial<GenPolynomial<C>>> Pp,
                                                        GenWordPolynomial<GenPolynomial<C>> Ap)

Left normalform recursive.

Parameters:

Ap - recursive polynomial.

Pp - recursive polynomial list.

Returns:

nf(Ap) with respect to Pp.