Class ExamplesGeoTheorems

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

public class ExamplesGeoTheorems extends Object
ExamplesGeoTheorems for Groebner base usage.
  • Constructor Details

    • ExamplesGeoTheorems

      public ExamplesGeoTheorems()
  • Method Details

    • main

      public static void main(String[] args)
      main.
    • getExample

      public static 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.