GradingDim --
Number of components in weighted degree
Syntax
GradingDim(P): INT
Description
This function returns the grading dimension of a polynomial ring, i.e.
how many of the rows of the order matrix of P are to be taken as
specifying the grading.