Interface SigReduction<C extends RingElem<C>>

Type Parameters:
C - coefficient type
All Superinterfaces:
Serializable
All Known Implementing Classes:
SigReductionSeq
public interface SigReduction<C extends RingElem<C>> extends Serializable
Polynomial SigReduction interface. Defines S-Polynomial, normalform with respect to signatures.

  • Method Details

    • SPolynomial

      GenPolynomial<C> SPolynomial(SigPoly<C> Ap, SigPoly<C> Bp)
      S-Polynomial.
      Parameters:
      Ap - polynomial.
      Bp - polynomial.
      Returns:
      spol(Ap,Bp) the S-polynomial of Ap and Bp.

    • isSigReducible

      boolean isSigReducible(List<SigPoly<C>> F, List<SigPoly<C>> G, SigPoly<C> A)
      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

      boolean isSigNormalform(List<SigPoly<C>> F, List<SigPoly<C>> G, SigPoly<C> A)
      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

      SigPoly<C> sigNormalform(List<GenPolynomial<C>> F, List<SigPoly<C>> G, SigPoly<C> A)
      Normalform.
      Parameters:
      F - polynomial list.
      G - polynomial list.
      A - polynomial.
      Returns:
      nf(A) with respect to F and G.