maxLevel()

int SchreyerFrame::maxLevel ( ) const

inline

Definition at line 282 of file res-schreyer-frame.hpp.

{ return static_cast<int>(mFrame.mLevels.size() - 1); }

References mFrame.

Referenced by computeRanks(), computeSyzygies(), debugCheckOrderAll(), DegreeZeroMapGenerator::DegreeZeroMapGenerator(), getBetti(), F4ResComputation::minimal_betti(), minimalBettiNumbers(), setBettiDisplays(), ResF4toM2Interface::to_M2_freemodule(), ResF4toM2Interface::to_M2_freemodule(), ResF4toM2Interface::to_M2_matrix(), and ResF4toM2Interface::to_M2_MutableMatrix().