correction, reaction to review

oscar-system · Nov 4, 2024 · 7b085d7 · 7b085d7
1 parent 72224be
commit 7b085d7
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/experimental/IntersectionTheory/src/Main.jl b/experimental/IntersectionTheory/src/Main.jl
@@ -59,7 +59,7 @@ Return `true` if `F` is equal to `G`, and `false` otherwise.
 # Examples
 ```jldoctest
 julia> P2 = abstract_projective_space(2)
-AbstractVariety of dim 3
+AbstractVariety of dim 2
 
 julia> 3*OO(P2, 1) - OO(P2) == tangent_bundle(P2) # Euler sequence
 true
@@ -68,6 +68,10 @@ true
 """
 ==(F::AbstractBundle, G::AbstractBundle) = chern_character(F) == chern_character(G)
 
+function Base.hash(F::AbstractBundle, h::UInt)
+  return hash(chern_character(F), h)
+end
+
 @doc raw"""
     chern_character(F::AbstractBundle)