My Project
|
Computation of Syzygies. More...
Go to the source code of this file.
Data Structures | |
class | SBucketFactory |
sBucket Factory More... | |
struct | SchreyerSyzygyComputationFlags |
Computation attribute storage. More... | |
class | CLCM |
class | CLeadingTerm |
class | CReducerFinder |
struct | CCacheCompare |
class | SchreyerSyzygyComputation |
Computing syzygies after Schreyer. More... | |
Macros | |
#define | NOPRODUCT 1 |
#define | NODIVISION 1 |
Typedefs | |
typedef idrec * | idhdl |
typedef kBucket * | kBucket_pt |
typedef sBucket * | sBucket_pt |
typedef poly | TCacheKey |
typedef poly | TCacheValue |
typedef std::map< TCacheKey, TCacheValue, CCacheCompare > | TP2PCache |
typedef std::map< int, TP2PCache > | TCache |
Functions | |
poly | leadmonom (const poly p, const ring r, const bool bSetZeroComp=true) |
void | Sort_c_ds (const ideal id, const ring r) |
inplace sorting of the module (ideal) id wrt <_(c,ds) More... | |
bool | my_p_LmCmp (poly, poly, const ring) |
static void | ComputeSyzygy (const ideal L, const ideal T, ideal &LL, ideal &TT, const SchreyerSyzygyComputationFlags A) |
static ideal | ComputeLeadingSyzygyTerms (const ideal &L, const SchreyerSyzygyComputationFlags A) |
static ideal | Compute2LeadingSyzygyTerms (const ideal &L, const SchreyerSyzygyComputationFlags A) |
static poly | FindReducer (poly product, poly syzterm, ideal L, ideal LS, const SchreyerSyzygyComputationFlags A) |
static poly | TraverseTail (poly multiplier, poly tail, ideal L, ideal T, ideal LS, const SchreyerSyzygyComputationFlags A) |
static poly | ReduceTerm (poly multiplier, poly term4reduction, poly syztermCheck, ideal L, ideal T, ideal LS, const SchreyerSyzygyComputationFlags A) |
static poly | SchreyerSyzygyNF (poly syz_lead, poly syz_2, ideal L, ideal T, ideal LS, const SchreyerSyzygyComputationFlags A) |
Computation of Syzygies.
ABSTRACT: Computation of Syzygies due to Schreyer
Definition in file syzextra.h.
#define NODIVISION 1 |
Definition at line 38 of file syzextra.h.
#define NOPRODUCT 1 |
Definition at line 32 of file syzextra.h.
Definition at line 27 of file syzextra.h.
typedef kBucket* kBucket_pt |
Definition at line 29 of file syzextra.h.
typedef sBucket* sBucket_pt |
Definition at line 47 of file syzextra.h.
Definition at line 315 of file syzextra.h.
typedef poly TCacheKey |
Definition at line 297 of file syzextra.h.
typedef poly TCacheValue |
Definition at line 298 of file syzextra.h.
typedef std::map<TCacheKey, TCacheValue, CCacheCompare> TP2PCache |
Definition at line 314 of file syzextra.h.
|
inlinestatic |
Definition at line 497 of file syzextra.h.
|
inlinestatic |
Definition at line 488 of file syzextra.h.
|
inlinestatic |
Definition at line 481 of file syzextra.h.
|
inlinestatic |
Definition at line 506 of file syzextra.h.
bool my_p_LmCmp | ( | poly | , |
poly | , | ||
const | ring | ||
) |
|
inlinestatic |
Definition at line 520 of file syzextra.h.
|
inlinestatic |
Definition at line 528 of file syzextra.h.
inplace sorting of the module (ideal) id wrt <_(c,ds)
|
inlinestatic |
Definition at line 513 of file syzextra.h.