Skip to content

Commit

Permalink
relaxed equality of modules for remainder to ==
Browse files Browse the repository at this point in the history
Otherwise, the following example from Complexes fails:
     S = kk[a..e]
     J = ideal(a^3-e^3, a*b^2-c*e^2, a*b*c, a*b*c + a^3 - e^3)
     C = freeResolution(J, Strategy => 3)
     dd^C_1 == gens J
  • Loading branch information
mahrud committed Feb 14, 2024
1 parent 15b8b3d commit 7f1c585
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions M2/Macaulay2/m2/matrix2.m2
Original file line number Diff line number Diff line change
Expand Up @@ -389,8 +389,7 @@ remainder'(Matrix,Matrix) := Matrix => (f,g) -> (
or not isFreeModule source g or not isFreeModule source g then error "expected maps between free modules";
dual remainder(dual f, dual g))
remainder(Matrix,Matrix) := Matrix % Matrix := Matrix => (n,m) -> (
R := ring n;
if target m =!= target n then error "expected matrices with the same target";
if target m != target n then error "expected matrices with the same target";
if not isFreeModule source n or not isFreeModule source m then error "expected maps from free modules";
if not isQuotientModule target m then error "expected maps to a quotient module";
c := runHooks((remainder, Matrix, Matrix), (n, m));
Expand Down

0 comments on commit 7f1c585

Please sign in to comment.