![]() |
My Project
|
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 | |
const int | OPT__LEAD2SYZ |
? | |
const int | OPT__TAILREDSYZ |
Reduce syzygy tails wrt the leading syzygy terms. | |
const int | OPT__HYBRIDNF |
Use the usual NF's S-poly reduction while dropping lower order terms 2 means - smart selection! | |
const int | OPT__IGNORETAILS |
ignore tails and compute the pure Schreyer frame | |
int | OPT__SYZNUMBER |
Syzygy level (within a resolution) | |
const int | OPT__TREEOUTPUT |
output lifting tree | |
const int | OPT__SYZCHECK |
CheckSyzygyProperty: TODO. | |
const bool | OPT__PROT |
TEST_OPT_PROT. | |
const int | OPT__NOCACHING |
no caching/stores/lookups | |
const ring | m_rBaseRing |
global base ring | |
Computation attribute storage.
Definition at line 143 of file syzextra.h.
SchreyerSyzygyComputationFlags::SchreyerSyzygyComputationFlags | ( | idhdl | rootRingHdl | ) |
|
inline |
Definition at line 147 of file syzextra.h.
|
inline |
Definition at line 177 of file syzextra.h.
global base ring
Definition at line 195 of file syzextra.h.
output all the intermediate states
Definition at line 158 of file syzextra.h.
Use the usual NF's S-poly reduction while dropping lower order terms 2 means - smart selection!
Definition at line 168 of file syzextra.h.
ignore tails and compute the pure Schreyer frame
Definition at line 172 of file syzextra.h.
?
Definition at line 161 of file syzextra.h.
no caching/stores/lookups
Definition at line 192 of file syzextra.h.
TEST_OPT_PROT.
Definition at line 189 of file syzextra.h.
CheckSyzygyProperty: TODO.
Definition at line 186 of file syzextra.h.
|
mutable |
Syzygy level (within a resolution)
Definition at line 175 of file syzextra.h.
Reduce syzygy tails wrt the leading syzygy terms.
Definition at line 164 of file syzextra.h.
output lifting tree
Definition at line 183 of file syzextra.h.