Package edu.jas.gbufd

Interface CharacteristicSet<C extends GcdRingElem<C>>

Type Parameters:
C - coefficient type
All Superinterfaces:
Serializable
All Known Implementing Classes:
CharacteristicSetSimple, CharacteristicSetWu

public interface CharacteristicSet<C extends GcdRingElem<C>> extends Serializable
Characteristic Set interface. Defines methods for Characteristic Sets and tests.
  • Method Details

    • characteristicSet

      List<GenPolynomial<C>> characteristicSet(List<GenPolynomial<C>> A)
      Characteristic set. According to the implementing algorithm (simple, Wu, etc).
      Parameters:
      A - list of generic polynomials.
      Returns:
      charSet(A) with at most one polynomial per main variable.
    • isCharacteristicSet

      boolean isCharacteristicSet(List<GenPolynomial<C>> A)
      Characteristic set test.
      Parameters:
      A - list of generic polynomials.
      Returns:
      true, if A is (at least a simple) characteristic set, else false.
    • characteristicSetReduction

      GenPolynomial<C> characteristicSetReduction(List<GenPolynomial<C>> A, GenPolynomial<C> P)
      Characteristic set reduction. Pseudo remainder wrt. the main variable. With further pseudo reduction of the leading coefficient depending on the implementing algorithm.
      Parameters:
      A - list of generic polynomials as characteristic set.
      P - generic polynomial.
      Returns:
      characteristicSetRemainder(A,P) or characteristicSetReductionCoeff(A,characteristicSetRemainder(A,P)) depending on the algorithm.