Definition at line 237 of file polyring.hpp.
References is_skew_.
Referenced by ResolutionComputation::choose_res(), initialize_PolynomialRing(), and Matrix::make_monideal().