Package edu.jas.application

Class GroebnerSystem<C extends GcdRingElem<C>>

  • Type Parameters:
    C - coefficient type
    public class GroebnerSystem<C extends GcdRingElem<C>>
extends java.lang.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.

    • Constructor Summary

      Constructors 
      Constructor Description
      GroebnerSystem​(java.util.List<ColoredSystem<C>> S)
      Constructor for a Groebner system.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean checkInvariant()
      Check invariants.
      boolean equals​(java.lang.Object c)
      Is this Groebner system equal to other.
      java.util.List<GenPolynomial<GenPolynomial<C>>> getCGB()
      Get comprehensive Groebner base.
      java.util.List<Condition<C>> getConditions()
      Get list of conditions determining this Groebner system.
      int hashCode()
      Hash code for this colored system.
      boolean isDetermined()
      Is each colored system completely determined.
      java.lang.String toScript()
      Get the Script representation.
      java.lang.String toString()
      Get the String representation.

      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • GroebnerSystem

        public GroebnerSystem​(java.util.List<ColoredSystem<C>> S)
        Constructor for a Groebner system.
        Parameters:
        S - a list of colored systems.

    • Method Detail

      • toString

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

      • equals

        public boolean equals​(java.lang.Object c)
        Is this Groebner system equal to other.
        Overrides:
        equals in class java.lang.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 java.lang.Object
        See Also:
        Object.hashCode()

      • 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 java.util.List<Condition<C>> getConditions()
        Get list of conditions determining this Groebner system.
        Returns:
        list of determining conditions.

      • getCGB

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