![]() |
TODO: More...
Public Member Functions | |
| CDivisorEnumerator (const CReducerFinder &self, const poly product) | |
| 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_product |
| 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 2268 of file syzextra.cc.
|
inline |
TODO: m_L should stay the same!!!
Definition at line 2282 of file syzextra.cc.
|
inline |
Definition at line 2322 of file syzextra.cc.
|
inline |
Definition at line 2330 of file syzextra.cc.
|
inline |
Definition at line 2301 of file syzextra.cc.
|
private |
Definition at line 2279 of file syzextra.cc.
|
private |
Definition at line 2274 of file syzextra.cc.
|
private |
Definition at line 2277 of file syzextra.cc.
|
private |
Definition at line 2277 of file syzextra.cc.
|
private |
Definition at line 2276 of file syzextra.cc.
|
private |
Definition at line 2273 of file syzextra.cc.
Definition at line 2272 of file syzextra.cc.
|
private |
Definition at line 2271 of file syzextra.cc.