n_vars()

int ResMonoidDense::n_vars ( ) const

inline

Definition at line 126 of file res-moninfo-dense.hpp.

{ return nvars; }

References nvars.

Referenced by SchreyerFrame::computeIdealQuotient(), and SchreyerFrame::SchreyerFrame().