C
- coefficient typepublic interface SolvableGroebnerBase<C extends RingElem<C>> extends java.io.Serializable
Modifier and Type | Method and Description |
---|---|
SolvableExtendedGB<C> |
extLeftGB(int modv,
java.util.List<GenSolvablePolynomial<C>> F)
Solvable Extended Groebner base using critical pair class.
|
SolvableExtendedGB<C> |
extLeftGB(java.util.List<GenSolvablePolynomial<C>> F)
Solvable Extended Groebner base using critical pair class.
|
boolean |
isLeftGB(int modv,
java.util.List<GenSolvablePolynomial<C>> F)
Left Groebner base test.
|
boolean |
isLeftGB(java.util.List<GenSolvablePolynomial<C>> F)
Left Groebner base test.
|
boolean |
isLeftGB(ModuleList<C> M)
Module left Groebner base test.
|
boolean |
isLeftReductionMatrix(java.util.List<GenSolvablePolynomial<C>> F,
java.util.List<GenSolvablePolynomial<C>> G,
java.util.List<java.util.List<GenSolvablePolynomial<C>>> Mf,
java.util.List<java.util.List<GenSolvablePolynomial<C>>> Mg)
Test if left reduction matrix.
|
boolean |
isLeftReductionMatrix(SolvableExtendedGB<C> exgb)
Test if left reduction matrix.
|
boolean |
isRightGB(int modv,
java.util.List<GenSolvablePolynomial<C>> F)
Right Groebner base test.
|
boolean |
isRightGB(java.util.List<GenSolvablePolynomial<C>> F)
Right Groebner base test.
|
boolean |
isRightGB(ModuleList<C> M)
Module right Groebner base test.
|
boolean |
isTwosidedGB(int modv,
java.util.List<GenSolvablePolynomial<C>> Fp)
Twosided Groebner base test.
|
boolean |
isTwosidedGB(java.util.List<GenSolvablePolynomial<C>> Fp)
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.
|
java.util.List<GenSolvablePolynomial<C>> |
leftGB(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>> |
leftMinimalGB(java.util.List<GenSolvablePolynomial<C>> Gp)
Left minimal ordered groebner basis.
|
java.util.List<GenSolvablePolynomial<C>> |
rightGB(int modv,
java.util.List<GenSolvablePolynomial<C>> F)
Right Groebner base using opposite ring left GB.
|
java.util.List<GenSolvablePolynomial<C>> |
rightGB(java.util.List<GenSolvablePolynomial<C>> F)
Right Groebner base using opposite ring left GB.
|
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>> Fp)
Twosided Groebner base using pairlist class.
|
java.util.List<GenSolvablePolynomial<C>> |
twosidedGB(java.util.List<GenSolvablePolynomial<C>> Fp)
Twosided Groebner base using pairlist class.
|
ModuleList<C> |
twosidedGB(ModuleList<C> M)
Twosided Groebner base using pairlist class.
|
boolean isLeftGB(java.util.List<GenSolvablePolynomial<C>> F)
F
- solvable polynomial list.boolean isLeftGB(int modv, java.util.List<GenSolvablePolynomial<C>> F)
modv
- number of module variables.F
- solvable polynomial list.boolean isTwosidedGB(java.util.List<GenSolvablePolynomial<C>> Fp)
Fp
- solvable polynomial list.boolean isTwosidedGB(int modv, java.util.List<GenSolvablePolynomial<C>> Fp)
modv
- number of module variables.Fp
- solvable polynomial list.boolean isRightGB(java.util.List<GenSolvablePolynomial<C>> F)
F
- solvable polynomial list.boolean isRightGB(int modv, java.util.List<GenSolvablePolynomial<C>> F)
modv
- number of module variables.F
- solvable polynomial list.java.util.List<GenSolvablePolynomial<C>> leftGB(java.util.List<GenSolvablePolynomial<C>> F)
F
- solvable polynomial list.java.util.List<GenSolvablePolynomial<C>> leftGB(int modv, java.util.List<GenSolvablePolynomial<C>> F)
modv
- number of module variables.F
- solvable polynomial list.SolvableExtendedGB<C> extLeftGB(java.util.List<GenSolvablePolynomial<C>> F)
F
- solvable polynomial list.SolvableExtendedGB<C> extLeftGB(int modv, java.util.List<GenSolvablePolynomial<C>> F)
modv
- module variable number.F
- solvable polynomial list.java.util.List<GenSolvablePolynomial<C>> leftMinimalGB(java.util.List<GenSolvablePolynomial<C>> Gp)
Gp
- a left Groebner base.java.util.List<GenSolvablePolynomial<C>> twosidedGB(java.util.List<GenSolvablePolynomial<C>> Fp)
Fp
- solvable polynomial list.java.util.List<GenSolvablePolynomial<C>> twosidedGB(int modv, java.util.List<GenSolvablePolynomial<C>> Fp)
modv
- number of module variables.Fp
- solvable polynomial list.java.util.List<GenSolvablePolynomial<C>> rightGB(java.util.List<GenSolvablePolynomial<C>> F)
F
- solvable polynomial list.java.util.List<GenSolvablePolynomial<C>> rightGB(int modv, java.util.List<GenSolvablePolynomial<C>> F)
modv
- number of module variables.F
- solvable polynomial list.boolean isLeftReductionMatrix(SolvableExtendedGB<C> exgb)
exgb
- an SolvableExtendedGB container.boolean isLeftReductionMatrix(java.util.List<GenSolvablePolynomial<C>> F, java.util.List<GenSolvablePolynomial<C>> G, java.util.List<java.util.List<GenSolvablePolynomial<C>>> Mf, java.util.List<java.util.List<GenSolvablePolynomial<C>>> Mg)
F
- a solvable polynomial list.G
- a left Groebner base.Mf
- a possible left reduction matrix.Mg
- a possible left reduction matrix.boolean isLeftGB(ModuleList<C> M)
M
- a module basis.ModuleList<C> leftGB(ModuleList<C> M)
M
- a module basis.boolean isTwosidedGB(ModuleList<C> M)
M
- a module basis.ModuleList<C> twosidedGB(ModuleList<C> M)
M
- a module basis.boolean isRightGB(ModuleList<C> M)
M
- a module basis.ModuleList<C> rightGB(ModuleList<C> M)
M
- a module basis.