Package edu.jas.gbufd

Class Examples


  • public class Examples
    extends java.lang.Object
    Examples for Groebner base usage.
    Author:
    Christoph Zengler, Heinz Kredel
    • Constructor Summary

      Constructors 
      Constructor Description
      Examples()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void example1()
      example1.
      static void example2()  
      static void example3()
      example3.
      static void exampleGB()
      Example GBase.
      static void exampleGB1()
      Example GBase.
      static void exampleGBTrinks()
      Example Trinks GBase.
      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
    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
        main.
      • example1

        public static void example1()
        example1. Coefficients in Boolean residue class ring.
      • example2

        public static void example2()
      • example3

        public static void example3()
        example3. Coefficients in Boolean ring and additional idempotent generators.
      • exampleGB1

        public static void exampleGB1()
        Example GBase.
      • exampleGB

        public static void exampleGB()
        Example GBase.
      • exampleGBTrinks

        public static void exampleGBTrinks()
        Example Trinks GBase.