Package edu.jas.application
Class ExamplesGeoTheorems
java.lang.Object
edu.jas.application.ExamplesGeoTheorems
ExamplesGeoTheorems for Groebner base usage.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic void
Example Pappus, sequential.static void
Example Pappus, parallel proxy.static void
Example Pappus, optimized term order.static void
Example Pappus, optimized term order and parallel proxy.static void
Example Pappus, fraction free.static void
Example Pappus, optimized and fraction free.static void
Example Pappus, proxy, optimized and fraction free.static void
Example Pappus, optimized and parallel and fraction free.static List
<GenPolynomial<BigRational>> get Pappus Example.static void
main.
-
Constructor Details
-
ExamplesGeoTheorems
public ExamplesGeoTheorems()
-
-
Method Details
-
main
main. -
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.
-