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:

PseudoReductionSeq, RPseudoReductionSeq

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

Polynomial pseudo reduction interface. Defines additionaly normalformFactor.

Author:

Heinz Kredel

Method Summary

PseudoReductionEntry<C>

normalformFactor(java.util.List<GenPolynomial<C>> Pp, GenPolynomial<C> Ap) Normalform with multiplication factor.

Methods inherited from interface edu.jas.gb.Reduction

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.