isQuotientRing(Ring), see isQuotientRing -- whether something is a quotient ring
isRing(Ring), see isRing -- whether something is a ring
isSkewCommutative(Ring), see isSkewCommutative -- whether a ring has skew commuting variables
isStandardGradedPolynomialRing(Ring), see isStandardGradedPolynomialRing -- Checks whether a ring is a polynomial ring over a field with variables of degree 1
isWeylAlgebra(Ring) (missing documentation)
jacobian(Ring) -- the Jacobian matrix of the polynomials defining a quotient ring