Synopsis:
Code:
-- ../m2/multilin.m2:202-207 fittingIdeal(ZZ,Module) := Ideal => (i,M) -> ( p := presentation M; n := rank target p; if n <= i then ideal 1_(ring M) else trim minors(n-i,p))