![]() |
My Project
debian-1:4.1.1-p2+ds-4build4
|
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 1617 of file syzextra.cc.
|
inline |
TODO: m_L should stay the same!!!
Definition at line 1631 of file syzextra.cc.
|
inline |
|
inline |
Definition at line 1676 of file syzextra.cc.
|
inline |
Definition at line 1647 of file syzextra.cc.
|
private |
Definition at line 1628 of file syzextra.cc.
|
private |
Definition at line 1623 of file syzextra.cc.
|
private |
Definition at line 1626 of file syzextra.cc.
|
private |
Definition at line 1626 of file syzextra.cc.
|
private |
Definition at line 1625 of file syzextra.cc.
|
private |
Definition at line 1622 of file syzextra.cc.
|
private |
Definition at line 1621 of file syzextra.cc.
|
private |
Definition at line 1620 of file syzextra.cc.