Reimplemented from Ring.
Reimplemented in SolvableAlgebra.
Definition at line 258 of file polyring.hpp.
References is_solvable_.
Referenced by F4ResComputation::createF4Res.