Package edu.jas.gbufd
Interface SolvablePseudoReduction<C extends RingElem<C>>
- Type Parameters:
C
- coefficient type.
- All Superinterfaces:
Serializable
,SolvableReduction<C>
- All Known Implementing Classes:
SolvablePseudoReductionSeq
Polynomial pseudo reduction interface. Defines additionally normalformFactor
and normalformRecursive.
-
Method Summary
Modifier and TypeMethodDescriptionLeft normalform with multiplication factor.leftNormalformRecursive
(List<GenSolvablePolynomial<GenPolynomial<C>>> Pp, GenSolvablePolynomial<GenPolynomial<C>> Ap) Left normalform recursive.Right normalform with multiplication factor.rightNormalformRecursive
(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 Details
-
leftNormalformFactor
PseudoReductionEntry<C> leftNormalformFactor(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(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(List<GenSolvablePolynomial<GenPolynomial<C>>> Pp, GenSolvablePolynomial<GenPolynomial<C>> Ap) Left normalform recursive.- Parameters:
Pp
- recursive polynomial list.Ap
- recursive polynomial.- Returns:
- nf(Ap) with respect to Pp.
-
rightNormalformRecursive
GenSolvablePolynomial<GenPolynomial<C>> rightNormalformRecursive(List<GenSolvablePolynomial<GenPolynomial<C>>> Pp, GenSolvablePolynomial<GenPolynomial<C>> Ap) Right normalform recursive.- Parameters:
Pp
- recursive polynomial list.Ap
- recursive polynomial.- Returns:
- nf(Ap) with respect to Pp.
-