![]() |
Computation of Syzygies. More...
#include <vector>#include <map>#include <string.h>#include <stack>#include "singularxx_defs.h"#include "kernel/ideals.h"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 polyrec * | poly |
| 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 | |
| BEGIN_NAMESPACE_SINGULARXX | BEGIN_NAMESPACE (SYZEXTRA) poly leadmonom(const poly p |
| poly | p_Tail (const poly p, const ring r) |
| return the tail of a given polynomial or vector returns NULL if input is NULL, otherwise the result is a new polynomial/vector in the ring r More... | |
| ideal | id_Tail (const ideal id, const ring r) |
| return the tail of a given ideal or module returns NULL if input is NULL, otherwise the result is a new ideal/module in the ring r NOTE: the resulting rank is autocorrected More... | |
| 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) |
Variables | |
| BEGIN_NAMESPACE_SINGULARXX const ring | r |
| BEGIN_NAMESPACE_SINGULARXX const ring const bool | bSetZeroComp = true) |
Computation of Syzygies.
ABSTRACT: Computation of Syzygies due to Schreyer
Definition in file syzextra.h.
| #define NODIVISION 1 |
Definition at line 43 of file syzextra.h.
| #define NOPRODUCT 1 |
Definition at line 37 of file syzextra.h.
Definition at line 32 of file syzextra.h.
| typedef kBucket* kBucket_pt |
Definition at line 34 of file syzextra.h.
| typedef polyrec* poly |
Definition at line 28 of file syzextra.h.
| typedef sBucket* sBucket_pt |
Definition at line 66 of file syzextra.h.
Definition at line 384 of file syzextra.h.
Definition at line 366 of file syzextra.h.
| typedef poly TCacheValue |
Definition at line 367 of file syzextra.h.
| typedef std::map<TCacheKey, TCacheValue, CCacheCompare> TP2PCache |
Definition at line 383 of file syzextra.h.
| BEGIN_NAMESPACE_SINGULARXX BEGIN_NAMESPACE | ( | SYZEXTRA | ) | const |
|
inlinestatic |
Definition at line 592 of file syzextra.h.
|
inlinestatic |
Definition at line 583 of file syzextra.h.
|
inlinestatic |
Definition at line 576 of file syzextra.h.
|
inlinestatic |
Definition at line 601 of file syzextra.h.
return the tail of a given ideal or module returns NULL if input is NULL, otherwise the result is a new ideal/module in the ring r NOTE: the resulting rank is autocorrected
Definition at line 510 of file syzextra.cc.
Definition at line 1588 of file syzextra.cc.
return the tail of a given polynomial or vector returns NULL if input is NULL, otherwise the result is a new polynomial/vector in the ring r
Definition at line 501 of file syzextra.cc.
|
inlinestatic |
Definition at line 615 of file syzextra.h.
|
inlinestatic |
Definition at line 623 of file syzextra.h.
inplace sorting of the module (ideal) id wrt <_(c,ds)
Definition at line 527 of file syzextra.cc.
|
inlinestatic |
Definition at line 608 of file syzextra.h.
| BEGIN_NAMESPACE_SINGULARXX const ring const bool bSetZeroComp = true) |
Definition at line 48 of file syzextra.h.
| BEGIN_NAMESPACE_SINGULARXX const ring r |
Definition at line 48 of file syzextra.h.