reinstate degrees for promoteFromMap

pzinn · Sep 23, 2024 · 0cab851 · 0cab851
1 parent 1674b93
commit 0cab851
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/M2/Macaulay2/m2/newring.m2 b/M2/Macaulay2/m2/newring.m2
@@ -20,7 +20,7 @@ promoteFromMap RingMap := f -> (
     promote(Matrix,R,S) :=
     promote(MutableMatrix,R,S) := -- doesn't work, cf https://github.com/Macaulay2/M2/issues/2192
     promote(Module,R,S) := (M,R1,S1) -> f ** M; -- TODO rethink carefully -- should it be f M ?
---    promote(List,R,S) := (L,R1,S1) -> apply(L,f.cache.DegreeMap); -- reinstate
+    promote(List,R,S) := (L,R1,S1) -> apply(L,f.cache.DegreeMap); -- reinstate
     )
 promoteFromMap (Ring,Ring) := (R,S) -> promoteFromMap map(S,R)
 

diff --git a/M2/Macaulay2/packages/CotangentSchubert/cotangent.m2 b/M2/Macaulay2/packages/CotangentSchubert/cotangent.m2
@@ -137,6 +137,7 @@ defineB = (FF,n,Kth,Equiv) -> ( -- TODO remove FF
             -if Equiv then elem(k,drop(gens FF,1)) else if Kth then binomial(n,k) else 0);
 	BB := BB0/J;
 	BBs#(n,Kth,Equiv) = BB;
+	if Equiv then promoteFromMap(map(BB,if Kth then FK_0 else FH_0,{FF_0}));
 	);
     BBs#(n,Kth,Equiv)
     )
@@ -246,7 +247,6 @@ setupCotangent = cotOpts >> curCotOpts -> dims0 -> (
         );
     if curCotOpts.Presentation === Borel then (
 	BB := defineB(FF,n,curCotOpts.Ktheory,curCotOpts.Equivariant);
-	if curCotOpts.Equivariant then promoteFromMap(map(BB,FF0,{FF_0})); -- TODO move elsewhere
 	x := getSymbol "x";
 	-- Chern classes
 	inds := splice apply(d+1, i -> apply(1..dimdiffs#i,j->(j,i)));