edu.jas.gbufd

Interface PseudoReduction<C extends RingElem<C>>

Type Parameters:

C - coefficient type.

All Superinterfaces:

Reduction<C>, java.io.Serializable

All Known Subinterfaces:

RPseudoReduction<C>

All Known Implementing Classes:

PseudoReductionPar, PseudoReductionSeq, RPseudoReductionSeq

public interface PseudoReduction<C extends RingElem<C>>
extends Reduction<C>

Polynomial pseudo reduction interface. Defines additionaly normalformFactor.

Author:

Heinz Kredel

Method Summary

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

Methods inherited from interface edu.jas.gb.Reduction

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

Method Detail

normalformFactor

PseudoReductionEntry<C> normalformFactor(java.util.List<GenPolynomial<C>> Pp,
                                         GenPolynomial<C> Ap)

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

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

Normalform recursive.

Parameters:

Ap - recursive polynomial.

Pp - recursive polynomial list.

Returns:

nf(Ap) with respect to Pp.