![]() |
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 190 of file syzextra.h.
| SchreyerSyzygyComputationFlags::SchreyerSyzygyComputationFlags | ( | idhdl | rootRingHdl | ) |
Definition at line 2032 of file syzextra.cc.
|
inline |
Definition at line 194 of file syzextra.h.
|
inline |
Definition at line 224 of file syzextra.h.
| const ring SchreyerSyzygyComputationFlags::m_rBaseRing |
global base ring
Definition at line 242 of file syzextra.h.
| const int SchreyerSyzygyComputationFlags::OPT__DEBUG |
output all the intermediate states
Definition at line 205 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 215 of file syzextra.h.
| const int SchreyerSyzygyComputationFlags::OPT__IGNORETAILS |
ignore tails and compute the pure Schreyer frame
Definition at line 219 of file syzextra.h.
| const int SchreyerSyzygyComputationFlags::OPT__LEAD2SYZ |
?
Definition at line 208 of file syzextra.h.
| const int SchreyerSyzygyComputationFlags::OPT__NOCACHING |
no caching/stores/lookups
Definition at line 239 of file syzextra.h.
| const bool SchreyerSyzygyComputationFlags::OPT__PROT |
TEST_OPT_PROT.
Definition at line 236 of file syzextra.h.
| const int SchreyerSyzygyComputationFlags::OPT__SYZCHECK |
CheckSyzygyProperty: TODO.
Definition at line 233 of file syzextra.h.
|
mutable |
Syzygy level (within a resolution)
Definition at line 222 of file syzextra.h.
| const int SchreyerSyzygyComputationFlags::OPT__TAILREDSYZ |
Reduce syzygy tails wrt the leading syzygy terms.
Definition at line 211 of file syzextra.h.
| const int SchreyerSyzygyComputationFlags::OPT__TREEOUTPUT |
output lifting tree
Definition at line 230 of file syzextra.h.