GeoPoly (Java-Geometry-Expert 0.87 API)

java.lang.Object
- maths.PolyBasic
- - wprover.GeoPoly

```
public class GeoPoly
extends PolyBasic
```
GeoPoly is a singleton class that provides methods for constructing polynomial expressions related to geometric properties and relationships. It extends the PolyBasic class and provides various methods for creating polynomial terms, performing arithmetic operations on them, and checking conditions related to geometry.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static boolean`	`addZeroN(int n)`	Adds a non-zero integer to the zeron array if it is not already present.
`static void`	`clearZeroN()`	Clears the zeron array by setting all elements to zero.
`static GeoPoly`	`getPoly()`	Returns the singleton instance of GeoPoly.
`static int[]`	`getZeron()`	Returns the zeron array.
`TMono`	`mm_poly(CNdg c, DrawProcess dp)`	Constructs a TMono representing a non-degenerate geometric condition.
`static boolean`	`vzero(int n)`	Checks if a given integer is present in the zeron array.

Methods inherited from class maths.PolyBasic
b_reduce, bb_reduce, bb_reduce, calculate_oncr, calculate_online, calculv, calculv_2v, calculv2poly, check_zero, ck_eq, coefgcd, cp_times, ctLessdx, ctLessdx1, deg, deg, div_factor1, eraseCommonDono, factor_remove, factor1, g_basis, gb_finished, get_factor1, getAllPrinted, getAllPrinted, getcnds, getDo, getExpandedPrint, getInstance, getMaxX, getxm1, ll_delta, lv, ndg_reduce, p_copy, padd, parseCommonDono, pcopy, pctimes, pdif, plength, ppush, ppush, prem, print, printHead, printMaxstrPoly, printNPoly, printNPoly, printpoly, printSPoly, printSPoly, printVpoly, pRtimes, pth, pth, ptimes, pzero, pzerop, reduce, reduceMDono, s_polys, setbbStop, setRMCOEF, simplify, splitDono, sprint, String_p_print, upValueDM, upValueTM, upValueTM

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - addZeroN
```
public static boolean addZeroN(int n)
```
    Adds a non-zero integer to the zeron array if it is not already present.
    
    Parameters:
    
    n - the integer to add
    
    Returns:
    
    true if the integer was added, false if it was already present or zero
  - clearZeroN
```
public static void clearZeroN()
```
    Clears the zeron array by setting all elements to zero.
  - getZeron
```
public static int[] getZeron()
```
    Returns the zeron array.
    
    Returns:
    
    the zeron array
  - getPoly
```
public static GeoPoly getPoly()
```
    Returns the singleton instance of GeoPoly.
    
    Returns:
    
    the singleton instance of GeoPoly
  - vzero
```
public static boolean vzero(int n)
```
    Checks if a given integer is present in the zeron array.
    
    Parameters:
    
    n - the integer to check
    
    Returns:
    
    true if the integer is present, false otherwise
  - mm_poly
```
public TMono mm_poly(CNdg c,
                     DrawProcess dp)
```
    Constructs a TMono representing a non-degenerate geometric condition.
    
    Parameters:
    
    c - the CNdg object representing the condition
    
    dp - the DrawProcess object
    
    Returns:
    
    the TMono representing the non-degenerate condition