diff --git a/experimental/FTheoryTools/docs/src/generalities.md b/experimental/FTheoryTools/docs/src/generalities.md index 579577a57a5f..4c691ae05fdc 100644 --- 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 index dd53e0f11dee..637a7a06a580 100644 --- 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 index e2375f9d996d..7b34729d3526 100644 --- 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