One more rename

oscar-system · Sep 25, 2024 · 4ad9d7e · 4ad9d7e
1 parent 52da892
commit 4ad9d7e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/experimental/Schemes/src/BlowupMorphism.jl b/experimental/Schemes/src/BlowupMorphism.jl
@@ -697,7 +697,7 @@ function Base.show(io::IO, Bl::AbsSimpleBlowupMorphism)
   if is_terse(io)
     print(io, "Blowup morphism")
   else
-    print(io, "Blow-down: ", Lowercase(), domain(Bl))
+    print(io, "Blow-up: ", Lowercase(), domain(Bl))
     print(io, " -> ", Lowercase(), codomain(Bl))
   end
 end

diff --git a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Constructors.jl b/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Constructors.jl
@@ -127,7 +127,7 @@ julia> inc_E = Oscar.CoveredClosedEmbedding(domain(pr), JJ);
 julia> comp = Oscar.composite_map(inc_E, pr)
 Composite morphism of
   Hom: scheme over QQ covered with 2 patches -> scheme over QQ covered with 2 patches
-  Blow-down: scheme over QQ covered with 2 patches -> scheme over QQ covered with 1 patch
+  Blow-up: scheme over QQ covered with 2 patches -> scheme over QQ covered with 1 patch
 
 julia> Oscar.maps(comp)[1] === inc_E
 true