is_weyl_algebra()

virtual bool PolynomialRing::is_weyl_algebra ( ) const

inlinevirtual

Reimplemented from Ring.

Reimplemented in WeylAlgebra.

Definition at line 248 of file polyring.hpp.

{ return is_weyl_; }

References is_weyl_.

Referenced by F4ResComputation::createF4Res.