originalMonoid()

const Monoid & ResPolyRing::originalMonoid ( ) const

inline

Definition at line 140 of file res-poly-ring.hpp.

{ return *mOriginalMonoid; }

References mOriginalMonoid.

Referenced by check_poly().