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