[ToricVarieties] Assert coordinate names from cox ring

experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl

@@ -1052,7 +1052,7 @@ julia> qsm_model = literature_model(arxiv_id = "1903.00009", model_parameters =
 Hypersurface model over a concrete base
 
 julia> zero_section_class(qsm_model)
-Cohomology class on a normal toric variety given by x32 + 2*x33 + 3*x34 + x35 - x36
+Cohomology class on a normal toric variety given by e2 + 2*u + 3*e4 + e1 - w
 ```
 """
 function zero_section_class(m::AbstractFTheoryModel)

src/AlgebraicGeometry/ToricVarieties/NormalToricVarieties/attributes.jl

@@ -210,7 +210,10 @@ julia> coordinate_names(antv)
 ```
 """
 @attr Vector{String} function coordinate_names(v::NormalToricVarietyType)
-    return ["x$(i)" for i in 1:torsion_free_rank(torusinvariant_weil_divisor_group(v))]
+  if has_attribute(v, :cox_ring)
+    return string.(gens(cox_ring(v)))
+  end
+  return ["x$(i)" for i in 1:torsion_free_rank(torusinvariant_weil_divisor_group(v))]
 end
 
 

test/Serialization/ToricGeometry.jl

@@ -8,16 +8,19 @@
       test_save_load_roundtrip(path, pp; with_attrs=false, check_func=!check) do loaded
         @test rays(pp) == rays(loaded)
         @test ray_indices(maximal_cones(pp)) == ray_indices(maximal_cones(loaded))
+        @test coordinate_names(pp) == coordinate_names(loaded)
       end
 
       test_save_load_roundtrip(path, pp; with_attrs=true, check_func=check) do loaded
         @test rays(pp) == rays(loaded)
         @test ray_indices(maximal_cones(pp)) == ray_indices(maximal_cones(loaded))
+        @test coordinate_names(pp) == coordinate_names(loaded)
       end
 
       test_save_load_roundtrip(path, pp; check_func=check) do loaded
         @test rays(pp) == rays(loaded)
         @test ray_indices(maximal_cones(pp)) == ray_indices(maximal_cones(loaded))
+        @test coordinate_names(pp) == coordinate_names(loaded)
       end
     end