Package edu.jas.gb
Class ReductionSeq<C extends RingElem<C>>
java.lang.Object
edu.jas.gb.ReductionAbstract<C>
edu.jas.gb.ReductionSeq<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
Reduction<C>
,Serializable
Polynomial reduction sequential use algorithm. Implements normalform.
- See Also:
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionnormalform
(List<GenPolynomial<C>> Pp, GenPolynomial<C> Ap) Normalform.normalform
(List<GenPolynomial<C>> row, List<GenPolynomial<C>> Pp, GenPolynomial<C> Ap) Normalform with recording.normalformMarked
(List<Monomial<C>> Mp, List<GenPolynomial<C>> Pp, GenPolynomial<C> Ap) Normalform with respect to marked head terms.Methods inherited from class edu.jas.gb.ReductionAbstract
criterion4, criterion4, criterion4, irreducibleSet, isNormalform, isNormalform, isReducible, isReductionNF, isTopReducible, moduleCriterion, moduleCriterion, normalform, normalform, normalform, SPolynomial, SPolynomial
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger
-
-
Constructor Details
-
ReductionSeq
public ReductionSeq()Constructor.
-
-
Method Details
-
normalform
Normalform.- Parameters:
Pp
- polynomial list.Ap
- polynomial.- Returns:
- nf(Ap) with respect to Pp.
-
normalformMarked
public GenPolynomial<C> normalformMarked(List<Monomial<C>> Mp, List<GenPolynomial<C>> Pp, GenPolynomial<C> Ap) Normalform with respect to marked head terms.- Overrides:
normalformMarked
in classReductionAbstract<C extends RingElem<C>>
- Parameters:
Mp
- leading monomial list.Pp
- polynomial list.Ap
- polynomial.- Returns:
- nf(Ap) with respect to Mp+Pp.
-
normalform
public GenPolynomial<C> normalform(List<GenPolynomial<C>> row, List<GenPolynomial<C>> Pp, GenPolynomial<C> Ap) Normalform with recording.- Parameters:
row
- recording matrix, is modified.Pp
- a polynomial list for reduction.Ap
- a polynomial.- Returns:
- nf(Pp,Ap), the normal form of Ap wrt. Pp.
-