fix: add missing hash methods

Author: thofma

src/GenOrd/FractionalIdeal.jl

@@ -276,6 +276,10 @@ function ==(A::GenOrdFracIdl, B::GenOrdFracIdl)
   return isone(denominator(C, copy = false)) && isone(norm(C))
 end
 
+function Base.hash(A::GenOrdFracIdl, h::UInt)
+  return hash(order(A), hash(basis_matrix(A), h))
+end
+
 ################################################################################
 #
 #  Colon

src/GrpAb/Map.jl

@@ -216,6 +216,8 @@ end
 
 ==(f::FinGenAbGroupHom, g::FinGenAbGroupHom) = domain(f) === domain(g) && codomain(f) === codomain(g) && all(x -> f(x) == g(x), gens(domain(f)))
 
+Base.hash(f::FinGenAbGroupHom, h::UInt) == zero(UInt)
+
 ################################################################################
 #
 #  Inverse of a map

src/RCF/class_fields.jl

@@ -254,6 +254,9 @@ function ==(a::ClassField, b::ClassField)
   return is_eq(kernel(h[2])[1], kernel(h[1])[1])
 end
 
+function Base.hash(a::ClassField, h::UInt)
+  return hash(a.base_ring, h)
+end
 
 ###############################################################################
 #

test/GenOrd/Ideal.jl

@@ -77,3 +77,14 @@
     end
   end
 end
+
+let
+  # hashing of fractional ideals
+  k = GF(7)
+  kx, x = rational_function_field(k, "x")
+  kt = parent(numerator(x))
+  ky, y = polynomial_ring(kx, "y")
+  F, a = function_field(y^2+x)
+  O = integral_closure(kt, F)
+  @test hash(fractional_ideal(a*O)) == hash(fractional_ideal(a*O))
+end

test/GrpAb/Map.jl

@@ -124,4 +124,12 @@
     @test_throws ArgumentError preinverse(f)
     @test_throws ArgumentError postinverse(g)
   end
+
+  let
+    G = abelian_group([2, 2])
+    h = zero_map(G, G);
+    hh = zero_map(G, G);
+    h == hh
+    @test hash(h) == hash(hh)
+  end
 end

test/RCF/rcf.jl

@@ -380,3 +380,16 @@ let
   L, = number_field(x^3 - 840539241479//13824*a^5 - 18036715089631//9216*a^4 - 18036715089631//9216*a^3 - 840539241479//13824*a^2 - 7320065966297//9216)
   @test !is_abelian(L)
 end
+
+let
+  # fix hashing
+  K, = quadratic_field(-1)
+  OK = maximal_order(K)
+  C = ray_class_field(1*OK)
+  CC = ray_class_field(1*OK)
+  @test C == CC
+  @test hash(C) == hash(CC)
+  D = Dict()
+  D[C] = 1
+  @test haskey(D, CC)
+end