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.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected PolynomialList<GenPolynomial<C>> cgb
      Comprehensive Groebner base for this Groebner system.
      protected java.util.List<Condition<C>> conds
      List of conditions for this Groebner system.
      private static boolean debug  
      java.util.List<ColoredSystem<C>> list
      List of colored systems.
      private static org.apache.logging.log4j.Logger logger  
    • 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
    • Field Detail

      • logger

        private static final org.apache.logging.log4j.Logger logger
      • debug

        private static final boolean debug
      • conds

        protected java.util.List<Condition<C extends GcdRingElem<C>>> conds
        List of conditions for this Groebner system.
    • 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()
      • toScript

        public java.lang.String toScript()
        Get the Script representation.
        See Also:
        Element.toScript()
      • 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.