C
- coefficient typepublic class SyzygySeq<C extends GcdRingElem<C>> extends SyzygyAbstract<C>
Modifier and Type | Field and Description |
---|---|
protected GroebnerBaseAbstract<C> |
bb
Groebner base engine.
|
blas, red
Constructor and Description |
---|
SyzygySeq(RingFactory<C> cf)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<edu.jas.gbufd.ResPart<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.ResPart<C>> |
resolutionArbitrary(ModuleList<C> M)
Resolution of a module.
|
java.util.List |
resolutionArbitrary(PolynomialList<C> F)
Resolution of a polynomial list.
|
java.util.List<java.util.List<GenPolynomial<C>>> |
zeroRelationsArbitrary(int modv,
java.util.List<GenPolynomial<C>> F)
Syzygy module from arbitrary base.
|
isZeroRelation, isZeroRelation, zeroRelations, zeroRelations, zeroRelations, zeroRelations, zeroRelationsArbitrary, zeroRelationsArbitrary
protected GroebnerBaseAbstract<C extends GcdRingElem<C>> bb
public SyzygySeq(RingFactory<C> cf)
cf
- coefficient ring.public java.util.List<edu.jas.gbufd.ResPart<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 resolutionArbitrary(PolynomialList<C> F)
F
- a polynomial list of an arbitrary basis.public java.util.List<edu.jas.gbufd.ResPart<C>> resolutionArbitrary(ModuleList<C> M)
M
- a module list of an arbitrary basis.public java.util.List<java.util.List<GenPolynomial<C>>> zeroRelationsArbitrary(int modv, java.util.List<GenPolynomial<C>> F)
modv
- number of module variables.F
- a polynomial list.