public class ExamplesGeoTheorems extends java.lang.Object
Constructor and Description |
---|
ExamplesGeoTheorems() |
Modifier and Type | Method and 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.
|
public ExamplesGeoTheorems()
public static void main(java.lang.String[] args)
public static java.util.List<GenPolynomial<BigRational>> getExample()
public static void example10()
public static void example11()
public static void example12()
public static void example13()
public static void example14()
public static void example15()
public static void example16()
public static void example17()