The Coefficient(Poly, n) calling sequence returns the coefficient of the nth power of the noncommutative indeterminate in Poly.

The Coefficients(Poly) calling sequence returns the sequence of coefficients of Poly.

The Degree(Poly) calling sequence returns the degree of Poly with respect to the noncommutative indeterminate.

The LeadingCoefficient(Poly)] calling sequence returns the leading coefficient of Poly.

The LowDegree(Poly) calling sequence returns the trailing degree of Poly.

The RandOrePoly(A) calling sequence returns a random Ore polynomial in the Ore algebra A.

The first argument A specifies the ring in which the polynomial is to be generated. The possible options are:

coeffs - Generate the coefficients

terms - Number of terms in the noncommutative indeterminate

degree - Degree on the noncommutative indeterminate

The TrailingCoefficient(Poly) calling sequence returns the trailing coefficient of A.

The VariableDegree(Poly, A) calling sequence returns the maximal degree of coefficients of Poly with respect to the variable in A.  Note that the coefficients of Poly are supposed to be polynomials in the variable.

For a brief review of pseudo-linear algebra (also known as Ore algebra), see OreAlgebra.