edu.jas.gbufd

Interface SolvablePseudoReduction<C extends RingElem<C>>

Type Parameters:

C - coefficient type.

All Superinterfaces:

java.io.Serializable, SolvableReduction<C>

All Known Implementing Classes:

SolvablePseudoReductionSeq

public interface SolvablePseudoReduction<C extends RingElem<C>>
extends SolvableReduction<C>

Polynomial pseudo reduction interface. Defines additionally normalformFactor and normalformRecursive.

Author:

Heinz Kredel

Method Summary

Modifier and Type	Method and Description
PseudoReductionEntry<C>	leftNormalformFactor(java.util.List<GenSolvablePolynomial<C>> Pp, GenSolvablePolynomial<C> Ap) Left normalform with multiplication factor.
GenSolvablePolynomial<GenPolynomial<C>>	leftNormalformRecursive(java.util.List<GenSolvablePolynomial<GenPolynomial<C>>> Pp, GenSolvablePolynomial<GenPolynomial<C>> Ap) Left normalform recursive.

Methods inherited from interface edu.jas.gb.SolvableReduction

isLeftReductionNF, isNormalform, isReducible, isTopReducible, leftIrreducibleSet, leftNormalform, leftNormalform, leftNormalform, leftSPolynomial, leftSPolynomial, normalform, rightNormalform, rightNormalform, rightSPolynomial

Method Detail

leftNormalformFactor

PseudoReductionEntry<C> leftNormalformFactor(java.util.List<GenSolvablePolynomial<C>> Pp,
                                             GenSolvablePolynomial<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.

leftNormalformRecursive

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

Left normalform recursive.

Parameters:

Ap - recursive polynomial.

Pp - recursive polynomial list.

Returns:

nf(Ap) with respect to Pp.