- Usage:
`toBinomial(M,R)`

- Outputs:
`I`, an ideal

Returns the ideal in the ring `R` generated by the binomials corresponding to rows of `M`

i1 : A = matrix "1,1,1,1; 1,2,3,4" o1 = | 1 1 1 1 | | 1 2 3 4 | 2 4 o1 : Matrix ZZ <--- ZZ |

i2 : B = syz A o2 = | 1 2 | | -2 -3 | | 1 0 | | 0 1 | 4 2 o2 : Matrix ZZ <--- ZZ |

i3 : R = QQ[a..d] o3 = R o3 : PolynomialRing |

i4 : toBinomial(transpose B,R) 2 3 2 o4 = ideal (- b + a*c, - b + a d) o4 : Ideal of R |

- toBinomial(Matrix,Ring)