Class ColoredSystem<C extends GcdRingElem<C>>

  • Type Parameters:
    C - coefficient type

    public class ColoredSystem<C extends GcdRingElem<C>>
    extends java.lang.Object
    Container for a condition, a corresponding colored polynomial list and a Groebner base pair list.
    • Field Detail

      • logger

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

        private static final boolean debug
      • condition

        public final Condition<C extends GcdRingElem<C>> condition
        Condition determinig this colored system.
    • Constructor Detail

      • ColoredSystem

        public ColoredSystem​(Condition<C> cond,
                             java.util.List<ColorPolynomial<C>> S)
        Constructor for a colored polynomial system.
        Parameters:
        cond - a condition.
        S - a list of colored polynomials.
      • ColoredSystem

        public ColoredSystem​(Condition<C> cond,
                             java.util.List<ColorPolynomial<C>> S,
                             OrderedCPairlist<C> pl)
        Constructor for a colored polynomial system.
        Parameters:
        cond - a condition.
        S - a list of colored polynomials.
        pl - a ordered pair list.
    • Method Detail

      • copy

        public ColoredSystem<C> copy()
        Copy this colored polynomial system.
        Returns:
        a clone of this.
      • addToList

        public java.util.List<ColoredSystem<C>> addToList​(java.util.List<ColoredSystem<C>> L)
        Add to list of colored systems. This is added to the list of colored systems, if a system with the same condition is not already contained.
        Parameters:
        L - a list of colored systems.
        Returns:
        L.add(this) if this not in L, else L.
      • 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 colored system equal to other.
        Overrides:
        equals in class java.lang.Object
        Parameters:
        c - other colored 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()
      • getConditionZero

        public java.util.List<GenPolynomial<C>> getConditionZero()
        Get zero condition.
        Returns:
        condition.zero.
      • getConditionNonZero

        public java.util.List<GenPolynomial<C>> getConditionNonZero()
        Get non zero condition.
        Returns:
        condition.nonZero.
      • getRedCoefficients

        public java.util.List<GenPolynomial<C>> getRedCoefficients()
        Get list of red coefficients of polynomials.
        Returns:
        list of all red coefficients of polynomials.
      • getGreenCoefficients

        public java.util.List<GenPolynomial<C>> getGreenCoefficients()
        Get list of green coefficients of polynomials.
        Returns:
        list of all green coefficients of polynomials.
      • getPolynomialList

        public java.util.List<GenPolynomial<GenPolynomial<C>>> getPolynomialList()
        Get list of full polynomials.
        Returns:
        list of all full polynomials.
      • getEssentialPolynomialList

        public java.util.List<GenPolynomial<GenPolynomial<C>>> getEssentialPolynomialList()
        Get list of essential polynomials.
        Returns:
        list of all essential polynomials.
      • checkInvariant

        public boolean checkInvariant()
        Check invariants. Check if all polynomials are determined and if the color of all coefficients is correct with respect to the condition.
        Returns:
        true, if all invariants are met, else false.
      • isDetermined

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

        public ColoredSystem<C> reDetermine()
        Re determine colorings of polynomials.
        Returns:
        colored system with re determined colored polynomials.