Package edu.jas.gbufd
Class SyzygySeq<C extends GcdRingElem<C>>
java.lang.Object
edu.jas.gbufd.SyzygyAbstract<C>
edu.jas.gbufd.SyzygySeq<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
Syzygy<C>
,Serializable
SyzygySeq class. Implements Syzygy computations and tests.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected GroebnerBaseAbstract
<C> Groebner base engine.private static final boolean
private static final org.apache.logging.log4j.Logger
Fields inherited from class edu.jas.gbufd.SyzygyAbstract
blas, red
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionresolution
(ModuleList<C> M) Resolution of a module.Resolution of a polynomial list.Resolution of a module.Resolution of a polynomial list.List
<List<GenPolynomial<C>>> zeroRelationsArbitrary
(int modv, List<GenPolynomial<C>> F) Syzygy module from arbitrary base.Methods inherited from class edu.jas.gbufd.SyzygyAbstract
isZeroRelation, isZeroRelation, zeroRelations, zeroRelations, zeroRelations, zeroRelations, zeroRelationsArbitrary, zeroRelationsArbitrary
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug -
bb
Groebner base engine.
-
-
Constructor Details
-
SyzygySeq
Constructor.- Parameters:
cf
- coefficient ring.
-
-
Method Details
-
resolution
Resolution of a module. Only with direct GBs.- Parameters:
M
- a module list of a Groebner basis.- Returns:
- a resolution of M.
-
resolution
Resolution of a polynomial list. Only with direct GBs.- Parameters:
F
- a polynomial list of a Groebner basis.- Returns:
- a resolution of F.
-
resolutionArbitrary
Resolution of a polynomial list.- Parameters:
F
- a polynomial list of an arbitrary basis.- Returns:
- a resolution of F.
-
resolutionArbitrary
Resolution of a module.- Parameters:
M
- a module list of an arbitrary basis.- Returns:
- a resolution of M.
-
zeroRelationsArbitrary
Syzygy module from arbitrary base.- Parameters:
modv
- number of module variables.F
- a polynomial list.- Returns:
- syz(F), a basis for the module of syzygies for F.
-