arguments: m:matrix n:int >> termideal
Given a matrix defined over a ring R = Z[x1..xn]/I, create the termideal of lead terms which occur in the 'i'th row of this matrix.
