Rename blowdown to blowup (oscar-system#4148)

* Rename blowdown to blowup
HechtiDerLachs · Sep 30, 2024 · e0df134 · e0df134
1 parent 966bc33
commit e0df134
Show file tree

Hide file tree

Showing 14 changed files with 138 additions and 138 deletions.
diff --git a/docs/doc.main b/docs/doc.main
@@ -211,7 +211,7 @@
         "AlgebraicGeometry/ToricVarieties/ToricMorphisms.md",
         "AlgebraicGeometry/ToricVarieties/ToricSchemes.md",
         "AlgebraicGeometry/ToricVarieties/ToricIdealSheaves.md",
-        "AlgebraicGeometry/ToricVarieties/BlowdownMorphisms.md",
+        "AlgebraicGeometry/ToricVarieties/BlowupMorphisms.md",
      ],
      "Miscellaneous" => [
        "AlgebraicGeometry/Miscellaneous/miscellaneous.md",

diff --git a/...metry/ToricVarieties/BlowdownMorphisms.md → ...eometry/ToricVarieties/BlowupMorphisms.md b/...metry/ToricVarieties/BlowdownMorphisms.md → ...eometry/ToricVarieties/BlowupMorphisms.md
@@ -66,23 +66,23 @@ blow_up(m::NormalToricVariety, I::ToricIdealSheafFromCoxRingIdeal; coordinate_na
 ## Attributes
 
 ```@docs
-underlying_morphism(bl::ToricBlowdownMorphism)
-index_of_new_ray(bl::ToricBlowdownMorphism)
-center_data(bl::ToricBlowdownMorphism)
-center_unnormalized(bl::ToricBlowdownMorphism)
-exceptional_prime_divisor(bl::ToricBlowdownMorphism)
+underlying_morphism(bl::ToricBlowupMorphism)
+index_of_new_ray(bl::ToricBlowupMorphism)
+center_data(bl::ToricBlowupMorphism)
+center_unnormalized(bl::ToricBlowupMorphism)
+exceptional_prime_divisor(bl::ToricBlowupMorphism)
 ```
 Based on `underlying_morphism`, also the following attributes of toric
 morphisms are supported for toric blowups:
-- `grid_morphism(bl::ToricBlowdownMorphism)`,
-- `morphism_on_torusinvariant_weil_divisor_group(bl::ToricBlowdownMorphism)`,
-- `morphism_on_torusinvariant_cartier_divisor_group(bl::ToricBlowdownMorphism)`,
-- `morphism_on_class_group(bl::ToricBlowdownMorphism)`,
-- `morphism_on_picard_group(bl::ToricBlowdownMorphism)`.
+- `grid_morphism(bl::ToricBlowupMorphism)`,
+- `morphism_on_torusinvariant_weil_divisor_group(bl::ToricBlowupMorphism)`,
+- `morphism_on_torusinvariant_cartier_divisor_group(bl::ToricBlowupMorphism)`,
+- `morphism_on_class_group(bl::ToricBlowupMorphism)`,
+- `morphism_on_picard_group(bl::ToricBlowupMorphism)`.
 The total and strict transform of ideal sheaves along blowups, not
 necessarily toric, can be computed:
 ```@docs
-total_transform(f::AbsSimpleBlowdownMorphism, II::AbsIdealSheaf)
+total_transform(f::AbsSimpleBlowupMorphism, II::AbsIdealSheaf)
 ```
 
 

diff --git a/experimental/FTheoryTools/src/auxiliary.jl b/experimental/FTheoryTools/src/auxiliary.jl
@@ -462,7 +462,7 @@ eval_poly(n::Number, R) = R(n)
 
 _strict_transform(bd::AbsCoveredSchemeMorphism, II::AbsIdealSheaf) = strict_transform(bd, II)
 
-function _strict_transform(bd::ToricBlowdownMorphism, II::ToricIdealSheafFromCoxRingIdeal)
+function _strict_transform(bd::ToricBlowupMorphism, II::ToricIdealSheafFromCoxRingIdeal)
   center_ideal = ideal_in_cox_ring(center_unnormalized(bd))
   if (ngens(ideal_in_cox_ring(II)) != 1) || (all(in(gens(base_ring(center_ideal))), gens(center_ideal)) == false)
     return strict_transform(bd, II)
@@ -487,7 +487,7 @@ function _strict_transform(bd::ToricBlowdownMorphism, II::ToricIdealSheafFromCox
   return ideal_sheaf(domain(bd), strict_transform)
 end
 
-function _strict_transform(bd::ToricBlowdownMorphism, tate_poly::MPolyRingElem)
+function _strict_transform(bd::ToricBlowupMorphism, tate_poly::MPolyRingElem)
   S = cox_ring(domain(bd))
   _e = gen(S, index_of_new_ray(bd))
   g_list = string.(gens(S))