arguments: m:matrix n:int >> matrix
Homogenize the given matrix using the n th variable in the ring to homogenize. An error is given if the resulting matrix cannot be made (multi-)homogeneous. The matrix m could also be a ring element.