degree f
Returns the degree of the lead term of an element of a free OI-module.
|
|
|
|
|
The source of this document is in OIGroebnerBases.m2:2156:0.