C
- coefficient typepublic class SolvableSyzygySeq<C extends GcdRingElem<C>> extends SolvableSyzygyAbstract<C>
Modifier and Type | Field and Description |
---|---|
protected SolvableGroebnerBase<C> |
sbb
Groebner basis engine.
|
blas, red, sred
Constructor and Description |
---|
SolvableSyzygySeq(RingFactory<C> cf)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
GenSolvablePolynomial<C>[] |
leftOreCond(GenSolvablePolynomial<C> a,
GenSolvablePolynomial<C> b)
Left Ore condition.
|
GenSolvablePolynomial<C>[] |
leftSimplifier(GenSolvablePolynomial<C> a,
GenSolvablePolynomial<C> b)
Left simplifier.
|
java.util.List<java.util.List<GenSolvablePolynomial<C>>> |
leftZeroRelationsArbitrary(int modv,
java.util.List<GenSolvablePolynomial<C>> F)
Left syzygy module from arbitrary base.
|
java.util.List<edu.jas.gbufd.SolvResPart<C>> |
resolution(ModuleList<C> M)
Resolution of a module.
|
java.util.List |
resolution(PolynomialList<C> F)
Resolution of a polynomial list.
|
java.util.List<edu.jas.gbufd.SolvResPart<C>> |
resolutionArbitrary(ModuleList<C> M)
Resolution of a module.
|
java.util.List |
resolutionArbitrary(PolynomialList<C> F)
Resolution of a polynomial list.
|
GenSolvablePolynomial<C>[] |
rightOreCond(GenSolvablePolynomial<C> a,
GenSolvablePolynomial<C> b)
Right Ore condition.
|
compare, isLeftOreCond, isLeftZeroRelation, isLeftZeroRelation, isRightOreCond, isRightZeroRelation, isRightZeroRelation, leftZeroRelations, leftZeroRelations, leftZeroRelations, leftZeroRelationsArbitrary, leftZeroRelationsArbitrary, rightZeroRelations, rightZeroRelations, rightZeroRelations, rightZeroRelationsArbitrary, rightZeroRelationsArbitrary, rightZeroRelationsArbitrary
protected SolvableGroebnerBase<C extends GcdRingElem<C>> sbb
public SolvableSyzygySeq(RingFactory<C> cf)
cf
- coefficient ring.public java.util.List<edu.jas.gbufd.SolvResPart<C>> resolution(ModuleList<C> M)
M
- a module list of a Groebner basis.public java.util.List resolution(PolynomialList<C> F)
F
- a polynomial list of a Groebner basis.public java.util.List<edu.jas.gbufd.SolvResPart<C>> resolutionArbitrary(ModuleList<C> M)
M
- a module list of an arbitrary basis.public java.util.List resolutionArbitrary(PolynomialList<C> F)
F
- a polynomial list of an arbitrary basis.public java.util.List<java.util.List<GenSolvablePolynomial<C>>> leftZeroRelationsArbitrary(int modv, java.util.List<GenSolvablePolynomial<C>> F)
modv
- number of module variables.F
- a solvable polynomial list.public GenSolvablePolynomial<C>[] leftOreCond(GenSolvablePolynomial<C> a, GenSolvablePolynomial<C> b)
a
- solvable polynomialb
- solvable polynomialpublic GenSolvablePolynomial<C>[] rightOreCond(GenSolvablePolynomial<C> a, GenSolvablePolynomial<C> b)
a
- solvable polynomialb
- solvable polynomialpublic GenSolvablePolynomial<C>[] leftSimplifier(GenSolvablePolynomial<C> a, GenSolvablePolynomial<C> b)
leftSimplifier
in class SolvableSyzygyAbstract<C extends GcdRingElem<C>>
a
- solvable polynomialb
- solvable polynomial