edu.jas.application

Class Examples

java.lang.Object

edu.jas.application.Examples

public class Examples
extends java.lang.Object

Examples for application 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. cyclic n-th roots polynomial systems.
static void	example10() example10. abtract types: GB of List<GenPolynomial<AlgebraicNumber<Quotient <AlgebraicNumber<BigRational>>>>>.
static void	example11() example11. abtract types: GB of List<GenPolynomial<BigRational>>>.
static void	example12() example12. abtract types: GB of List<GenPolynomial<Quotient<BigRational>>>>.
static void	example2() example2. abtract types: List<GenPolynomial<Product<Residue<BigRational>>>>.
static void	example3() example3. abtract types: GB of List<GenPolynomial<Residue<BigRational>>>.
static void	example4() example4. abtract types: comprehensive GB of List<GenPolynomial<GenPolynomial<BigRational>>>.
static void	example5() example5. comprehensive GB of List<GenPolynomial<GenPolynomial<BigRational>>> and GB for regular ring.
static void	example6() Example GBase and real root.
static void	example7() example7.
static void	example8() example8.
static void	example9() example9.
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. cyclic n-th roots polynomial systems.

example2

public static void example2()

example2. abtract types: List<GenPolynomial<Product<Residue<BigRational>>>>.

example3

public static void example3()

example3. abtract types: GB of List<GenPolynomial<Residue<BigRational>>>.

example4

public static void example4()

example4. abtract types: comprehensive GB of List<GenPolynomial<GenPolynomial<BigRational>>>.

example5

public static void example5()

example5. comprehensive GB of List<GenPolynomial<GenPolynomial<BigRational>>> and GB for regular ring.

example6

public static void example6()

Example GBase and real root.

example7

public static void example7()

example7. Coefficients in Boolean residue class ring.

example8

public static void example8()

example8. Coefficients in Boolean residue class ring with cuppling of variables.

example9

public static void example9()

example9. Groebner base and dimension.

example10

public static void example10()

example10. abtract types: GB of List<GenPolynomial<AlgebraicNumber<Quotient <AlgebraicNumber<BigRational>>>>>.

example11

public static void example11()

example11. abtract types: GB of List<GenPolynomial<BigRational>>>.

example12

public static void example12()

example12. abtract types: GB of List<GenPolynomial<Quotient<BigRational>>>>.