remove duplicate isLiftable from Varieties

Macaulay2 · Oct 4, 2024 · a87434d · a87434d
1 parent 5fcaa0b
commit a87434d
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 21 deletions.
diff --git a/M2/Macaulay2/editors/emacs b/M2/Macaulay2/editors/emacs
diff --git 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
@@ -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);