From 0f159c61f68590d9efcaea5bdf8769b45c4f5c59 Mon Sep 17 00:00:00 2001
From: Martin Bies <MBies87@googlemail.com>
Date: Thu, 31 Aug 2023 14:33:45 +0200
Subject: [PATCH] [ToricVarieties] Rename dual_cone into weight_cone

---
 .../ToricVarieties/NormalToricVarieties.md             |  2 +-
 experimental/Schemes/IdealSheaves.jl                   |  2 +-
 .../ToricVarieties/NormalToricVarieties/attributes.jl  | 10 +++++-----
 src/deprecations.jl                                    |  2 ++
 src/exports.jl                                         |  2 +-
 test/AlgebraicGeometry/ToricVarieties/toric_schemes.jl |  2 +-
 6 files changed, 11 insertions(+), 9 deletions(-)

diff --git a/docs/src/AlgebraicGeometry/ToricVarieties/NormalToricVarieties.md b/docs/src/AlgebraicGeometry/ToricVarieties/NormalToricVarieties.md
index b30d24332e8a..024d81972ba0 100644
--- a/docs/src/AlgebraicGeometry/ToricVarieties/NormalToricVarieties.md
+++ b/docs/src/AlgebraicGeometry/ToricVarieties/NormalToricVarieties.md
@@ -152,7 +152,7 @@ picard_index(v::NormalToricVarietyType)
 ```@docs
 polyhedral_fan(v::NormalToricVarietyType)
 cone(v::AffineNormalToricVariety)
-dual_cone(v::AffineNormalToricVariety)
+weight_cone(v::AffineNormalToricVariety)
 hilbert_basis(v::AffineNormalToricVariety)
 mori_cone(v::NormalToricVariety)
 nef_cone(v::NormalToricVariety)
diff --git a/experimental/Schemes/IdealSheaves.jl b/experimental/Schemes/IdealSheaves.jl
index d8bd333349a5..f64c2b2094c9 100644
--- a/experimental/Schemes/IdealSheaves.jl
+++ b/experimental/Schemes/IdealSheaves.jl
@@ -1264,7 +1264,7 @@ function IdealSheaf(X::NormalToricVariety, I::MPolyIdeal)
 
     # Now we need to create the inverse of alpha*.
     imgs_alpha_star = elem_type(help_ring)[]
-    for m in hilbert_basis(dual_cone(U))
+    for m in hilbert_basis(weight_cone(U))
       img = one(help_ring)
       for j in 1:length(indices)
         u_rho = matrix(ZZ,rays(X))[indices[j],:]
diff --git a/src/AlgebraicGeometry/ToricVarieties/NormalToricVarieties/attributes.jl b/src/AlgebraicGeometry/ToricVarieties/NormalToricVarieties/attributes.jl
index 5140e5d6c5a9..c16788b02999 100644
--- a/src/AlgebraicGeometry/ToricVarieties/NormalToricVarieties/attributes.jl
+++ b/src/AlgebraicGeometry/ToricVarieties/NormalToricVarieties/attributes.jl
@@ -1072,7 +1072,7 @@ Polyhedral cone in ambient dimension 2
 
 
 @doc raw"""
-    dual_cone(v::AffineNormalToricVariety)
+    weight_cone(v::AffineNormalToricVariety)
 
 Return the dual cone of the affine normal toric variety `v`.
 
@@ -1084,14 +1084,14 @@ Polyhedral cone in ambient dimension 2
 julia> antv = affine_normal_toric_variety(C)
 Normal, affine toric variety
 
-julia> dual_cone(antv)
+julia> weight_cone(antv)
 Polyhedral cone in ambient dimension 2
 
-julia> polarize(cone(antv)) == dual_cone(antv)
+julia> polarize(cone(antv)) == weight_cone(antv)
 true
 ```
 """
-@attr Cone dual_cone(v::AffineNormalToricVariety) = polarize(cone(v))
+@attr Cone weight_cone(v::AffineNormalToricVariety) = polarize(cone(v))
 
 
 @doc raw"""
@@ -1114,7 +1114,7 @@ julia> hilbert_basis(antv)
 [ 0   1]
 ```
 """
-@attr ZZMatrix hilbert_basis(v::AffineNormalToricVariety) = matrix(ZZ, hilbert_basis(dual_cone(v)))
+@attr ZZMatrix hilbert_basis(v::AffineNormalToricVariety) = matrix(ZZ, hilbert_basis(weight_cone(v)))
 
 
 _variable_ray_correspondence(v::NormalToricVarietyType) = Dict{RayVector, MPolyRingElem}(zip(rays(v), gens(cox_ring(v))))
diff --git a/src/deprecations.jl b/src/deprecations.jl
index f0f8dc13f594..992456209b35 100644
--- a/src/deprecations.jl
+++ b/src/deprecations.jl
@@ -405,3 +405,5 @@ end
 @alias ishermitian_form is_hermitian_form
 @alias isquadratic_form is_quadratic_form
 @alias issymmetric_form is_symmetric_form
+
+@deprecate dual_cone(v::AffineNormalToricVariety) weight_cone(v)
diff --git a/src/exports.jl b/src/exports.jl
index 913e48be9d32..2014b994370a 100644
--- a/src/exports.jl
+++ b/src/exports.jl
@@ -469,7 +469,6 @@ export double_coset
 export double_cosets
 export double_dual
 export dst
-export dual_cone
 export dual_continued_fraction_hirzebruch_jung
 export dual_matroid
 export dual_subdivision
@@ -1432,6 +1431,7 @@ export wdeglex
 export wdegrevlex
 export weakly_connected_components
 export weight
+export weight_cone
 export weight_ordering
 export weighted_projective_space
 export weyl_algebra
diff --git a/test/AlgebraicGeometry/ToricVarieties/toric_schemes.jl b/test/AlgebraicGeometry/ToricVarieties/toric_schemes.jl
index be7c194452e9..c4599496c624 100644
--- a/test/AlgebraicGeometry/ToricVarieties/toric_schemes.jl
+++ b/test/AlgebraicGeometry/ToricVarieties/toric_schemes.jl
@@ -9,7 +9,7 @@ using Test
   @testset "A simplicial (and not smooth) affine toric scheme" begin
     @test is_smooth(underlying_scheme(antv)) == is_smooth(antv)
     @test dim(underlying_scheme(antv)) == dim(antv)
-    @test polarize(cone(antv)) == dual_cone(antv)
+    @test polarize(cone(antv)) == weight_cone(antv)
     @test ngens(ambient_coordinate_ring(antv)) == nrows(hilbert_basis(antv)) == 3
   end