![]() |
TODO: More...
Public Member Functions | |
CDivisorEnumerator (const CReducerFinder &self, const poly product) | |
bool | Reset () |
const CLeadingTerm & | Current () const |
bool | MoveNext () |
![]() | |
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 | |
![]() | |
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.