arguments: M:matrix n:int >> monideal
Return the monomial ideal of those columns of M whose lead terms are in row n.
