Package edu.jas.gbufd
Class Examples
- java.lang.Object
-
- edu.jas.gbufd.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 voidexample1()example1.static voidexample2()static voidexample3()example3.static voidexampleGB()Example GBase.static voidexampleGB1()Example GBase.static voidexampleGBTrinks()Example Trinks GBase.static voidmain(java.lang.String[] args)main.
-
-
-
Constructor Detail
-
Examples
public Examples()
-
-
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.
-
-