[FTheoryTools] Introduce function tuanble_sections

oscar-system · Feb 7, 2025 · c373ac7 · c373ac7
1 parent aa59a0a
commit c373ac7
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 0 deletions.
diff --git a/experimental/FTheoryTools/docs/src/generalities.md b/experimental/FTheoryTools/docs/src/generalities.md
@@ -55,6 +55,7 @@ ambient_space(m::AbstractFTheoryModel)
 base_space(m::AbstractFTheoryModel)
 fiber_ambient_space(m::AbstractFTheoryModel)
 explicit_model_sections(m::AbstractFTheoryModel)
+tunable_sections(m::AbstractFTheoryModel)
 defining_section_parametrization(m::AbstractFTheoryModel)
 classes_of_model_sections(m::AbstractFTheoryModel)
 defining_classes(m::AbstractFTheoryModel)

diff --git a/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl b/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl
@@ -1315,6 +1315,26 @@ julia> h = euler_characteristic(qsm_model; check = false)
 end
 
 
+@doc raw"""
+    tunable_sections(m::AbstractFTheoryModel)
+
+Return a vector containing all sections that can be tuned.
+
+```jldoctest
+julia> m = literature_model(arxiv_id = "1109.3454", equation = "3.1")
+Assuming that the first row of the given grading is the grading under Kbar
+
+Global Tate model over a not fully specified base -- SU(5)xU(1) restricted Tate model based on arXiv paper 1109.3454 Eq. (3.1)
+
+julia> length(tunable_sections(m))
+9
+```
+"""
+@attr Vector{String} tunable_sections(m::AbstractFTheoryModel) = collect(keys(explicit_model_sections(m)))
+
+
+
+
 
 ##########################################
 ### (4) Attributes specially for the QSMs

diff --git a/experimental/FTheoryTools/src/exports.jl b/experimental/FTheoryTools/src/exports.jl
@@ -217,6 +217,7 @@ export tate_section_a6
 export topological_intersection_numbers_among_ci_curves
 export topological_intersection_numbers_among_nontrivial_ci_curves
 export torsion_sections
+export tunable_sections
 export tune
 export verify_euler_characteristic_from_hodge_numbers
 export weierstrass_ideal_sheaf