Package edu.jas.gb
Interface SigReduction<C extends RingElem<C>>
- Type Parameters:
C
- coefficient type
- All Superinterfaces:
Serializable
- All Known Implementing Classes:
SigReductionSeq
Polynomial SigReduction interface. Defines S-Polynomial, normalform with
respect to signatures.
-
Method Summary
Modifier and TypeMethodDescriptionboolean
Is in Normalform.boolean
Is top reducible.sigNormalform
(List<GenPolynomial<C>> F, List<SigPoly<C>> G, SigPoly<C> A) Normalform.SPolynomial
(SigPoly<C> Ap, SigPoly<C> Bp) S-Polynomial.
-
Method Details
-
SPolynomial
S-Polynomial.- Parameters:
Ap
- polynomial.Bp
- polynomial.- Returns:
- spol(Ap,Bp) the S-polynomial of Ap and Bp.
-
isSigReducible
Is top reducible. Condition is lt(B) | lt(A) for some B in F or G.- Parameters:
F
- polynomial list.G
- polynomial list.A
- polynomial.- Returns:
- true if A is top reducible with respect to P.
-
isSigNormalform
Is in Normalform.- Parameters:
F
- polynomial list.G
- polynomial list.A
- polynomial.- Returns:
- true if A is in normalform with respect to F and G.
-
sigNormalform
Normalform.- Parameters:
F
- polynomial list.G
- polynomial list.A
- polynomial.- Returns:
- nf(A) with respect to F and G.
-