edu.jas.application

Class ExamplesGeoTheorems

java.lang.Object

edu.jas.application.ExamplesGeoTheorems

public class ExamplesGeoTheorems
extends java.lang.Object

ExamplesGeoTheorems for Groebner base usage.

Constructor Summary

Constructors

Constructor and Description
ExamplesGeoTheorems()

Method Summary

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.

Methods inherited from class java.lang.Object

equals, 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.