Reimplemented from Ring.
Reimplemented in SkewPolynomialRing, SolvableAlgebra, and WeylAlgebra.
Definition at line 242 of file polyring.hpp.
References is_skew_, is_solvable_, and is_weyl_.