Package gprover

Class GrTerm

  • public class GrTerm
extends java.lang.Object
    The GrTerm class represents a geometric term in the theorem proving framework. It includes properties for coefficients, polynomial terms, construction type, elimination terms, simplifiers, and a linked list of geometric terms.

    • Constructor Summary

      Constructors 
      Constructor Description
      GrTerm()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Vector getAllvars()
      Retrieves all variables present in the first and second polynomial terms.
      java.util.Vector getAllxterm()
      Retrieves all XTerm objects from the first polynomial term.
      int getPTN()
      Retrieves the PTN (property tracking number) of this term.
      boolean isZero()
      Checks whether this geometric term is equivalent to zero.
      void setPTN​(int n)
      Sets the PTN (property tracking number) for this term.
      java.lang.String toString()
      Returns the text representation of this geometric term.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Field Detail

      • text

        public java.lang.String text

    • Constructor Detail

      • GrTerm

        public GrTerm()

    • Method Detail

      • toString

        public java.lang.String toString()
        Returns the text representation of this geometric term.
        Overrides:
        toString in class java.lang.Object
        Returns:
        the text representing this geometric term.

      • setPTN

        public void setPTN​(int n)
        Sets the PTN (property tracking number) for this term.
        Parameters:
        n - the new PTN value.

      • getPTN

        public int getPTN()
        Retrieves the PTN (property tracking number) of this term.
        Returns:
        the current PTN value.

      • isZero

        public boolean isZero()
        Checks whether this geometric term is equivalent to zero. Determines zero based on the first polynomial term or its coefficient.
        Returns:
        true if the term is zero; false otherwise.

      • getAllxterm

        public java.util.Vector getAllxterm()
        Retrieves all XTerm objects from the first polynomial term. Cuts the mark from the first XTerm in the resulting list.
        Returns:
        a vector containing all XTerm objects.

      • getAllvars

        public java.util.Vector getAllvars()
        Retrieves all variables present in the first and second polynomial terms.
        Returns:
        a vector containing all variables.