mon = leadMonomial f
Returns the lead monomial of an NCRingElement (as an NCRingElement).
|
|
|
The source of this document is in NCAlgebra/NCAlgebraDoc.m2:1262:0.