![]() |
TODO: More...
Public Member Functions | |
| CDivisorEnumerator2 (const CReducerFinder &self, const poly m, const poly t) | |
| bool | Reset () |
| const CLeadingTerm & | Current () const |
| bool | MoveNext () |
Public Member Functions inherited from SchreyerSyzygyComputationFlags | |
| SchreyerSyzygyComputationFlags (idhdl rootRingHdl) | |
| SchreyerSyzygyComputationFlags (const SchreyerSyzygyComputationFlags &attr) | |
| void | nextSyzygyLayer () const |
Private Attributes | |
| const CReducerFinder & | m_reds |
| const poly | m_multiplier |
| const poly | m_term |
| const unsigned long | m_not_sev |
| const long | m_comp |
| CReducerFinder::CReducersHash::const_iterator | m_itr |
| CReducerFinder::TReducers::const_iterator | m_current |
| CReducerFinder::TReducers::const_iterator | m_finish |
| bool | m_active |
Additional Inherited Members | |
Data Fields inherited from SchreyerSyzygyComputationFlags | |
| 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... | |
TODO:
Definition at line 2491 of file syzextra.cc.
|
inline |
Definition at line 2505 of file syzextra.cc.
|
inline |
Definition at line 2552 of file syzextra.cc.
|
inline |
Definition at line 2560 of file syzextra.cc.
|
inline |
Definition at line 2532 of file syzextra.cc.
|
private |
Definition at line 2502 of file syzextra.cc.
|
private |
Definition at line 2497 of file syzextra.cc.
|
private |
Definition at line 2500 of file syzextra.cc.
|
private |
Definition at line 2500 of file syzextra.cc.
|
private |
Definition at line 2499 of file syzextra.cc.
Definition at line 2495 of file syzextra.cc.
|
private |
Definition at line 2496 of file syzextra.cc.
|
private |
Definition at line 2494 of file syzextra.cc.
Definition at line 2495 of file syzextra.cc.