![]() |
My Project
debian-1:4.1.1-p2+ds-4build2
|
Computation attribute storage. More...
#include <syzextra.h>
Public Member Functions | |
SchreyerSyzygyComputationFlags (idhdl rootRingHdl) | |
SchreyerSyzygyComputationFlags (const SchreyerSyzygyComputationFlags &attr) | |
void | nextSyzygyLayer () const |
Data Fields | |
const int | OPT__DEBUG |
output all the intermediate states More... | |
const int | OPT__LEAD2SYZ |
? More... | |
const int | OPT__TAILREDSYZ |
Reduce syzygy tails wrt the leading syzygy terms. More... | |
const int | OPT__HYBRIDNF |
Use the usual NF's S-poly reduction while dropping lower order terms 2 means - smart selection! More... | |
const int | OPT__IGNORETAILS |
ignore tails and compute the pure Schreyer frame More... | |
int | OPT__SYZNUMBER |
Syzygy level (within a resolution) More... | |
const int | OPT__TREEOUTPUT |
output lifting tree More... | |
const int | OPT__SYZCHECK |
CheckSyzygyProperty: TODO. More... | |
const bool | OPT__PROT |
TEST_OPT_PROT. More... | |
const int | OPT__NOCACHING |
no caching/stores/lookups More... | |
const ring | m_rBaseRing |
global base ring More... | |
Computation attribute storage.
Definition at line 162 of file syzextra.h.
SchreyerSyzygyComputationFlags::SchreyerSyzygyComputationFlags | ( | idhdl | rootRingHdl | ) |
Definition at line 1442 of file syzextra.cc.
|
inline |
Definition at line 166 of file syzextra.h.
|
inline |
Definition at line 196 of file syzextra.h.
const ring SchreyerSyzygyComputationFlags::m_rBaseRing |
global base ring
Definition at line 214 of file syzextra.h.
const int SchreyerSyzygyComputationFlags::OPT__DEBUG |
output all the intermediate states
Definition at line 177 of file syzextra.h.
const int SchreyerSyzygyComputationFlags::OPT__HYBRIDNF |
Use the usual NF's S-poly reduction while dropping lower order terms 2 means - smart selection!
Definition at line 187 of file syzextra.h.
const int SchreyerSyzygyComputationFlags::OPT__IGNORETAILS |
ignore tails and compute the pure Schreyer frame
Definition at line 191 of file syzextra.h.
const int SchreyerSyzygyComputationFlags::OPT__LEAD2SYZ |
?
Definition at line 180 of file syzextra.h.
const int SchreyerSyzygyComputationFlags::OPT__NOCACHING |
no caching/stores/lookups
Definition at line 211 of file syzextra.h.
const bool SchreyerSyzygyComputationFlags::OPT__PROT |
TEST_OPT_PROT.
Definition at line 208 of file syzextra.h.
const int SchreyerSyzygyComputationFlags::OPT__SYZCHECK |
CheckSyzygyProperty: TODO.
Definition at line 205 of file syzextra.h.
|
mutable |
Syzygy level (within a resolution)
Definition at line 194 of file syzextra.h.
const int SchreyerSyzygyComputationFlags::OPT__TAILREDSYZ |
Reduce syzygy tails wrt the leading syzygy terms.
Definition at line 183 of file syzextra.h.
const int SchreyerSyzygyComputationFlags::OPT__TREEOUTPUT |
output lifting tree
Definition at line 202 of file syzextra.h.