Definition at line 106 of file polyring.hpp.
Referenced by initialize_PolynomialRing(), is_commutative_ring(), and is_weyl_algebra().