numgens X -- yields the number of generators used to present
a module or ring.
For a polynomial ring or quotient of one, this is also the number
of variables. For a free module, this is the same as the rank. For
a general module presented as a subquotient, it is the number of columns
in the matrix of generators.