From a87434db02c1ffef6890d524979fff23c79beb97 Mon Sep 17 00:00:00 2001
From: pzinn <pzinnjustin@gmail.com>
Date: Fri, 4 Oct 2024 18:08:03 +1000
Subject: [PATCH] remove duplicate isLiftable from Varieties

---
 M2/Macaulay2/editors/emacs                    |  2 +-
 .../functions/promoteFromMap-doc.m2           | 36 +++++++++----------
 M2/Macaulay2/packages/Varieties/SheafMaps.m2  |  2 --
 3 files changed, 19 insertions(+), 21 deletions(-)

diff --git a/M2/Macaulay2/editors/emacs b/M2/Macaulay2/editors/emacs
index b71ec9f2798..837cf3d52a7 160000
--- a/M2/Macaulay2/editors/emacs
+++ b/M2/Macaulay2/editors/emacs
@@ -1 +1 @@
-Subproject commit b71ec9f2798e29f89e539aee41fa0637e190e286
+Subproject commit 837cf3d52a7598e8f680c97aab48ef5f9c07c1fe
diff --git a/M2/Macaulay2/packages/Macaulay2Doc/functions/promoteFromMap-doc.m2 b/M2/Macaulay2/packages/Macaulay2Doc/functions/promoteFromMap-doc.m2
index 869fe6053d0..474f3f6d3fd 100644
--- a/M2/Macaulay2/packages/Macaulay2Doc/functions/promoteFromMap-doc.m2
+++ b/M2/Macaulay2/packages/Macaulay2Doc/functions/promoteFromMap-doc.m2
@@ -5,22 +5,22 @@
 undocumented {(promoteFromMap,Ring,Ring)}
 
 doc ///
-  Key
-    promoteFromMap
-  Headline
-    automatic promotion from one ring to another
-  Usage
-    promoteFromMap f
-  Inputs
-    f:RingMap
-  Description
-   Text
-     After calling @TT promoteFromMap@, any operation that is given an element of the source of @TT f@ but
-     expects an elements of the target of @TT f@ will automatically apply @TT f@.
-   Example
-     R=QQ[x_1,x_2]
-     R'=QQ[e_1,e_2]
-     promoteFromMap map(R,R',{x_1+x_2,x_1*x_2})
-     e_1*x_1
-     e_2==x_1*x_2
+ Key
+  promoteFromMap
+ Headline
+  automatic promotion from one ring to another
+ Usage
+  promoteFromMap f
+ Inputs
+  f: RingMap
+ Description
+  Text
+   After calling @TT "promoteFromMap"@, any operation that is given an element of the source of @TT "f"@ but
+   expects an elements of the target of @TT "f"@ will automatically apply @TT "f"@.
+  Example
+   R=QQ[x_1,x_2]
+   R'=QQ[e_1,e_2]
+   promoteFromMap map(R,R',{x_1+x_2,x_1*x_2})
+   e_1*x_1
+   e_2==x_1*x_2
 ///
diff --git a/M2/Macaulay2/packages/Varieties/SheafMaps.m2 b/M2/Macaulay2/packages/Varieties/SheafMaps.m2
index 9693abca296..f7e2542c6ae 100644
--- a/M2/Macaulay2/packages/Varieties/SheafMaps.m2
+++ b/M2/Macaulay2/packages/Varieties/SheafMaps.m2
@@ -3,7 +3,6 @@ export {
     "SheafMap",
     -- Methods
     "sheafMap",
-    "isLiftable",
 --    "yonedaSheafExtension",
     }
 
@@ -119,7 +118,6 @@ toExternalString SheafMap := toString @@ describe
 -----------------------------------------------------------------------------
 --general method: checks whether a map phi is in the image of
 --the map Hom(eta,target phi)
-isLiftable = method()
 isLiftable(Matrix, Matrix) := (phi, eta) -> (
     newPhi := homomorphism' phi;
     deta := Hom(eta, target phi);