Definition at line 64 of file skewpoly.hpp.
Referenced by cast_to_SkewPolynomialRing(), cast_to_SkewPolynomialRing(), and create().