Package edu.jas.gb
Class SolvableReductionSeq<C extends RingElem<C>>
java.lang.Object
edu.jas.gb.SolvableReductionAbstract<C>
edu.jas.gb.SolvableReductionSeq<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
SolvableReduction<C>
,Serializable
Solvable polynomial Reduction algorithm. Implements left, right normalform.
- See Also:
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionleftNormalform
(List<GenSolvablePolynomial<C>> Pp, GenSolvablePolynomial<C> Ap) Left Normalform.leftNormalform
(List<GenSolvablePolynomial<C>> row, List<GenSolvablePolynomial<C>> Pp, GenSolvablePolynomial<C> Ap) LeftNormalform with recording.rightNormalform
(List<GenSolvablePolynomial<C>> Pp, GenSolvablePolynomial<C> Ap) Right Normalform.rightNormalform
(List<GenSolvablePolynomial<C>> row, List<GenSolvablePolynomial<C>> Pp, GenSolvablePolynomial<C> Ap) RightNormalform with recording.Methods inherited from class edu.jas.gb.SolvableReductionAbstract
isLeftReductionNF, isNormalform, isReducible, isRightReductionNF, isTopReducible, leftIrreducibleSet, leftNormalform, leftNormalform, leftNormalform, leftSPolynomial, leftSPolynomial, normalform, rightSPolynomial, rightSPolynomial
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger
-
-
Constructor Details
-
SolvableReductionSeq
public SolvableReductionSeq()Constructor.
-
-
Method Details
-
leftNormalform
public GenSolvablePolynomial<C> leftNormalform(List<GenSolvablePolynomial<C>> Pp, GenSolvablePolynomial<C> Ap) Left Normalform.- Parameters:
Pp
- solvable polynomial list.Ap
- solvable polynomial.- Returns:
- left-nf(Ap) with respect to Pp.
-
leftNormalform
public GenSolvablePolynomial<C> leftNormalform(List<GenSolvablePolynomial<C>> row, List<GenSolvablePolynomial<C>> Pp, GenSolvablePolynomial<C> Ap) LeftNormalform with recording.- Parameters:
row
- recording matrix, is modified.Pp
- a polynomial list for reduction.Ap
- a polynomial.- Returns:
- nf(Pp,Ap), the left normal form of Ap wrt. Pp.
-
rightNormalform
public GenSolvablePolynomial<C> rightNormalform(List<GenSolvablePolynomial<C>> Pp, GenSolvablePolynomial<C> Ap) Right Normalform.- Parameters:
Pp
- solvable polynomial list.Ap
- solvable polynomial.- Returns:
- right-nf(Ap) with respect to Pp.
-
rightNormalform
public GenSolvablePolynomial<C> rightNormalform(List<GenSolvablePolynomial<C>> row, List<GenSolvablePolynomial<C>> Pp, GenSolvablePolynomial<C> Ap) RightNormalform with recording.- Parameters:
row
- recording matrix, is modified.Pp
- a polynomial list for reduction.Ap
- a polynomial.- Returns:
- nf(Pp,Ap), the right normal form of Ap wrt. Pp.
-