Definition at line 8 of file skewpoly.cpp.
References PolynomialRing::is_skew_, PolynomialRing::nvars_, and PolynomialRing::skew_.