Class ColoredSystem<C extends GcdRingElem<C>>

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

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

    • 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.
    • list

      public final List<ColorPolynomial<C extends GcdRingElem<C>>> list
      Colored polynomials of this system.
    • pairlist

      public final OrderedCPairlist<C extends GcdRingElem<C>> pairlist
      Groebner base pair list of this system.
  • Constructor Details

    • ColoredSystem

      public ColoredSystem(Condition<C> cond, 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, 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 Details

    • copy

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

      public List<ColoredSystem<C>> addToList(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 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 colored system equal to other.
      Overrides:
      equals in class 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 Object
      See Also:
    • getConditionZero

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

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

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

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

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

      public 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.