edu.jas.ring
Class SolvableGroebnerBase

java.lang.Object
  edu.jas.ring.SolvableGroebnerBase

public class SolvableGroebnerBase
extends java.lang.Object

Solvable Groebner Bases class. Implements left Groebner bases and left GB test.

Constructor Summary

SolvableGroebnerBase()

Method Summary

protected static java.util.List	generateUnivar(int modv, java.util.List F)
protected static java.util.List	generateUnivar(java.util.List F) Generate solvable polynomials in each variable.
static boolean	isLeftGB(int modv, java.util.List F)
static boolean	isLeftGB(java.util.List F) Left Groebner base test
static boolean	isTwosidedGB(int modv, java.util.List Fp)
static boolean	isTwosidedGB(java.util.List Fp) Twosided Groebner base test
static java.util.ArrayList	leftGB(int modv, java.util.List F)
static java.util.ArrayList	leftGB(java.util.List F) Left Groebner base using pairlist class.
static java.util.ArrayList	leftGBMI(java.util.List Gp) Left minimal ordered groebner basis.
static java.util.ArrayList	twosidedGB(int modv, java.util.List Fp)
static java.util.ArrayList	twosidedGB(java.util.List Fp) Twosided Groebner base using pairlist class.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SolvableGroebnerBase

public SolvableGroebnerBase()

Method Detail

isLeftGB

public static boolean isLeftGB(java.util.List F)

Left Groebner base test

isLeftGB

public static boolean isLeftGB(int modv,
                               java.util.List F)

isTwosidedGB

public static boolean isTwosidedGB(java.util.List Fp)

Twosided Groebner base test

isTwosidedGB

public static boolean isTwosidedGB(int modv,
                                   java.util.List Fp)

generateUnivar

protected static java.util.List generateUnivar(java.util.List F)

Generate solvable polynomials in each variable.

generateUnivar

protected static java.util.List generateUnivar(int modv,
                                               java.util.List F)

leftGB

public static java.util.ArrayList leftGB(java.util.List F)

Left Groebner base using pairlist class.

leftGB

public static java.util.ArrayList leftGB(int modv,
                                         java.util.List F)

leftGBMI

public static java.util.ArrayList leftGBMI(java.util.List Gp)

Left minimal ordered groebner basis.

twosidedGB

public static java.util.ArrayList twosidedGB(java.util.List Fp)

Twosided Groebner base using pairlist class.

twosidedGB

public static java.util.ArrayList twosidedGB(int modv,
                                             java.util.List Fp)