Go back to old hom.

HechtiDerLachs · Feb 4, 2024 · a6b7c15 · a6b7c15
1 parent 920fb56
commit a6b7c15
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/src/Modules/UngradedModules/FreeModuleHom.jl b/src/Modules/UngradedModules/FreeModuleHom.jl
@@ -313,7 +313,6 @@ function Base.show(io::IO, fmh::FreeModuleHom{T1, T2, RingMapType}) where {T1 <:
   end
 end
 
-#=
 @doc raw"""
     hom(F::FreeMod, G::FreeMod)
 
@@ -400,7 +399,6 @@ function hom(F::FreeMod, G::FreeMod)
   set_attribute!(GH, :show => Hecke.show_hom, :hom => (F, G), :module_to_hom_map => to_hom_map)
   return GH, to_hom_map
 end
-=#
 
 @doc raw"""
     kernel(a::FreeModuleHom)

diff --git a/src/Modules/UngradedModules/Hom_and_ext.jl b/src/Modules/UngradedModules/Hom_and_ext.jl
@@ -112,6 +112,7 @@ function hom(M::ModuleFP, N::ModuleFP, algorithm::Symbol=:maps)
 end
 
 ### New and hopefully more maintainable code
+#=
 function hom(F::FreeMod, G::ModuleFP)
   R = base_ring(F)
   R === base_ring(G) || error("base rings must be the same")
@@ -292,7 +293,7 @@ function _hom_graded(F::FreeMod, G::FreeMod)
   set_attribute!(H, :show => Hecke.show_hom, :hom => (F, G), :module_to_hom_map => to_hom_map4)
   return H, to_hom_map4
 end
-
+=#
 
 @doc raw"""
     element_to_homomorphism(f::ModuleFPElem)