C
- coefficient typepublic abstract class SyzygyAbstract<C extends GcdRingElem<C>> extends java.lang.Object implements Syzygy<C>
Modifier and Type | Field and Description |
---|---|
protected BasicLinAlg<GenPolynomial<C>> |
blas
Linear algebra engine.
|
protected Reduction<C> |
red
Reduction engine.
|
Constructor and Description |
---|
SyzygyAbstract()
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
isZeroRelation(java.util.List<java.util.List<GenPolynomial<C>>> Z,
java.util.List<GenPolynomial<C>> F)
Test if sysygy.
|
boolean |
isZeroRelation(ModuleList<C> Z,
ModuleList<C> F)
Test if sysygy of modules.
|
java.util.List<java.util.List<GenPolynomial<C>>> |
zeroRelations(int modv,
GenVector<GenPolynomial<C>> v)
Syzygy module from Groebner base. v must be a Groebner base.
|
java.util.List<java.util.List<GenPolynomial<C>>> |
zeroRelations(int modv,
java.util.List<GenPolynomial<C>> F)
Syzygy module from Groebner base.
|
java.util.List<java.util.List<GenPolynomial<C>>> |
zeroRelations(java.util.List<GenPolynomial<C>> F)
Syzygy module from Groebner base.
|
ModuleList<C> |
zeroRelations(ModuleList<C> M)
Syzygy module from module Groebner base.
|
java.util.List<java.util.List<GenPolynomial<C>>> |
zeroRelationsArbitrary(java.util.List<GenPolynomial<C>> F)
Syzygy module from arbitrary base.
|
ModuleList<C> |
zeroRelationsArbitrary(ModuleList<C> M)
Syzygy module from arbitrary module base.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
resolution, resolution, resolutionArbitrary, resolutionArbitrary, zeroRelationsArbitrary
protected Reduction<C extends GcdRingElem<C>> red
protected BasicLinAlg<GenPolynomial<C extends GcdRingElem<C>>> blas
public SyzygyAbstract()
public java.util.List<java.util.List<GenPolynomial<C>>> zeroRelations(java.util.List<GenPolynomial<C>> F)
zeroRelations
in interface Syzygy<C extends GcdRingElem<C>>
F
- a Groebner base.public java.util.List<java.util.List<GenPolynomial<C>>> zeroRelations(int modv, java.util.List<GenPolynomial<C>> F)
zeroRelations
in interface Syzygy<C extends GcdRingElem<C>>
modv
- number of module variables.F
- a Groebner base.public java.util.List<java.util.List<GenPolynomial<C>>> zeroRelations(int modv, GenVector<GenPolynomial<C>> v)
zeroRelations
in interface Syzygy<C extends GcdRingElem<C>>
modv
- number of module variables.v
- a Groebner base.public ModuleList<C> zeroRelations(ModuleList<C> M)
zeroRelations
in interface Syzygy<C extends GcdRingElem<C>>
M
- a module Groebner base.public boolean isZeroRelation(java.util.List<java.util.List<GenPolynomial<C>>> Z, java.util.List<GenPolynomial<C>> F)
isZeroRelation
in interface Syzygy<C extends GcdRingElem<C>>
Z
- list of sysygies.F
- a polynomial list.public boolean isZeroRelation(ModuleList<C> Z, ModuleList<C> F)
isZeroRelation
in interface Syzygy<C extends GcdRingElem<C>>
Z
- list of sysygies.F
- a module list.public java.util.List<java.util.List<GenPolynomial<C>>> zeroRelationsArbitrary(java.util.List<GenPolynomial<C>> F)
zeroRelationsArbitrary
in interface Syzygy<C extends GcdRingElem<C>>
F
- a polynomial list.public ModuleList<C> zeroRelationsArbitrary(ModuleList<C> M)
zeroRelationsArbitrary
in interface Syzygy<C extends GcdRingElem<C>>
M
- an arbitrary module base.