C
- coefficient typepublic class ComprehensiveGroebnerBaseSeq<C extends GcdRingElem<C>> extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected RingFactory<C> |
cofac
Polynomial coefficient ring factory.
|
protected CReductionSeq<C> |
cred
Comprehensive reduction engine.
|
protected SquarefreeAbstract<C> |
engine
Squarefree for coefficient content and primitive parts.
|
Constructor and Description |
---|
ComprehensiveGroebnerBaseSeq(CReductionSeq<C> red,
RingFactory<C> rf)
Constructor.
|
ComprehensiveGroebnerBaseSeq(RingFactory<C> rf)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<ColoredSystem<C>> |
determineAddPairs(ColoredSystem<C> cs,
ColorPolynomial<C> A)
Determine polynomial relative to a condition of a colored system and add
pairs.
|
java.util.List<GenPolynomial<GenPolynomial<C>>> |
GB(java.util.List<GenPolynomial<GenPolynomial<C>>> F)
Comprehensive Groebner base via Groebner system.
|
GroebnerSystem<C> |
GBsys(java.util.List<GenPolynomial<GenPolynomial<C>>> F)
Comprehensive Groebner base system using pairlist class.
|
boolean |
isCGB(GroebnerSystem<C> F)
Comprehensive-Groebner base test.
|
boolean |
isGB(GroebnerSystem<C> F)
Comprehensive-Groebner system and base test.
|
boolean |
isGB(int modv,
java.util.List<GenPolynomial<GenPolynomial<C>>> F)
Comprehensive-Groebner base test.
|
boolean |
isGB(java.util.List<GenPolynomial<GenPolynomial<C>>> F)
Comprehensive-Groebner base test.
|
boolean |
isGBcol(int modv,
java.util.List<GenPolynomial<GenPolynomial<C>>> F)
Comprehensive-Groebner base test using colored systems.
|
boolean |
isGBcol(java.util.List<GenPolynomial<GenPolynomial<C>>> F)
Comprehensive-Groebner base test using colored systems.
|
boolean |
isGBsubst(int modv,
java.util.List<GenPolynomial<GenPolynomial<C>>> F)
Comprehensive-Groebner base test using substitution.
|
boolean |
isGBsubst(java.util.List<GenPolynomial<GenPolynomial<C>>> F)
Comprehensive-Groebner base test using substitution.
|
boolean |
isGBsys(GroebnerSystem<C> F)
Comprehensive-Groebner system test.
|
boolean |
isGBsys(int modv,
java.util.List<ColoredSystem<C>> CS)
Comprehensive-Groebner system test.
|
boolean |
isGBsys(java.util.List<ColoredSystem<C>> CS)
Comprehensive-Groebner system test.
|
ColoredSystem<C> |
minimalGB(ColoredSystem<C> cs)
Minimal ordered Groebner basis.
|
protected final SquarefreeAbstract<C extends GcdRingElem<C>> engine
protected final CReductionSeq<C extends GcdRingElem<C>> cred
protected final RingFactory<C extends GcdRingElem<C>> cofac
public ComprehensiveGroebnerBaseSeq(RingFactory<C> rf)
rf
- base coefficient ring factory.public ComprehensiveGroebnerBaseSeq(CReductionSeq<C> red, RingFactory<C> rf)
red
- C-pseudo-Reduction enginerf
- base coefficient ring factory.public boolean isGB(java.util.List<GenPolynomial<GenPolynomial<C>>> F)
F
- polynomial list.public boolean isGB(int modv, java.util.List<GenPolynomial<GenPolynomial<C>>> F)
modv
- module variable number.F
- polynomial list.public boolean isGBcol(java.util.List<GenPolynomial<GenPolynomial<C>>> F)
F
- polynomial list.public boolean isGBcol(int modv, java.util.List<GenPolynomial<GenPolynomial<C>>> F)
modv
- module variable number.F
- polynomial list.public boolean isGBsys(java.util.List<ColoredSystem<C>> CS)
CS
- list of colored systems.public boolean isGBsys(int modv, java.util.List<ColoredSystem<C>> CS)
modv
- module variable number, unused.CS
- list of colored systems.public boolean isGBsubst(java.util.List<GenPolynomial<GenPolynomial<C>>> F)
F
- polynomial list.public boolean isGBsubst(int modv, java.util.List<GenPolynomial<GenPolynomial<C>>> F)
modv
- module variable number, unused.F
- polynomial list.public boolean isGBsys(GroebnerSystem<C> F)
F
- Groebner system.public boolean isCGB(GroebnerSystem<C> F)
F
- Groebner system.public boolean isGB(GroebnerSystem<C> F)
F
- Groebner system.public GroebnerSystem<C> GBsys(java.util.List<GenPolynomial<GenPolynomial<C>>> F)
F
- polynomial list.public java.util.List<ColoredSystem<C>> determineAddPairs(ColoredSystem<C> cs, ColorPolynomial<C> A)
cs
- a colored system.A
- color polynomial.public java.util.List<GenPolynomial<GenPolynomial<C>>> GB(java.util.List<GenPolynomial<GenPolynomial<C>>> F)
F
- polynomial list.public ColoredSystem<C> minimalGB(ColoredSystem<C> cs)
cs
- colored system.