Package 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
All Methods Instance Methods Abstract Methods Modifier and Type Method 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.PseudoReductionEntry<C>
rightNormalformFactor(java.util.List<GenSolvablePolynomial<C>> Pp, GenSolvablePolynomial<C> Ap)
Right normalform with multiplication factor.GenSolvablePolynomial<GenPolynomial<C>>
rightNormalformRecursive(java.util.List<GenSolvablePolynomial<GenPolynomial<C>>> Pp, GenSolvablePolynomial<GenPolynomial<C>> Ap)
Right normalform recursive.-
Methods inherited from interface edu.jas.gb.SolvableReduction
isLeftReductionNF, isNormalform, isReducible, isRightReductionNF, 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.
-
rightNormalformFactor
PseudoReductionEntry<C> rightNormalformFactor(java.util.List<GenSolvablePolynomial<C>> Pp, GenSolvablePolynomial<C> Ap)
Right 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.
-
rightNormalformRecursive
GenSolvablePolynomial<GenPolynomial<C>> rightNormalformRecursive(java.util.List<GenSolvablePolynomial<GenPolynomial<C>>> Pp, GenSolvablePolynomial<GenPolynomial<C>> Ap)
Right normalform recursive.- Parameters:
Ap
- recursive polynomial.Pp
- recursive polynomial list.- Returns:
- nf(Ap) with respect to Pp.
-
-