ExamplesGeoTheorems

java.lang.Object
- edu.jas.application.ExamplesGeoTheorems

```
public class ExamplesGeoTheorems
extends java.lang.Object
```
ExamplesGeoTheorems for Groebner base usage.

Author:

GeoGebra developers, Kovács Zoltán, Heinz Kredel

Constructor Summary

Constructors
Constructor Description

ExamplesGeoTheorems()

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`static void`	`example10()`	Example Pappus, sequential.
`static void`	`example11()`	Example Pappus, parallel proxy.
`static void`	`example12()`	Example Pappus, optimized term order.
`static void`	`example13()`	Example Pappus, optimized term order and parallel proxy.
`static void`	`example14()`	Example Pappus, fraction free.
`static void`	`example15()`	Example Pappus, optimized and fraction free.
`static void`	`example16()`	Example Pappus, proxy, optimized and fraction free.
`static void`	`example17()`	Example Pappus, optimized and parallel and fraction free.
`static java.util.List<GenPolynomial<BigRational>>`	`getExample()`	get Pappus Example.
`static void`	`main(java.lang.String[] args)`	main.

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

- Constructor Detail
  - ExamplesGeoTheorems
```
public ExamplesGeoTheorems()
```
- Method Detail
  - main
```
public static void main(java.lang.String[] args)
```
    main.
  - getExample
```
public static java.util.List<GenPolynomial<BigRational>> getExample()
```
    get Pappus Example.
  - example10
```
public static void example10()
```
    Example Pappus, sequential.
  - example11
```
public static void example11()
```
    Example Pappus, parallel proxy.
  - example12
```
public static void example12()
```
    Example Pappus, optimized term order.
  - example13
```
public static void example13()
```
    Example Pappus, optimized term order and parallel proxy.
  - example14
```
public static void example14()
```
    Example Pappus, fraction free.
  - example15
```
public static void example15()
```
    Example Pappus, optimized and fraction free.
  - example16
```
public static void example16()
```
    Example Pappus, proxy, optimized and fraction free.
  - example17
```
public static void example17()
```
    Example Pappus, optimized and parallel and fraction free.