Reimplemented from Ring.
Reimplemented in WeylAlgebra.
Definition at line 248 of file polyring.hpp.
References is_weyl_.
Referenced by F4ResComputation::createF4Res.