C
- coefficient typepublic class ModSolvableGroebnerBaseAbstract<C extends RingElem<C>> extends java.lang.Object implements ModSolvableGroebnerBase<C>
Modifier and Type | Field and Description |
---|---|
protected SolvableGroebnerBase<C> |
sbb
Used Solvable Groebner base algorithm.
|
Constructor and Description |
---|
ModSolvableGroebnerBaseAbstract()
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
isLeftGB(int modv,
java.util.List<GenSolvablePolynomial<C>> F)
Module left Groebner base test.
|
boolean |
isLeftGB(ModuleList<C> M)
Module left Groebner base test.
|
boolean |
isRightGB(int modv,
java.util.List<GenSolvablePolynomial<C>> F)
Module right Groebner base test.
|
boolean |
isRightGB(ModuleList<C> M)
Module right Groebner base test.
|
boolean |
isTwosidedGB(int modv,
java.util.List<GenSolvablePolynomial<C>> F)
Module twosided Groebner base test.
|
boolean |
isTwosidedGB(ModuleList<C> M)
Module twosided Groebner base test.
|
java.util.List<GenSolvablePolynomial<C>> |
leftGB(int modv,
java.util.List<GenSolvablePolynomial<C>> F)
Left Groebner base using pairlist class.
|
ModuleList<C> |
leftGB(ModuleList<C> M)
Left Groebner base using pairlist class.
|
java.util.List<GenSolvablePolynomial<C>> |
rightGB(int modv,
java.util.List<GenSolvablePolynomial<C>> F)
Right Groebner base using pairlist class.
|
ModuleList<C> |
rightGB(ModuleList<C> M)
Right Groebner base using pairlist class.
|
java.util.List<GenSolvablePolynomial<C>> |
twosidedGB(int modv,
java.util.List<GenSolvablePolynomial<C>> F)
Twosided Groebner base using pairlist class.
|
ModuleList<C> |
twosidedGB(ModuleList<C> M)
Twosided Groebner base using pairlist class.
|
protected final SolvableGroebnerBase<C extends RingElem<C>> sbb
public ModSolvableGroebnerBaseAbstract()
public boolean isLeftGB(int modv, java.util.List<GenSolvablePolynomial<C>> F)
isLeftGB
in interface ModSolvableGroebnerBase<C extends RingElem<C>>
modv
- number of modul variables.F
- a module basis.public boolean isLeftGB(ModuleList<C> M)
isLeftGB
in interface ModSolvableGroebnerBase<C extends RingElem<C>>
M
- a module basis.public java.util.List<GenSolvablePolynomial<C>> leftGB(int modv, java.util.List<GenSolvablePolynomial<C>> F)
leftGB
in interface ModSolvableGroebnerBase<C extends RingElem<C>>
modv
- number of modul variables.F
- a module basis.public ModuleList<C> leftGB(ModuleList<C> M)
leftGB
in interface ModSolvableGroebnerBase<C extends RingElem<C>>
M
- a module basis.public boolean isTwosidedGB(int modv, java.util.List<GenSolvablePolynomial<C>> F)
isTwosidedGB
in interface ModSolvableGroebnerBase<C extends RingElem<C>>
modv
- number of modul variables.F
- a module basis.public boolean isTwosidedGB(ModuleList<C> M)
isTwosidedGB
in interface ModSolvableGroebnerBase<C extends RingElem<C>>
M
- a module basis.public java.util.List<GenSolvablePolynomial<C>> twosidedGB(int modv, java.util.List<GenSolvablePolynomial<C>> F)
twosidedGB
in interface ModSolvableGroebnerBase<C extends RingElem<C>>
modv
- number of modul variables.F
- a module basis.public ModuleList<C> twosidedGB(ModuleList<C> M)
twosidedGB
in interface ModSolvableGroebnerBase<C extends RingElem<C>>
M
- a module basis.public boolean isRightGB(int modv, java.util.List<GenSolvablePolynomial<C>> F)
isRightGB
in interface ModSolvableGroebnerBase<C extends RingElem<C>>
modv
- number of modul variables.F
- a module basis.public boolean isRightGB(ModuleList<C> M)
isRightGB
in interface ModSolvableGroebnerBase<C extends RingElem<C>>
M
- a module basis.public java.util.List<GenSolvablePolynomial<C>> rightGB(int modv, java.util.List<GenSolvablePolynomial<C>> F)
rightGB
in interface ModSolvableGroebnerBase<C extends RingElem<C>>
modv
- number of modul variables.F
- a module basis.public ModuleList<C> rightGB(ModuleList<C> M)
rightGB
in interface ModSolvableGroebnerBase<C extends RingElem<C>>
M
- a module basis.