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 and Description
Examples()

Method Summary

Modifier and Type	Method and 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

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.