Class GroebnerSystem<C extends GcdRingElem<C>>

java.lang.Object
edu.jas.application.GroebnerSystem<C>
Type Parameters:
C - coefficient type

public class GroebnerSystem<C extends GcdRingElem<C>> extends Object
Container for a Groebner system. It contains a list of colored systems and a list of parametric polynomials representing the corresponding comprehensive Groebner base.
  • Field Details

  • Constructor Details

    • GroebnerSystem

      public GroebnerSystem(List<ColoredSystem<C>> S)
      Constructor for a Groebner system.
      Parameters:
      S - a list of colored systems.
  • Method Details

    • toString

      public String toString()
      Get the String representation.
      Overrides:
      toString in class Object
      See Also:
    • toScript

      public String toScript()
      Get the Script representation.
      See Also:
    • equals

      public boolean equals(Object c)
      Is this Groebner system equal to other.
      Overrides:
      equals in class Object
      Parameters:
      c - other Groebner system.
      Returns:
      true, if this is equal to other, else false.
    • hashCode

      public int hashCode()
      Hash code for this colored system.
      Overrides:
      hashCode in class Object
      See Also:
    • checkInvariant

      public boolean checkInvariant()
      Check invariants. Check if all colored systems are determined and all invariants are met.
      Returns:
      true, if all invariants are met, else false.
    • isDetermined

      public boolean isDetermined()
      Is each colored system completely determined.
      Returns:
      true, if each ColoredSystem is determined, else false.
    • getConditions

      public List<Condition<C>> getConditions()
      Get list of conditions determining this Groebner system.
      Returns:
      list of determining conditions.
    • getCGB

      public List<GenPolynomial<GenPolynomial<C>>> getCGB()
      Get comprehensive Groebner base.
      Returns:
      the comprehensive Groebner base for this Groebner system.