corrected degree handling in RingMap ** Module

mahrud · Feb 13, 2024 · c33f7aa · c33f7aa
1 parent 29cf7d2
commit c33f7aa
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/M2/Macaulay2/m2/ringmap.m2 b/M2/Macaulay2/m2/ringmap.m2
@@ -213,7 +213,8 @@ RingMap Module := Module => (f, M) -> (
 -- misc
 tensor(RingMap, Module) := Module => {} >> opts -> (f, M) -> (
     if source f =!= ring M then error "expected module over source ring";
-    subquotient((target f)^(-degrees ambient M),
+    tar := - apply(degrees ambient M, f.cache.DegreeMap);
+    subquotient((target f)^tar,
 	if M.?generators then f M.generators,
 	if M.?relations  then f M.relations))
 RingMap ** Module := Module => (f, M) -> tensor(f, M)