From 6f8fd462511bbadfd85f3ba91e814d35c152182f Mon Sep 17 00:00:00 2001 From: emikelsons Date: Wed, 3 Jul 2024 18:19:50 +0200 Subject: [PATCH 01/10] Small QOL changes Expanded display_all_literature_models() so that now it's possible to filter for models with desired properties(gauge algebra etc.). Made new file model_indices.json that keeps track of a model's index. Running _create_literature_model_index() updates this file --- .../Models/model1903.00009.json | 2 +- .../src/LiteratureModels/constructors.jl | 48 ++++++++++++++++++- .../src/LiteratureModels/create_index.jl | 18 +++++-- .../src/LiteratureModels/index.json | 2 +- .../src/LiteratureModels/model_indices.json | 47 ++++++++++++++++++ 5 files changed, 109 insertions(+), 8 deletions(-) create mode 100644 experimental/FTheoryTools/src/LiteratureModels/model_indices.json diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1903.00009.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1903.00009.json index 3441cff42da1..f98d5c9c337b 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1903.00009.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1903.00009.json @@ -1,5 +1,5 @@ { - "model_index": "13", + "model_index": "45", "arxiv_data": { "id": "1903.00009", "doi": "10.48550/arXiv.1903.00009", diff --git a/experimental/FTheoryTools/src/LiteratureModels/constructors.jl b/experimental/FTheoryTools/src/LiteratureModels/constructors.jl index 7c01443900ac..b2f56c74d203 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/constructors.jl +++ b/experimental/FTheoryTools/src/LiteratureModels/constructors.jl @@ -606,8 +606,54 @@ end # 6. Function to display all known literature models ####################################################### -function display_all_literature_models() +@doc raw""" + display_all_literature_models(model_fields::Dict{String,<:Any} = Dict{String,Any}()) + +Displays all literature models that satisfy the model_fields criteria. The fields currently supported are those occuring in index.json. + +```jldoctest +julia> display_all_literature_models(Dict("gauge_algebra" => ["u(1)", "su(2)", "su(3)"])) +Model 33: +Dict{String, Any}("journal_section" => "3", "arxiv_page" => "67", "arxiv_id" => "1408.4808", "gauge_algebra" => Any["su(3)", "su(2)", "u(1)"], "arxiv_version" => "2", "journal_equation" => "3.141", "journal_page" => "67", "arxiv_equation" => "3.142", "journal_doi" => "10.1007/JHEP01(2015)142", "arxiv_section" => "3", "journal" => "JHEP", "file" => "model1408_4808-11-WSF.json", "arxiv_doi" => "10.48550/arXiv.1408.4808", "model_index" => "33", "type" => "weierstrass") + +Model 34: +Dict{String, Any}("journal_section" => "3", "arxiv_page" => "67", "arxiv_id" => "1408.4808", "gauge_algebra" => Any["su(3)", "su(2)", "u(1)"], "arxiv_version" => "2", "journal_equation" => "3.141", "journal_page" => "67", "arxiv_equation" => "3.142", "journal_doi" => "10.1007/JHEP01(2015)142", "arxiv_section" => "3", "journal" => "JHEP", "file" => "model1408_4808-11.json", "arxiv_doi" => "10.48550/arXiv.1408.4808", "model_index" => "34", "type" => "hypersurface") + +Model 39: +Dict{String, Any}("journal_section" => "3", "arxiv_page" => "75", "arxiv_id" => "1408.4808", "gauge_algebra" => Any["su(3)", "su(2)", "su(2)", "u(1)"], "arxiv_version" => "2", "journal_equation" => "3.167", "journal_page" => "75", "arxiv_equation" => "3.168", "journal_doi" => "10.1007/JHEP01(2015)142", "arxiv_section" => "3", "journal" => "JHEP", "file" => "model1408_4808-14-WSF.json", "arxiv_doi" => "10.48550/arXiv.1408.4808", "model_index" => "39", "type" => "weierstrass") + +Model 40: +Dict{String, Any}("journal_section" => "3", "arxiv_page" => "75", "arxiv_id" => "1408.4808", "gauge_algebra" => Any["su(3)", "su(2)", "su(2)", "u(1)"], "arxiv_version" => "2", "journal_equation" => "3.167", "journal_page" => "75", "arxiv_equation" => "3.168", "journal_doi" => "10.1007/JHEP01(2015)142", "arxiv_section" => "3", "journal" => "JHEP", "file" => "model1408_4808-14.json", "arxiv_doi" => "10.48550/arXiv.1408.4808", "model_index" => "40", "type" => "hypersurface") + +Model 45: +Dict{String, Any}("journal_section" => "", "arxiv_page" => "2", "arxiv_id" => "1903.00009", "gauge_algebra" => Any["su(3)", "su(2)", "u(1)"], "arxiv_version" => "3", "journal_equation" => "2", "journal_page" => "2", "arxiv_equation" => "2", "journal_doi" => "10.1103/PhysRevLett.123.101601", "arxiv_section" => "II", "journal" => "Physical Review Letters", "file" => "model1903.00009.json", "arxiv_doi" => "10.48550/arXiv.1903.00009", "model_index" => "45", "type" => "hypersurface") + +julia> display_all_literature_models(Dict("gauge_algebra" => "e")) +Model 8: +Dict{String, Any}("journal_section" => "", "arxiv_page" => "49", "arxiv_id" => "1212.2949", "gauge_algebra" => Any["e(6)"], "arxiv_version" => "2", "journal_equation" => "", "journal_page" => "", "arxiv_equation" => "5.1", "journal_doi" => "10.1007/JHEP04(2013)061", "arxiv_section" => "5.1", "journal" => "JHEP", "file" => "model1212_2949-5.json", "arxiv_doi" => "10.48550/arXiv.1212.2949", "model_index" => "8", "type" => "tate") + +Model 9: +Dict{String, Any}("journal_section" => "", "arxiv_page" => "49", "arxiv_id" => "1212.2949", "gauge_algebra" => Any["e(7)"], "arxiv_version" => "2", "journal_equation" => "", "journal_page" => "", "arxiv_equation" => "5.7", "journal_doi" => "10.1007/JHEP04(2013)061", "arxiv_section" => "5.1", "journal" => "JHEP", "file" => "model1212_2949-6.json", "arxiv_doi" => "10.48550/arXiv.1212.2949", "model_index" => "9", "type" => "tate") + +Model 10: +Dict{String, Any}("journal_section" => "", "arxiv_page" => "49", "arxiv_id" => "1212.2949", "gauge_algebra" => Any["e(8)"], "arxiv_version" => "2", "journal_equation" => "", "journal_page" => "", "arxiv_equation" => "5.13", "journal_doi" => "10.1007/JHEP04(2013)061", "arxiv_section" => "5.1", "journal" => "JHEP", "file" => "model1212_2949-7.json", "arxiv_doi" => "10.48550/arXiv.1212.2949", "model_index" => "10", "type" => "tate") +``` +""" +function display_all_literature_models(model_fields::Dict{String,<:Any} = Dict{String,Any}()) file_index = JSON.parsefile(joinpath(@__DIR__, "index.json")) + @req issubset(keys(model_fields), keys(file_index[1])) "The inputted criteria aren't supported" + for field in keys(model_fields) + if field == "gauge_algebra" + for s in model_fields["gauge_algebra"] + filter!(x -> occursin(s, join(x["gauge_algebra"])), file_index) + end + else + filter!(x -> x[field] == model_fields[field], file_index) + end + end + if length(file_index) == 0 + println("No such models found in database") + end sorted_dicts = sort(file_index, by = x -> parse(Int, x["model_index"])) for dict in sorted_dicts print("Model $(dict["model_index"]):\n") diff --git a/experimental/FTheoryTools/src/LiteratureModels/create_index.jl b/experimental/FTheoryTools/src/LiteratureModels/create_index.jl index 1f10b9727c4d..c778d8b54995 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/create_index.jl +++ b/experimental/FTheoryTools/src/LiteratureModels/create_index.jl @@ -26,10 +26,16 @@ function _create_literature_model_index() filter!(s -> startswith(s, "model"), models) index = Vector{Dict{String,Union{String,Vector{Any}}}}() + model_indices = JSON.parsefile(joinpath(@__DIR__, "model_indices.json")) for model in models model_data = JSON.parsefile(model_directory * model) - - model_index_dict = Dict("model_index" => get(model_data, "model_index", "")) + model_index = get(model_indices, model, "") + if model_index == "" + model_index = string.(length(model_indices) + 1) + model_indices[model] = model_index + end + + model_index_dict = Dict("model_index" => model_index) arxiv_data = get(model_data, "arxiv_data", false) if arxiv_data != false @@ -65,12 +71,11 @@ function _create_literature_model_index() model_descriptor_data = get(model_data, "model_descriptors", false) if model_descriptor_data != false - model_descriptor_data_dict = Dict("type" => get(model_descriptor_data, "type", [""])) + model_descriptor_data_dict = Dict("type" => get(model_descriptor_data, "type", [""]), "gauge_algebra" => get(model_descriptor_data, "gauge_algebra", [""])) else model_descriptor_data_dict = Dict{String,Union{String,Vector{Any}}}() end - - + index_entry = merge(model_index_dict, arxiv_dict, journal_dict, meta_data_dict, model_descriptor_data_dict) index_entry["file"] = model if !isempty(index_entry) @@ -81,4 +86,7 @@ function _create_literature_model_index() open(joinpath(@__DIR__,"index.json"), "w") do file JSON.print(file, index) end + open(joinpath(@__DIR__,"model_indices.json"), "w") do file + JSON.print(file, sort(model_indices), 2) + end end diff --git a/experimental/FTheoryTools/src/LiteratureModels/index.json b/experimental/FTheoryTools/src/LiteratureModels/index.json index 34b16fdc8c14..a49e270f90c4 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/index.json +++ b/experimental/FTheoryTools/src/LiteratureModels/index.json @@ -1 +1 @@ -[{"journal_section":"3","arxiv_page":"10","journal_page":"9","arxiv_id":"1109.3454","arxiv_equation":"3.1","arxiv_version":"2","journal_doi":"10.1016/j.nuclphysb.2011.12.013","journal_equation":"3.1","arxiv_section":"3","journal":"Nucl. Phys. B","file":"model1109_3454.json","arxiv_doi":"10.48550/arXiv.1109.3454","model_index":"1","type":"tate"},{"journal_section":"B","arxiv_page":"32","journal_page":"33","arxiv_id":"1208.2695","arxiv_equation":"B.5","arxiv_version":"2","journal_doi":"10.1007/JHEP10(2012)128","journal_equation":"B.5","arxiv_section":"B","journal":"JHEP","file":"model1208_2695-1.json","arxiv_doi":"10.48550/arXiv.1208.2695","model_index":"2","type":"hypersurface"},{"journal_section":"B","arxiv_page":"34","journal_page":"34","arxiv_id":"1208.2695","arxiv_equation":"B.19","arxiv_version":"2","journal_doi":"10.1007/JHEP10(2012)128","journal_equation":"B.19","arxiv_section":"B","journal":"JHEP","file":"model1208_2695-2.json","arxiv_doi":"10.48550/arXiv.1208.2695","model_index":"3","type":"weierstrass"},{"journal_section":"","arxiv_page":"19","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"3.2","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"3.1","journal":"JHEP","file":"model1212_2949-1.json","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"4","type":"tate"},{"journal_section":"","arxiv_page":"31","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"3.42","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"3.2","journal":"JHEP","file":"model1212_2949-2.json","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"5","type":"tate"},{"journal_section":"","arxiv_page":"37","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"4.1","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"4.1","journal":"JHEP","file":"model1212_2949-3.json","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"6","type":"tate"},{"journal_section":"","arxiv_page":"44","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"4.23","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"4.2","journal":"JHEP","file":"model1212_2949-4.json","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"7","type":"tate"},{"journal_section":"","arxiv_page":"49","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"5.1","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"5.1","journal":"JHEP","file":"model1212_2949-5.json","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"8","type":"tate"},{"journal_section":"","arxiv_page":"49","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"5.7","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"5.1","journal":"JHEP","file":"model1212_2949-6.json","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"9","type":"tate"},{"journal_section":"","arxiv_page":"49","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"5.13","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"5.1","journal":"JHEP","file":"model1212_2949-7.json","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"10","type":"tate"},{"journal_section":"3","arxiv_page":"18","journal_page":"19","arxiv_id":"1408.4808","arxiv_equation":"3.4","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.4","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-1-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"13","type":"weierstrass"},{"journal_section":"3","arxiv_page":"18","journal_page":"19","arxiv_id":"1408.4808","arxiv_equation":"3.4","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.4","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-1.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"14","type":"hypersurface"},{"journal_section":"3","arxiv_page":"62","journal_page":"62","arxiv_id":"1408.4808","arxiv_equation":"3.130","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.129","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-10-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"31","type":"weierstrass"},{"journal_section":"3","arxiv_page":"62","journal_page":"62","arxiv_id":"1408.4808","arxiv_equation":"3.130","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.129","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-10.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"32","type":"hypersurface"},{"journal_section":"3","arxiv_page":"67","journal_page":"67","arxiv_id":"1408.4808","arxiv_equation":"3.142","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.141","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-11-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"33","type":"weierstrass"},{"journal_section":"3","arxiv_page":"67","journal_page":"67","arxiv_id":"1408.4808","arxiv_equation":"3.142","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.141","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-11.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"34","type":"hypersurface"},{"journal_section":"3","arxiv_page":"70","journal_page":"70","arxiv_id":"1408.4808","arxiv_equation":"3.155","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.154","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-12-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"35","type":"weierstrass"},{"journal_section":"3","arxiv_page":"70","journal_page":"70","arxiv_id":"1408.4808","arxiv_equation":"3.155","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.154","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-12.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"36","type":"hypersurface"},{"journal_section":"3","arxiv_page":"79","journal_page":"79","arxiv_id":"1408.4808","arxiv_equation":"3.181","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.180","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-13-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"37","type":"weierstrass"},{"journal_section":"3","arxiv_page":"79","journal_page":"79","arxiv_id":"1408.4808","arxiv_equation":"3.181","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.180","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-13.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"38","type":"hypersurface"},{"journal_section":"3","arxiv_page":"75","journal_page":"75","arxiv_id":"1408.4808","arxiv_equation":"3.168","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.167","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-14-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"39","type":"weierstrass"},{"journal_section":"3","arxiv_page":"75","journal_page":"75","arxiv_id":"1408.4808","arxiv_equation":"3.168","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.167","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-14.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"40","type":"hypersurface"},{"journal_section":"3","arxiv_page":"83","journal_page":"83","arxiv_id":"1408.4808","arxiv_equation":"3.190","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.189","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-15-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"41","type":"weierstrass"},{"journal_section":"3","arxiv_page":"83","journal_page":"83","arxiv_id":"1408.4808","arxiv_equation":"3.190","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.189","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-15.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"42","type":"hypersurface"},{"journal_section":"3","arxiv_page":"87","journal_page":"88","arxiv_id":"1408.4808","arxiv_equation":"3.203","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.202","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-16-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"43","type":"weierstrass"},{"journal_section":"3","arxiv_page":"87","journal_page":"88","arxiv_id":"1408.4808","arxiv_equation":"3.203","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.202","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-16.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"44","type":"hypersurface"},{"journal_section":"3","arxiv_page":"20","journal_page":"20","arxiv_id":"1408.4808","arxiv_equation":"3.12","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.12","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-2-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"15","type":"weierstrass"},{"journal_section":"3","arxiv_page":"20","journal_page":"20","arxiv_id":"1408.4808","arxiv_equation":"3.12","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.12","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-2.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"16","type":"hypersurface"},{"journal_section":"3","arxiv_page":"36","journal_page":"36","arxiv_id":"1408.4808","arxiv_equation":"3.54","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.53","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-3-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"17","type":"weierstrass"},{"journal_section":"3","arxiv_page":"36","journal_page":"36","arxiv_id":"1408.4808","arxiv_equation":"3.54","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.53","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-3.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"18","type":"hypersurface"},{"journal_section":"3","arxiv_page":"22","journal_page":"22","arxiv_id":"1408.4808","arxiv_equation":"3.17","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.17","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-4-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"19","type":"weierstrass"},{"journal_section":"3","arxiv_page":"22","journal_page":"22","arxiv_id":"1408.4808","arxiv_equation":"3.17","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.17","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-4.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"20","type":"hypersurface"},{"journal_section":"3","arxiv_page":"43","journal_page":"43","arxiv_id":"1408.4808","arxiv_equation":"3.73","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.72","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-5-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"21","type":"weierstrass"},{"journal_section":"3","arxiv_page":"43","journal_page":"43","arxiv_id":"1408.4808","arxiv_equation":"3.73","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.72","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-5.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"22","type":"hypersurface"},{"journal_section":"3","arxiv_page":"46","journal_page":"46","arxiv_id":"1408.4808","arxiv_equation":"3.82","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.81","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-6-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"23","type":"weierstrass"},{"journal_section":"3","arxiv_page":"46","journal_page":"46","arxiv_id":"1408.4808","arxiv_equation":"3.82","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.81","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-6.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"24","type":"hypersurface"},{"journal_section":"3","arxiv_page":"50","journal_page":"51","arxiv_id":"1408.4808","arxiv_equation":"3.96","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.95","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-7-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"25","type":"weierstrass"},{"journal_section":"3","arxiv_page":"50","journal_page":"51","arxiv_id":"1408.4808","arxiv_equation":"3.96","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.95","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-7.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"26","type":"hypersurface"},{"journal_section":"3","arxiv_page":"54","journal_page":"55","arxiv_id":"1408.4808","arxiv_equation":"3.106","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.105","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-8-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"27","type":"weierstrass"},{"journal_section":"3","arxiv_page":"54","journal_page":"55","arxiv_id":"1408.4808","arxiv_equation":"3.106","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.105","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-8.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"28","type":"hypersurface"},{"journal_section":"3","arxiv_page":"58","journal_page":"59","arxiv_id":"1408.4808","arxiv_equation":"3.118","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.117","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-9-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"29","type":"weierstrass"},{"journal_section":"3","arxiv_page":"58","journal_page":"59","arxiv_id":"1408.4808","arxiv_equation":"3.118","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.117","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-9.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"30","type":"hypersurface"},{"journal_section":"","arxiv_page":"17","journal_page":"","arxiv_id":"1507.05954","arxiv_equation":"3.4","arxiv_version":"2","journal_doi":"10.1007/JHEP11(2015)204","journal_equation":"","arxiv_section":"3","journal":"JHEP","file":"model1507_05954-1.json","arxiv_doi":"10.48550/arXiv.1507.05954","model_index":"11","type":"hypersurface"},{"journal_section":"","arxiv_page":"71","journal_page":"","arxiv_id":"1507.05954","arxiv_equation":"A.1","arxiv_version":"2","journal_doi":"10.1007/JHEP11(2015)204","journal_equation":"","arxiv_section":"A","journal":"JHEP","file":"model1507_05954-2.json","arxiv_doi":"10.48550/arXiv.1507.05954","model_index":"12","type":"weierstrass"},{"journal_section":"","arxiv_page":"2","journal_page":"2","arxiv_id":"1903.00009","arxiv_equation":"2","arxiv_version":"3","journal_doi":"10.1103/PhysRevLett.123.101601","journal_equation":"2","arxiv_section":"II","journal":"Physical Review Letters","file":"model1903.00009.json","arxiv_doi":"10.48550/arXiv.1903.00009","model_index":"13","type":"hypersurface"}] +[{"journal_section":"3","arxiv_page":"10","journal_page":"9","arxiv_id":"1109.3454","arxiv_equation":"3.1","gauge_algebra":["su(5)","u(1)"],"arxiv_version":"2","journal_doi":"10.1016/j.nuclphysb.2011.12.013","journal_equation":"3.1","arxiv_section":"3","journal":"Nucl. Phys. B","file":"model1109_3454.json","arxiv_doi":"10.48550/arXiv.1109.3454","model_index":"1","type":"tate"},{"journal_section":"B","arxiv_page":"32","journal_page":"33","arxiv_id":"1208.2695","arxiv_equation":"B.5","gauge_algebra":["u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP10(2012)128","journal_equation":"B.5","arxiv_section":"B","journal":"JHEP","file":"model1208_2695-1.json","arxiv_doi":"10.48550/arXiv.1208.2695","model_index":"2","type":"hypersurface"},{"journal_section":"B","arxiv_page":"34","journal_page":"34","arxiv_id":"1208.2695","arxiv_equation":"B.19","gauge_algebra":["u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP10(2012)128","journal_equation":"B.19","arxiv_section":"B","journal":"JHEP","file":"model1208_2695-2.json","arxiv_doi":"10.48550/arXiv.1208.2695","model_index":"3","type":"weierstrass"},{"journal_section":"","arxiv_page":"19","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"3.2","gauge_algebra":["su(2*k+1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"3.1","journal":"JHEP","file":"model1212_2949-1.json","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"4","type":"tate"},{"journal_section":"","arxiv_page":"31","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"3.42","gauge_algebra":["su(2*k)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"3.2","journal":"JHEP","file":"model1212_2949-2.json","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"5","type":"tate"},{"journal_section":"","arxiv_page":"37","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"4.1","gauge_algebra":["so(4*k+2)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"4.1","journal":"JHEP","file":"model1212_2949-3.json","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"6","type":"tate"},{"journal_section":"","arxiv_page":"44","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"4.23","gauge_algebra":["so(4*k+4)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"4.2","journal":"JHEP","file":"model1212_2949-4.json","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"7","type":"tate"},{"journal_section":"","arxiv_page":"49","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"5.1","gauge_algebra":["e(6)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"5.1","journal":"JHEP","file":"model1212_2949-5.json","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"8","type":"tate"},{"journal_section":"","arxiv_page":"49","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"5.7","gauge_algebra":["e(7)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"5.1","journal":"JHEP","file":"model1212_2949-6.json","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"9","type":"tate"},{"journal_section":"","arxiv_page":"49","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"5.13","gauge_algebra":["e(8)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"5.1","journal":"JHEP","file":"model1212_2949-7.json","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"10","type":"tate"},{"journal_section":"3","arxiv_page":"18","journal_page":"19","arxiv_id":"1408.4808","arxiv_equation":"3.4","gauge_algebra":["0"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.4","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-1-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"13","type":"weierstrass"},{"journal_section":"3","arxiv_page":"18","journal_page":"19","arxiv_id":"1408.4808","arxiv_equation":"3.4","gauge_algebra":["0"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.4","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-1.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"14","type":"hypersurface"},{"journal_section":"3","arxiv_page":"62","journal_page":"62","arxiv_id":"1408.4808","arxiv_equation":"3.130","gauge_algebra":["su(2)","su(3)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.129","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-10-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"31","type":"weierstrass"},{"journal_section":"3","arxiv_page":"62","journal_page":"62","arxiv_id":"1408.4808","arxiv_equation":"3.130","gauge_algebra":["su(2)","su(3)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.129","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-10.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"32","type":"hypersurface"},{"journal_section":"3","arxiv_page":"67","journal_page":"67","arxiv_id":"1408.4808","arxiv_equation":"3.142","gauge_algebra":["su(3)","su(2)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.141","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-11-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"33","type":"weierstrass"},{"journal_section":"3","arxiv_page":"67","journal_page":"67","arxiv_id":"1408.4808","arxiv_equation":"3.142","gauge_algebra":["su(3)","su(2)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.141","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-11.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"34","type":"hypersurface"},{"journal_section":"3","arxiv_page":"70","journal_page":"70","arxiv_id":"1408.4808","arxiv_equation":"3.155","gauge_algebra":["su(2)","su(2)","u(1)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.154","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-12-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"35","type":"weierstrass"},{"journal_section":"3","arxiv_page":"70","journal_page":"70","arxiv_id":"1408.4808","arxiv_equation":"3.155","gauge_algebra":["su(2)","su(2)","u(1)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.154","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-12.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"36","type":"hypersurface"},{"journal_section":"3","arxiv_page":"79","journal_page":"79","arxiv_id":"1408.4808","arxiv_equation":"3.181","gauge_algebra":["su(2)","su(2)","su(4)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.180","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-13-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"37","type":"weierstrass"},{"journal_section":"3","arxiv_page":"79","journal_page":"79","arxiv_id":"1408.4808","arxiv_equation":"3.181","gauge_algebra":["su(2)","su(2)","su(4)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.180","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-13.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"38","type":"hypersurface"},{"journal_section":"3","arxiv_page":"75","journal_page":"75","arxiv_id":"1408.4808","arxiv_equation":"3.168","gauge_algebra":["su(3)","su(2)","su(2)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.167","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-14-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"39","type":"weierstrass"},{"journal_section":"3","arxiv_page":"75","journal_page":"75","arxiv_id":"1408.4808","arxiv_equation":"3.168","gauge_algebra":["su(3)","su(2)","su(2)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.167","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-14.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"40","type":"hypersurface"},{"journal_section":"3","arxiv_page":"83","journal_page":"83","arxiv_id":"1408.4808","arxiv_equation":"3.190","gauge_algebra":["su(2)","su(2)","su(2)","su(2)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.189","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-15-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"41","type":"weierstrass"},{"journal_section":"3","arxiv_page":"83","journal_page":"83","arxiv_id":"1408.4808","arxiv_equation":"3.190","gauge_algebra":["su(2)","su(2)","su(2)","su(2)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.189","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-15.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"42","type":"hypersurface"},{"journal_section":"3","arxiv_page":"87","journal_page":"88","arxiv_id":"1408.4808","arxiv_equation":"3.203","gauge_algebra":["su(3)","su(3)","su(3)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.202","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-16-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"43","type":"weierstrass"},{"journal_section":"3","arxiv_page":"87","journal_page":"88","arxiv_id":"1408.4808","arxiv_equation":"3.203","gauge_algebra":["su(3)","su(3)","su(3)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.202","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-16.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"44","type":"hypersurface"},{"journal_section":"3","arxiv_page":"20","journal_page":"20","arxiv_id":"1408.4808","arxiv_equation":"3.12","gauge_algebra":["u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.12","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-2-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"15","type":"weierstrass"},{"journal_section":"3","arxiv_page":"20","journal_page":"20","arxiv_id":"1408.4808","arxiv_equation":"3.12","gauge_algebra":["u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.12","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-2.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"16","type":"hypersurface"},{"journal_section":"3","arxiv_page":"36","journal_page":"36","arxiv_id":"1408.4808","arxiv_equation":"3.54","gauge_algebra":["u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.53","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-3-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"17","type":"weierstrass"},{"journal_section":"3","arxiv_page":"36","journal_page":"36","arxiv_id":"1408.4808","arxiv_equation":"3.54","gauge_algebra":["u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.53","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-3.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"18","type":"hypersurface"},{"journal_section":"3","arxiv_page":"22","journal_page":"22","arxiv_id":"1408.4808","arxiv_equation":"3.17","gauge_algebra":["su(2)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.17","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-4-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"19","type":"weierstrass"},{"journal_section":"3","arxiv_page":"22","journal_page":"22","arxiv_id":"1408.4808","arxiv_equation":"3.17","gauge_algebra":["su(2)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.17","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-4.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"20","type":"hypersurface"},{"journal_section":"3","arxiv_page":"43","journal_page":"43","arxiv_id":"1408.4808","arxiv_equation":"3.73","gauge_algebra":["u(1)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.72","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-5-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"21","type":"weierstrass"},{"journal_section":"3","arxiv_page":"43","journal_page":"43","arxiv_id":"1408.4808","arxiv_equation":"3.73","gauge_algebra":["u(1)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.72","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-5.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"22","type":"hypersurface"},{"journal_section":"3","arxiv_page":"46","journal_page":"46","arxiv_id":"1408.4808","arxiv_equation":"3.82","gauge_algebra":["su(2)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.81","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-6-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"23","type":"weierstrass"},{"journal_section":"3","arxiv_page":"46","journal_page":"46","arxiv_id":"1408.4808","arxiv_equation":"3.82","gauge_algebra":["su(2)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.81","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-6.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"24","type":"hypersurface"},{"journal_section":"3","arxiv_page":"50","journal_page":"51","arxiv_id":"1408.4808","arxiv_equation":"3.96","gauge_algebra":["u(1)","u(1)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.95","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-7-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"25","type":"weierstrass"},{"journal_section":"3","arxiv_page":"50","journal_page":"51","arxiv_id":"1408.4808","arxiv_equation":"3.96","gauge_algebra":["u(1)","u(1)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.95","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-7.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"26","type":"hypersurface"},{"journal_section":"3","arxiv_page":"54","journal_page":"55","arxiv_id":"1408.4808","arxiv_equation":"3.106","gauge_algebra":["su(2)","su(2)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.105","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-8-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"27","type":"weierstrass"},{"journal_section":"3","arxiv_page":"54","journal_page":"55","arxiv_id":"1408.4808","arxiv_equation":"3.106","gauge_algebra":["su(2)","su(2)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.105","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-8.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"28","type":"hypersurface"},{"journal_section":"3","arxiv_page":"58","journal_page":"59","arxiv_id":"1408.4808","arxiv_equation":"3.118","gauge_algebra":["su(2)","u(1)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.117","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-9-WSF.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"29","type":"weierstrass"},{"journal_section":"3","arxiv_page":"58","journal_page":"59","arxiv_id":"1408.4808","arxiv_equation":"3.118","gauge_algebra":["su(2)","u(1)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.117","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-9.json","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"30","type":"hypersurface"},{"journal_section":"","arxiv_page":"17","journal_page":"","arxiv_id":"1507.05954","arxiv_equation":"3.4","gauge_algebra":["u(1)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP11(2015)204","journal_equation":"","arxiv_section":"3","journal":"JHEP","file":"model1507_05954-1.json","arxiv_doi":"10.48550/arXiv.1507.05954","model_index":"11","type":"hypersurface"},{"journal_section":"","arxiv_page":"71","journal_page":"","arxiv_id":"1507.05954","arxiv_equation":"A.1","gauge_algebra":["u(1)","u(1)"],"arxiv_version":"2","journal_doi":"10.1007/JHEP11(2015)204","journal_equation":"","arxiv_section":"A","journal":"JHEP","file":"model1507_05954-2.json","arxiv_doi":"10.48550/arXiv.1507.05954","model_index":"12","type":"weierstrass"},{"journal_section":"","arxiv_page":"2","journal_page":"2","arxiv_id":"1903.00009","arxiv_equation":"2","gauge_algebra":["su(3)","su(2)","u(1)"],"arxiv_version":"3","journal_doi":"10.1103/PhysRevLett.123.101601","journal_equation":"2","arxiv_section":"II","journal":"Physical Review Letters","file":"model1903.00009.json","arxiv_doi":"10.48550/arXiv.1903.00009","model_index":"45","type":"hypersurface"}] \ No newline at end of file diff --git a/experimental/FTheoryTools/src/LiteratureModels/model_indices.json b/experimental/FTheoryTools/src/LiteratureModels/model_indices.json new file mode 100644 index 000000000000..13af43ba04b4 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/model_indices.json @@ -0,0 +1,47 @@ +{ + "model1109_3454.json": "1", + "model1208_2695-1.json": "2", + "model1208_2695-2.json": "3", + "model1212_2949-1.json": "4", + "model1212_2949-2.json": "5", + "model1212_2949-3.json": "6", + "model1212_2949-4.json": "7", + "model1212_2949-5.json": "8", + "model1212_2949-6.json": "9", + "model1212_2949-7.json": "10", + "model1408_4808-1-WSF.json": "13", + "model1408_4808-1.json": "14", + "model1408_4808-10-WSF.json": "31", + "model1408_4808-10.json": "32", + "model1408_4808-11-WSF.json": "33", + "model1408_4808-11.json": "34", + "model1408_4808-12-WSF.json": "35", + "model1408_4808-12.json": "36", + "model1408_4808-13-WSF.json": "37", + "model1408_4808-13.json": "38", + "model1408_4808-14-WSF.json": "39", + "model1408_4808-14.json": "40", + "model1408_4808-15-WSF.json": "41", + "model1408_4808-15.json": "42", + "model1408_4808-16-WSF.json": "43", + "model1408_4808-16.json": "44", + "model1408_4808-2-WSF.json": "15", + "model1408_4808-2.json": "16", + "model1408_4808-3-WSF.json": "17", + "model1408_4808-3.json": "18", + "model1408_4808-4-WSF.json": "19", + "model1408_4808-4.json": "20", + "model1408_4808-5-WSF.json": "21", + "model1408_4808-5.json": "22", + "model1408_4808-6-WSF.json": "23", + "model1408_4808-6.json": "24", + "model1408_4808-7-WSF.json": "25", + "model1408_4808-7.json": "26", + "model1408_4808-8-WSF.json": "27", + "model1408_4808-8.json": "28", + "model1408_4808-9-WSF.json": "29", + "model1408_4808-9.json": "30", + "model1507_05954-1.json": "11", + "model1507_05954-2.json": "12", + "model1903.00009.json": "45" +} From 7867337bf353cdd2f725706a290c1ca4fee6b2d7 Mon Sep 17 00:00:00 2001 From: emikelsons Date: Tue, 16 Jul 2024 11:06:05 +0200 Subject: [PATCH 02/10] Small QOL changes 2 Made some additional changes that should round out the previous PR --- .../FTheoryTools/docs/src/introduction.md | 25 ++++++---- .../FTheoryTools/docs/src/literature.md | 4 +- .../src/AbstractFTheoryModels/attributes.jl | 49 +++++++++++++------ .../src/AbstractFTheoryModels/methods.jl | 12 ++--- .../src/AbstractFTheoryModels/properties.jl | 2 +- .../src/HypersurfaceModels/attributes.jl | 27 +++++++++- .../Models/model1208_2695-1.json | 2 +- .../Models/model1208_2695-2.json | 2 +- .../Models/model1212_2949-1.json | 2 +- .../Models/model1212_2949-2.json | 2 +- .../Models/model1212_2949-3.json | 2 +- .../Models/model1212_2949-4.json | 2 +- .../Models/model1212_2949-5.json | 2 +- .../Models/model1212_2949-6.json | 2 +- .../Models/model1212_2949-7.json | 2 +- .../Models/model1408_4808-1-WSF.json | 2 +- .../Models/model1408_4808-1.json | 2 +- .../Models/model1408_4808-10-WSF.json | 2 +- .../Models/model1408_4808-10.json | 2 +- .../Models/model1408_4808-11-WSF.json | 2 +- .../Models/model1408_4808-11.json | 2 +- .../Models/model1408_4808-12-WSF.json | 2 +- .../Models/model1408_4808-12.json | 2 +- .../Models/model1408_4808-13-WSF.json | 2 +- .../Models/model1408_4808-13.json | 2 +- .../Models/model1408_4808-14-WSF.json | 2 +- .../Models/model1408_4808-14.json | 2 +- .../Models/model1408_4808-15-WSF.json | 2 +- .../Models/model1408_4808-15.json | 2 +- .../Models/model1408_4808-16-WSF.json | 2 +- .../Models/model1408_4808-16.json | 2 +- .../Models/model1408_4808-2-WSF.json | 2 +- .../Models/model1408_4808-2.json | 2 +- .../Models/model1408_4808-3-WSF.json | 2 +- .../Models/model1408_4808-3.json | 2 +- .../Models/model1408_4808-4-WSF.json | 2 +- .../Models/model1408_4808-4.json | 2 +- .../Models/model1408_4808-5-WSF.json | 2 +- .../Models/model1408_4808-5.json | 2 +- .../Models/model1408_4808-6-WSF.json | 2 +- .../Models/model1408_4808-6.json | 2 +- .../Models/model1408_4808-7-WSF.json | 2 +- .../Models/model1408_4808-7.json | 2 +- .../Models/model1408_4808-8-WSF.json | 2 +- .../Models/model1408_4808-8.json | 2 +- .../Models/model1408_4808-9-WSF.json | 2 +- .../Models/model1408_4808-9.json | 2 +- .../Models/model1507_05954-1.json | 2 +- .../Models/model1507_05954-2.json | 2 +- .../src/LiteratureModels/constructors.jl | 16 ++++-- .../src/LiteratureModels/model_reference.json | 2 +- experimental/FTheoryTools/src/exports.jl | 9 ++-- .../FTheoryTools/test/literature_models.jl | 12 ++--- 53 files changed, 153 insertions(+), 91 deletions(-) diff --git a/experimental/FTheoryTools/docs/src/introduction.md b/experimental/FTheoryTools/docs/src/introduction.md index 7c772bdb7ea3..1c91139e7504 100644 --- a/experimental/FTheoryTools/docs/src/introduction.md +++ b/experimental/FTheoryTools/docs/src/introduction.md @@ -6,13 +6,13 @@ CurrentModule = Oscar ## Goal -We aim to automate numerous recurring and, at least in part, tedious computations in F-theory model building, as +We aim to automate numerous recurring and, at least in part, tedious computations in F-Theory model building, as detailed extensively in [Wei18](@cite). The primary focus of our software is on (complex) elliptic fibrations with singularities. Those singularities hold significant importance. In essence, the absence of these singularities implies that the geometry encodes trivial or uninteresting physics. Therefore, the smooth case is typically not explored. A substantial amount of information about the physics is encoded in the geometry of this singular fibration. To some -extend it is clear what geometric quantities are to be considered, to some extend this is an unsettled question. Regardless, +extent it is clear what geometric quantities are to be considered, to some extent this is an open question. Regardless, computing quantities of interest, such as intersection theory and Chern classes, on singular spaces is challenging. However, it is possible to link the physics encoded by the singular geometry to the physics encoded by related smooth geometries. Consequently, almost all F-Theory studies begin by computing a smooting-out, i.e. a resolution, of the singular geometry in @@ -22,18 +22,18 @@ In order to easily link the physics on the singular geometry to the physics of o must be crepant, i.e. must preserve the Calabi-Yau condition. However, this restriction to crepant resolutions introduces additional challenges: 1. A crepant resolution cannot resolve all singularities, meaning certain singularities may persist. This is an area of interest in recent F-Theory investigations. 2. The existence of a crepant resolution is not guaranteed. -3. Exploring whether different resolutions provide insights into different aspects of the singular geometry poses further questions.However, just as it is unclear whether a single crepant resolution is known, there is currently no way to confirm that all crepant resolutions have been identified. +3. Exploring whether different resolutions provide insights into different aspects of the singular geometry poses further questions. However, just as it is unclear whether a single crepant resolution is known, there is currently no way to confirm that all crepant resolutions have been identified. -*FTheoryTools* may not (yet) answer these profound and fundamental questions. Instead, the goal of this suite of computer tools is to streamline and simplify the crepant singularity resolution process as much as possible, as well as subsequent extraction of geometric +*FTheoryTools* may not (yet) answer these profound and fundamental questions. Instead, the goal of this suite of computer tools is to streamline and simplify the crepant singularity resolution process as much as possible, as well as the subsequent extraction of geometric features of the resolved space. With *FTheoryTools*, you can create elliptic fibrations using one of the following models: * Weierstrass model, -* global Tate model, +* Global Tate model, * Hypersurface model. In each case, the base space can be a family of spaces (as used in the literature when an explicit base is not specified) or a toric space. We anticipate an extension to schemes as bases. The dimension of those bases is not limited to $1$, $2$, or $3$, but of course includes those cases important to the physics. -We also offer a database of models frequently studied in the literature. Those model we term 'literature_models.' In essence, you should be able to create a model described in a paper at the click of a button. We anticipate that this feature will greatly simplify future research in F-Theory. +We also offer a database of models frequently studied in the literature. For those models we use the term 'literature_models.' In essence, you should be able to create a model described in a paper at the click of a button. We anticipate that this feature will greatly simplify future research in F-Theory. ## Status @@ -41,7 +41,7 @@ We also offer a database of models frequently studied in the literature. Those m We anticipate the following workflow: ### User Input: -- Create your desired F-theory model by using one of the methods described above. +- Create your desired F-Theory model by using one of the methods described above. - Choose a resolved phase/crepant resolution. - Select generating sections for $\operatorname{U}(1)$ symmetries. @@ -50,12 +50,17 @@ We anticipate the following workflow: - Singular loci in suitable codimension (e.g., $1$, $2$, and $3$ if the base space has dimension $3$). - Fiber diagrams of the resolved fiber over the originally singular loci, including intersections of $\operatorname{U}(1)$-sections. - Gauge group. -- Topological data (e.g., Euler number) +- Topological data (e.g., Euler number). Currently, our primary focus is on the Elephant in the room, that is the crepant resolution. While already functional for numerous setups, especially literature models, it is far from complete. At this point, the largest functionality exists for toric cases, with ongoing work to extend those toric resolution techniques to families of spaces and schemes. -We are also actively expanding our database of supported literature models. At this point, our database includes the models discussed in [LS13](@cite). Consequently, we are already covering infinite families of models (e.g., with $SU(k)$ gauge group, where $k \geq 1`). -Still, the total number of papers in our database is at this point limited to about $5$. This is to be extended a lot. +We are also actively expanding our database of supported literature models. At this point, amongst others, our database includes models from the following papers: +- The Tate Form on Steroids: Resolution and Higher Codimension Fibers [LS13](@cite), +- F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches [KM-POPR15](@cite), +- Quadrillion F-Theory Compactifications with the Exact Chiral Spectrum of the Standard Model [CHLLT19](@cite). + +Consequently, we are already covering infinite families of models (e.g., with $SU(k)$ gauge group, where $k \geq 1$). +Still, the total number of papers in our database is at this point limited to about $45$. This is to be extended a lot. ## Tutorial diff --git a/experimental/FTheoryTools/docs/src/literature.md b/experimental/FTheoryTools/docs/src/literature.md index a5accf23b216..f40a8e00c2ed 100644 --- a/experimental/FTheoryTools/docs/src/literature.md +++ b/experimental/FTheoryTools/docs/src/literature.md @@ -45,7 +45,7 @@ paper_authors(m::AbstractFTheoryModel) paper_buzzwords(m::AbstractFTheoryModel) paper_description(m::AbstractFTheoryModel) paper_title(m::AbstractFTheoryModel) -related_literature_models(m::AbstractFTheoryModel) +birational_literature_models(m::AbstractFTheoryModel) ``` Such meta data can be modified with setters. For instance, there is a function `set_description(m::AbstractFTheoryModel, description::String)`, which takes the @@ -91,7 +91,7 @@ following methods: * `has_paper_buzzwords(m::AbstractFTheoryModel)`, * `has_paper_description(m::AbstractFTheoryModel)`, * `has_paper_title(m::AbstractFTheoryModel)`, -* `has_related_literature_models(m::AbstractFTheoryModel)`, +* `has_birational_literature_models(m::AbstractFTheoryModel)`, * `has_resolutions(m::AbstractFTheoryModel)`, * `has_resolution_generating_sections(m::AbstractFTheoryModel)`, * `has_resolution_zero_sections(m::AbstractFTheoryModel)`, diff --git a/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl b/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl index f500da36e244..0423c620ef35 100644 --- a/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl +++ b/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl @@ -365,12 +365,12 @@ end @doc raw""" - associated_literature_models(m::AbstractFTheoryModel) + birational_literature_models(m::AbstractFTheoryModel) -Return a list of the unique identifiers any `associated_literature_models` of +Return a list of the unique identifiers any `birational_literature_models` of the given model. These are either other presentations (Weierstrass, Tate, ...) of the given model, or other version of the same model from a different paper -in the literature. If no `associated_literature_models` are known, +in the literature. If no `birational_literature_models` are known, an error is raised. ```jldoctest @@ -379,14 +379,14 @@ Assuming that the first row of the given grading is the grading under Kbar Weierstrass model over a not fully specified base -- U(1)xU(1) Weierstrass model based on arXiv paper 1507.05954 Eq. (A.1) -julia> associated_literature_models(m) +julia> birational_literature_models(m) 1-element Vector{String}: "1507_05954-1" ``` """ -function associated_literature_models(m::AbstractFTheoryModel) - @req has_associated_literature_models(m) "No associated models known for this model" - return get_attribute(m, :associated_literature_models) +function birational_literature_models(m::AbstractFTheoryModel) + @req has_birational_literature_models(m) "No birational models known for this model" + return get_attribute(m, :birational_literature_models) end @@ -782,12 +782,12 @@ end @doc raw""" - related_literature_models(m::AbstractFTheoryModel) + associated_literature_models(m::AbstractFTheoryModel) -Return a list of the unique identifiers of any `related_literature_models` of +Return a list of the unique identifiers of any `associated_literature_models` of the given model. These are models that are introduced in the same paper as the given model, but that are distinct from the given model. If no -`related_literature_models` are known, an error is raised. +`associated_literature_models` are known, an error is raised. ```jldoctest julia> m = literature_model(arxiv_id = "1212.2949", equation = "3.2", model_parameters = Dict("k" => 5)) @@ -795,7 +795,7 @@ Assuming that the first row of the given grading is the grading under Kbar Global Tate model over a not fully specified base -- SU(11) Tate model with parameter values (k = 5) based on arXiv paper 1212.2949 Eq. (3.2) -julia> related_literature_models(m) +julia> associated_literature_models(m) 6-element Vector{String}: "1212_2949-2" "1212_2949-3" @@ -805,9 +805,30 @@ julia> related_literature_models(m) "1212_2949-7" ``` """ -function related_literature_models(m::AbstractFTheoryModel) - @req has_related_literature_models(m) "No related models known for this model" - return get_attribute(m, :related_literature_models) +function associated_literature_models(m::AbstractFTheoryModel) + @req has_associated_literature_models(m) "No related models known for this model" + return get_attribute(m, :associated_literature_models) +end + + +@doc raw""" + model_index(m::AbstractFTheoryModel) +Return database index of a literature model. This index is a unique identifier that can be used to more conveniently construct the model. +All models have a model_index and these will not change in the future. +```jldoctest +julia> t = literature_model(31) +Assuming that the first row of the given grading is the grading under Kbar + +Weierstrass model over a not fully specified base -- F-theory weierstrass model dual to hypersurface model with fiber ambient space F_10 based on arXiv paper 1408.4808 Eq. (3.130) + +julia> model_index(t) +31 +``` +""" +function model_index(m::AbstractFTheoryModel) + directory = joinpath(dirname(@__DIR__), "LiteratureModels/") + model_indices = JSON.parsefile(directory * "model_indices.json") + return parse(Int, model_indices["model" * literature_identifier(m) * ".json"]) end diff --git a/experimental/FTheoryTools/src/AbstractFTheoryModels/methods.jl b/experimental/FTheoryTools/src/AbstractFTheoryModels/methods.jl index 01eb5881ad2c..594193d15cf6 100644 --- a/experimental/FTheoryTools/src/AbstractFTheoryModels/methods.jl +++ b/experimental/FTheoryTools/src/AbstractFTheoryModels/methods.jl @@ -530,8 +530,8 @@ function set_paper_title(m::AbstractFTheoryModel, desired_value::String) set_attribute!(m, :paper_title => desired_value) end -function set_related_literature_models(m::AbstractFTheoryModel, desired_value::Vector{String}) - set_attribute!(m, :related_literature_models => desired_value) +function set_birational_literature_models(m::AbstractFTheoryModel, desired_value::Vector{String}) + set_attribute!(m, :birational_literature_models => desired_value) end @@ -565,9 +565,9 @@ function add_paper_buzzword(m::AbstractFTheoryModel, addition::String) !(addition in values) && set_attribute!(m, :paper_buzzwords => vcat(values, [addition])) end -function add_related_literature_model(m::AbstractFTheoryModel, addition::String) - values = has_related_literature_models(m) ? related_literature_models(m) : [] - !(addition in values) && set_attribute!(m, :related_literature_models => vcat(values, [addition])) +function add_birational_literature_model(m::AbstractFTheoryModel, addition::String) + values = has_birational_literature_models(m) ? birational_literature_models(m) : [] + !(addition in values) && set_attribute!(m, :birational_literature_models => vcat(values, [addition])) end @@ -665,7 +665,7 @@ end ########################################## function add_generating_section(m::AbstractFTheoryModel, addition::Vector{String}) - values = has_generating_sections(m) ? related_literature_models(m) : [] + values = has_generating_sections(m) ? birational_literature_models(m) : [] !(addition in values) && set_attribute!(m, :generating_sections => vcat(values, [addition])) end diff --git a/experimental/FTheoryTools/src/AbstractFTheoryModels/properties.jl b/experimental/FTheoryTools/src/AbstractFTheoryModels/properties.jl index 5802c18ac1a3..66b135f7ec04 100644 --- a/experimental/FTheoryTools/src/AbstractFTheoryModels/properties.jl +++ b/experimental/FTheoryTools/src/AbstractFTheoryModels/properties.jl @@ -80,7 +80,7 @@ has_paper_authors(m::AbstractFTheoryModel) = has_attribute(m, :paper_authors) has_paper_buzzwords(m::AbstractFTheoryModel) = has_attribute(m, :paper_buzzwords) has_paper_description(m::AbstractFTheoryModel) = has_attribute(m, :paper_description) has_paper_title(m::AbstractFTheoryModel) = has_attribute(m, :paper_title) -has_related_literature_models(m::AbstractFTheoryModel) = has_attribute(m, :related_literature_models) +has_birational_literature_models(m::AbstractFTheoryModel) = has_attribute(m, :birational_literature_models) diff --git a/experimental/FTheoryTools/src/HypersurfaceModels/attributes.jl b/experimental/FTheoryTools/src/HypersurfaceModels/attributes.jl index 99d21ce40b0b..23cf1a7ac298 100644 --- a/experimental/FTheoryTools/src/HypersurfaceModels/attributes.jl +++ b/experimental/FTheoryTools/src/HypersurfaceModels/attributes.jl @@ -66,10 +66,35 @@ hypersurface_equation_parametrization(h::HypersurfaceModel) = h.hypersurface_equ Return the Weierstrass model corresponding to the hypersurface model, provided that the latter is known. + +```jldoctest +julia> t = literature_model(14) +Assuming that the first row of the given grading is the grading under Kbar + +Hypersurface model over a not fully specified base + +julia> weierstrass_model(t) +Assuming that the first row of the given grading is the grading under Kbar + +Weierstrass model over a not fully specified base -- F-theory weierstrass model dual to hypersurface model with fiber ambient space F_1 based on arXiv paper 1408.4808 Eq. (3.4) +``` """ function weierstrass_model(h::HypersurfaceModel) @req has_attribute(h, :weierstrass_model) "No corresponding Weierstrass model is known" - return get_attribute(h, :weierstrass_model) + w = get_attribute(h, :weierstrass_model) + if typeof(w) == String + directory = joinpath(dirname(@__DIR__), "LiteratureModels/") + model_indices = JSON.parsefile(directory * "model_indices.json") + if is_base_space_fully_specified(h) + w_model = literature_model(parse(Int, model_indices[w]), base_space = base_space(h), defining_classes = defining_classes(h), completeness_check = false) + else + w_model = literature_model(parse(Int, model_indices[w])) + end + set_weierstrass_model(h, w_model) + return w_model + else + return w + end end diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1208_2695-1.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1208_2695-1.json index 044b40d16c70..7b3f342d8ca2 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1208_2695-1.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1208_2695-1.json @@ -57,5 +57,5 @@ "zero_section": ["0", "1", "0"], "generating_sections": [["0", "1", "-b"]] }, - "associated_models": ["model1208_2695-2.json"] + "birational_models": ["model1208_2695-2.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1208_2695-2.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1208_2695-2.json index 72e3742073bd..a403cf5a1c89 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1208_2695-2.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1208_2695-2.json @@ -55,5 +55,5 @@ ] ] }, - "associated_models": ["model1208_2695-1.json"] + "birational_models": ["model1208_2695-1.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-1.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-1.json index 253f87b0a59d..8be5b9e2a19c 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-1.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-1.json @@ -76,7 +76,7 @@ ] ] }, - "related_models": [ + "associated_models": [ "model1212_2949-2.json", "model1212_2949-3.json", "model1212_2949-4.json", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-2.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-2.json index 0e6bccf451c1..193e203d5bfc 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-2.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-2.json @@ -76,7 +76,7 @@ ] ] }, - "related_models": [ + "associated_models": [ "model1212_2949-1.json", "model1212_2949-3.json", "model1212_2949-4.json", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-3.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-3.json index c8fac12886db..2bb327833efe 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-3.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-3.json @@ -98,7 +98,7 @@ ] ] }, - "related_models": [ + "associated_models": [ "model1212_2949-1.json", "model1212_2949-2.json", "model1212_2949-4.json", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-4.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-4.json index 48a22232757a..16b0d4281f45 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-4.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-4.json @@ -100,7 +100,7 @@ ] ] }, - "related_models": [ + "associated_models": [ "model1212_2949-1.json", "model1212_2949-2.json", "model1212_2949-3.json", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-5.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-5.json index f4a1cee6df5d..e598ec80d834 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-5.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-5.json @@ -66,7 +66,7 @@ ] ] }, - "related_models": [ + "associated_models": [ "model1212_2949-1.json", "model1212_2949-2.json", "model1212_2949-3.json", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-6.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-6.json index 25e4e0b758e6..044437deea22 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-6.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-6.json @@ -68,7 +68,7 @@ ] ] }, - "related_models": [ + "associated_models": [ "model1212_2949-1.json", "model1212_2949-2.json", "model1212_2949-3.json", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-7.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-7.json index b98fc38ec374..7644dcf443ab 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-7.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-7.json @@ -87,7 +87,7 @@ ] ] }, - "related_models": [ + "associated_models": [ "model1212_2949-1.json", "model1212_2949-2.json", "model1212_2949-3.json", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-1-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-1-WSF.json index 6765184cb298..427fa27bc76b 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-1-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-1-WSF.json @@ -73,5 +73,5 @@ "model1408_4808-15-WSF.json", "model1408_4808-16-WSF.json" ], - "related_models": ["model1408_4808-1.json"] + "birational_models": ["model1408_4808-1.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-1.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-1.json index fcc5021b1a16..762c7240fb6b 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-1.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-1.json @@ -81,5 +81,5 @@ "model1408_4808-15.json", "model1408_4808-16.json" ], - "related_models": ["model1408_4808-1-WSF.json"] + "birational_models": ["model1408_4808-1-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10-WSF.json index 2cc5d1a5f6e9..1829a55314a9 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10-WSF.json @@ -73,5 +73,5 @@ "model1408_4808-15-WSF.json", "model1408_4808-16-WSF.json" ], - "related_models": ["model1408_4808-10.json"] + "birational_models": ["model1408_4808-10.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10.json index c112df27ca67..47b15e1cb3c0 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10.json @@ -81,5 +81,5 @@ "model1408_4808-15.json", "model1408_4808-16.json" ], - "related_models": ["model1408_4808-10-WSF.json"] + "birational_models": ["model1408_4808-10-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11-WSF.json index b983be943af9..ecb237ea5461 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11-WSF.json @@ -81,5 +81,5 @@ "model1408_4808-15-WSF.json", "model1408_4808-16-WSF.json" ], - "related_models": ["model1408_4808-11.json"] + "birational_models": ["model1408_4808-11.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11.json index 67bc4de56668..1cd6e0ae2887 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11.json @@ -85,5 +85,5 @@ "model1408_4808-15.json", "model1408_4808-16.json" ], - "related_models": ["model1408_4808-11-WSF.json"] + "birational_models": ["model1408_4808-11-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12-WSF.json index fc11e481106e..dfd9824ab288 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12-WSF.json @@ -86,5 +86,5 @@ "model1408_4808-15-WSF.json", "model1408_4808-16-WSF.json" ], - "related_models": ["model1408_4808-12.json"] + "birational_models": ["model1408_4808-12.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12.json index 6173697d183a..d9bf6aa6e57b 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12.json @@ -86,5 +86,5 @@ "model1408_4808-15.json", "model1408_4808-16.json" ], - "related_models": ["model1408_4808-12-WSF.json"] + "birational_models": ["model1408_4808-12-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13-WSF.json index 12b8456c0b0d..e47f6edd0ee5 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13-WSF.json @@ -77,5 +77,5 @@ "model1408_4808-15-WSF.json", "model1408_4808-16-WSF.json" ], - "related_models": ["model1408_4808-13.json"] + "birational_models": ["model1408_4808-13.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13.json index 70e83f7695a0..2c957a0bf5a5 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13.json @@ -85,5 +85,5 @@ "model1408_4808-15.json", "model1408_4808-16.json" ], - "related_models": ["model1408_4808-13-WSF.json"] + "birational_models": ["model1408_4808-13-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14-WSF.json index a8968da96d4e..9fd7b9b135a8 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14-WSF.json @@ -81,5 +81,5 @@ "model1408_4808-15-WSF.json", "model1408_4808-16-WSF.json" ], - "related_models": ["model1408_4808-14.json"] + "birational_models": ["model1408_4808-14.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14.json index ce701e04f74e..43231ec6682e 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14.json @@ -85,5 +85,5 @@ "model1408_4808-15.json", "model1408_4808-16.json" ], - "related_models": ["model1408_4808-14-WSF.json"] + "birational_models": ["model1408_4808-14-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15-WSF.json index 46caaa91a999..79ea4c371eba 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15-WSF.json @@ -80,5 +80,5 @@ "model1408_4808-14-WSF.json", "model1408_4808-16-WSF.json" ], - "related_models": ["model1408_4808-15.json"] + "birational_models": ["model1408_4808-15.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15.json index 3b6eaab6100a..770c60515543 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15.json @@ -88,5 +88,5 @@ "model1408_4808-14.json", "model1408_4808-16.json" ], - "related_models": ["model1408_4808-15-WSF.json"] + "birational_models": ["model1408_4808-15-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16-WSF.json index 37e365d0bd6e..9f628432110b 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16-WSF.json @@ -78,5 +78,5 @@ "model1408_4808-14-WSF.json", "model1408_4808-15-WSF.json" ], - "related_models": ["model1408_4808-16.json"] + "birational_models": ["model1408_4808-16.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16.json index 70aa44bcac5c..de3c6519aedc 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16.json @@ -86,5 +86,5 @@ "model1408_4808-14.json", "model1408_4808-15.json" ], - "related_models": ["model1408_4808-16-WSF.json"] + "birational_models": ["model1408_4808-16-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-2-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-2-WSF.json index 24e0bef64053..fcabc3f600e6 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-2-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-2-WSF.json @@ -73,5 +73,5 @@ "model1408_4808-15-WSF.json", "model1408_4808-16-WSF.json" ], - "related_models": ["model1408_4808-2.json"] + "birational_models": ["model1408_4808-2.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-2.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-2.json index ad2c64e872de..98afb05f43b4 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-2.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-2.json @@ -81,5 +81,5 @@ "model1408_4808-15.json", "model1408_4808-16.json" ], - "related_models": ["model1408_4808-2-WSF.json"] + "birational_models": ["model1408_4808-2-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3-WSF.json index 32b018e04611..85c63817eafc 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3-WSF.json @@ -80,5 +80,5 @@ "model1408_4808-15-WSF.json", "model1408_4808-16-WSF.json" ], - "related_models": ["model1408_4808-3.json"] + "birational_models": ["model1408_4808-3.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3.json index 221531825028..0410305b1932 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3.json @@ -84,5 +84,5 @@ "model1408_4808-15.json", "model1408_4808-16.json" ], - "related_models": ["model1408_4808-3-WSF.json"] + "birational_models": ["model1408_4808-3-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-4-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-4-WSF.json index 8a5bb38a68a4..f4d527af2dd7 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-4-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-4-WSF.json @@ -73,5 +73,5 @@ "model1408_4808-15-WSF.json", "model1408_4808-16-WSF.json" ], - "related_models": ["model1408_4808-4.json"] + "birational_models": ["model1408_4808-4.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-4.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-4.json index 6a203955a3ba..86143934374b 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-4.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-4.json @@ -81,5 +81,5 @@ "model1408_4808-15.json", "model1408_4808-16.json" ], - "related_models": ["model1408_4808-4-WSF.json"] + "birational_models": ["model1408_4808-4-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5-WSF.json index c891d8eddc63..955477e31a94 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5-WSF.json @@ -85,5 +85,5 @@ "model1408_4808-15-WSF.json", "model1408_4808-16-WSF.json" ], - "related_models": ["model1408_4808-5.json"] + "birational_models": ["model1408_4808-5.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5.json index 34cd1343a492..a959961e6a1a 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5.json @@ -85,5 +85,5 @@ "model1408_4808-15.json", "model1408_4808-16.json" ], - "related_models": ["model1408_4808-5-WSF.json"] + "birational_models": ["model1408_4808-5-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6-WSF.json index cd9439e59ca0..7a85b5902c69 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6-WSF.json @@ -81,5 +81,5 @@ "model1408_4808-15-WSF.json", "model1408_4808-16-WSF.json" ], - "related_models": ["model1408_4808-6.json"] + "birational_models": ["model1408_4808-6.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6.json index adb1cde09003..8b3351b62e11 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6.json @@ -85,5 +85,5 @@ "model1408_4808-15.json", "model1408_4808-16.json" ], - "related_models": ["model1408_4808-6-WSF.json"] + "birational_models": ["model1408_4808-6-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7-WSF.json index b0ef6683cee4..21c7bc27351e 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7-WSF.json @@ -90,5 +90,5 @@ "model1408_4808-15-WSF.json", "model1408_4808-16-WSF.json" ], - "related_models": ["model1408_4808-7.json"] + "birational_models": ["model1408_4808-7.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7.json index 4f336b90571c..446cf2035fb4 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7.json @@ -86,5 +86,5 @@ "model1408_4808-15.json", "model1408_4808-16.json" ], - "related_models": ["model1408_4808-7-WSF.json"] + "birational_models": ["model1408_4808-7-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8-WSF.json index c6f61a9ed00f..b07b942db60d 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8-WSF.json @@ -81,5 +81,5 @@ "model1408_4808-15-WSF.json", "model1408_4808-16-WSF.json" ], - "related_models": ["model1408_4808-8.json"] + "birational_models": ["model1408_4808-8.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8.json index b75a59f1156d..258a0b966994 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8.json @@ -85,5 +85,5 @@ "model1408_4808-15.json", "model1408_4808-16.json" ], - "related_models": ["model1408_4808-8-WSF.json"] + "birational_models": ["model1408_4808-8-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9-WSF.json index 1ca61b3fb773..4095157b97f9 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9-WSF.json @@ -86,5 +86,5 @@ "model1408_4808-15-WSF.json", "model1408_4808-16-WSF.json" ], - "related_models": ["model1408_4808-9.json"] + "birational_models": ["model1408_4808-9.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9.json index 22def2dee02f..6968dc634d01 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9.json @@ -86,5 +86,5 @@ "model1408_4808-15.json", "model1408_4808-16.json" ], - "related_models": ["model1408_4808-9-WSF.json"] + "birational_models": ["model1408_4808-9-WSF.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1507_05954-1.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1507_05954-1.json index 241aa35d9d78..11537a04a0e9 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1507_05954-1.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1507_05954-1.json @@ -257,5 +257,5 @@ ] ] }, - "associated_models": ["model1507_05954-2.json"] + "birational_models": ["model1507_05954-2.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1507_05954-2.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1507_05954-2.json index 653a2df45f20..f554f6e922bd 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1507_05954-2.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1507_05954-2.json @@ -68,5 +68,5 @@ ] ] }, - "associated_models": ["model1507_05954-1.json"] + "birational_models": ["model1507_05954-1.json"] } diff --git a/experimental/FTheoryTools/src/LiteratureModels/constructors.jl b/experimental/FTheoryTools/src/LiteratureModels/constructors.jl index b2f56c74d203..e677aef1c022 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/constructors.jl +++ b/experimental/FTheoryTools/src/LiteratureModels/constructors.jl @@ -152,7 +152,7 @@ function literature_model(model_dict::Dict{String, Any}; model_parameters::Dict{ for (key, val) in model_parameters map!(x -> nested_string_map(s -> replace(s, key => string(val)), x), values(model_dict["model_data"])) - map!(x -> nested_string_map(s -> replace(s, key => string(val)), x), values(model_dict["model_descriptors"])) + map!(x -> nested_string_map(s -> replace(s, string("#", key) => string(val)), x), values(model_dict["model_descriptors"])) map!(x -> nested_string_map(s -> replace(s, r"\(([^(),]+)\)" => dim -> string("(", Oscar.eval_poly(string.(match(r"\(([^(),]+)\)", dim).captures[1]), ZZ),")")), x), values(model_dict["model_descriptors"])) end end @@ -541,8 +541,8 @@ function _set_all_attributes(model::AbstractFTheoryModel, model_dict::Dict{Strin set_journal_model_page(model, model_dict["journal_data"]["model_location"]["page"]) set_journal_model_section(model, model_dict["journal_data"]["model_location"]["section"]) - if haskey(model_dict, "related_models") - set_attribute!(model, :related_literature_models => [str[6:end - 5] for str in model_dict["related_models"]]) + if haskey(model_dict, "birational_models") + set_attribute!(model, :birational_literature_models => [str[6:end - 5] for str in model_dict["birational_models"]]) end if haskey(model_dict, "associated_models") @@ -598,6 +598,16 @@ function _set_all_attributes(model::AbstractFTheoryModel, model_dict::Dict{Strin if haskey(model_dict["model_descriptors"], "global_gauge_quotients") set_global_gauge_quotients(model, map(k -> string.(k), model_dict["model_descriptors"]["global_gauge_quotients"])) end + + if haskey(model_dict, "birational_models") + for m in model_dict["birational_models"] + model_directory = joinpath(@__DIR__, "Models/") + model_data = JSON.parsefile(model_directory * m) + if model_data["model_descriptors"]["type"] == "weierstrass" + set_attribute!(model, :weierstrass_model => m) + end + end + end end diff --git a/experimental/FTheoryTools/src/LiteratureModels/model_reference.json b/experimental/FTheoryTools/src/LiteratureModels/model_reference.json index 02453e8cb0d1..eadbfdc7fbc6 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/model_reference.json +++ b/experimental/FTheoryTools/src/LiteratureModels/model_reference.json @@ -66,5 +66,5 @@ "weighted_resolution_generating_sections": [[[["", "", ""]]]] }, "associated_models": [""], - "related_models": [""] + "birational_models": [""] } diff --git a/experimental/FTheoryTools/src/exports.jl b/experimental/FTheoryTools/src/exports.jl index 2dbc6acebf13..a277d429f29c 100644 --- a/experimental/FTheoryTools/src/exports.jl +++ b/experimental/FTheoryTools/src/exports.jl @@ -15,7 +15,7 @@ export add_journal_report_number export add_model_parameter export add_paper_author export add_paper_buzzword -export add_related_literature_model +export add_birational_literature_model export add_resolution export add_resolution_generating_section export add_resolution_zero_section @@ -89,7 +89,7 @@ export has_paper_buzzwords export has_paper_description export has_paper_title export has_quick_triangulation -export has_related_literature_models +export has_birational_literature_models export has_resolution_generating_sections export has_resolution_zero_sections export has_resolutions @@ -122,6 +122,7 @@ export literature_identifier export literature_model export max_lattice_pts_in_facet export model_description +export model_index export model_parameters export paper_authors export paper_buzzwords @@ -129,7 +130,7 @@ export paper_description export paper_title export polytope_index export put_over_concrete_base -export related_literature_models +export birational_literature_models export resolution_generating_sections export resolution_zero_sections export resolutions @@ -164,7 +165,7 @@ export set_paper_authors export set_paper_buzzwords export set_paper_description export set_paper_title -export set_related_literature_models +export set_birational_literature_models export set_resolution_generating_sections export set_resolution_zero_sections export set_resolutions diff --git a/experimental/FTheoryTools/test/literature_models.jl b/experimental/FTheoryTools/test/literature_models.jl index c73ec29ea81e..f2f7971bacc4 100644 --- a/experimental/FTheoryTools/test/literature_models.jl +++ b/experimental/FTheoryTools/test/literature_models.jl @@ -58,7 +58,7 @@ end @test_throws ArgumentError associated_literature_models(t1) @test_throws ArgumentError journal_report_numbers(t1) @test_throws ArgumentError model_parameters(t1) - @test_throws ArgumentError related_literature_models(t1) + @test_throws ArgumentError birational_literature_models(t1) end set_model_description(t1, "Testing...") @@ -134,7 +134,7 @@ end @testset "Test error messages for literature Weierstrass model over concrete base" begin @test_throws ArgumentError model_parameters(w1) - @test_throws ArgumentError related_literature_models(w1) + @test_throws ArgumentError birational_literature_models(w1) @test_throws ArgumentError resolutions(w1) @test_throws ArgumentError resolution_generating_sections(w1) @test_throws ArgumentError resolution_zero_sections(w1) @@ -201,7 +201,7 @@ end @test_throws ArgumentError associated_literature_models(t3) @test_throws ArgumentError journal_report_numbers(t3) @test_throws ArgumentError model_parameters(t3) - @test_throws ArgumentError related_literature_models(t3) + @test_throws ArgumentError birational_literature_models(t3) @test_throws ArgumentError literature_model(arxiv_id = "1212.2949", equation = "3.2") end @@ -296,7 +296,7 @@ end @testset "Test error messages for literature Weierstrass model over arbitrary base" begin @test_throws ArgumentError model_parameters(w2) - @test_throws ArgumentError related_literature_models(w2) + @test_throws ArgumentError birational_literature_models(w2) @test_throws ArgumentError resolutions(w2) @test_throws ArgumentError resolution_generating_sections(w2) @test_throws ArgumentError resolution_zero_sections(w2) @@ -607,7 +607,7 @@ foah12_weier = literature_model(arxiv_id = "1408.4808", equation = "3.155", type foah13_weier = literature_model(arxiv_id = "1408.4808", equation = "3.181", type = "weierstrass") foah14_weier = literature_model(arxiv_id = "1408.4808", equation = "3.168", type = "weierstrass") foah15_weier = literature_model(arxiv_id = "1408.4808", equation = "3.190", type = "weierstrass") -foah16_weier = literature_model(arxiv_id = "1408.4808", equation = "3.203", type = "weierstrass") +foah16_weier = weierstrass_model(foah16) @testset "Test weierstrass form of models in F-theory on all toric hypersurfaces, defined over arbitrary base" begin @test dim(base_space(foah1_weier)) == 3 @@ -684,7 +684,7 @@ end B3 = projective_space(NormalToricVariety, 3) Kbar = anticanonical_divisor(B3) -foah1_B3_weier = literature_model(arxiv_id = "1408.4808", equation = "3.4", type = "weierstrass", base_space = B3, defining_classes = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) +foah1_B3_weier = weierstrass_model(foah1_B3) foah2_B3_weier = literature_model(arxiv_id = "1408.4808", equation = "3.12", type = "weierstrass", base_space = B3, defining_classes = Dict("b7" => Kbar, "b9" => Kbar), completeness_check = false) foah3_B3_weier = literature_model(arxiv_id = "1408.4808", equation = "3.54", type = "weierstrass", base_space = B3, defining_classes = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) foah4_B3_weier = literature_model(arxiv_id = "1408.4808", equation = "3.17", type = "weierstrass", base_space = B3, defining_classes = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) From cbf76773f926090c997aeba142467395e7b02083 Mon Sep 17 00:00:00 2001 From: emikelsons Date: Tue, 16 Jul 2024 13:43:49 +0200 Subject: [PATCH 03/10] Update literature_models.jl Bug due to recent renaming of things --- experimental/FTheoryTools/test/literature_models.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/experimental/FTheoryTools/test/literature_models.jl b/experimental/FTheoryTools/test/literature_models.jl index f2f7971bacc4..b028360d04b3 100644 --- a/experimental/FTheoryTools/test/literature_models.jl +++ b/experimental/FTheoryTools/test/literature_models.jl @@ -112,7 +112,7 @@ end @test arxiv_model_page(w1) == "34" @test arxiv_model_section(w1) == "B" @test arxiv_version(w1) == "2" - @test associated_literature_models(w1) == ["1208_2695-1"] + @test birational_literature_models(w1) == ["1208_2695-1"] @test length(generating_sections(w1)) == 1 @test journal_doi(w1) == "10.1007/JHEP10(2012)128" @test journal_link(w1) == "https://link.springer.com/article/10.1007/JHEP10(2012)128" @@ -274,7 +274,7 @@ end @test arxiv_model_page(w2) == "34" @test arxiv_model_section(w2) == "B" @test arxiv_version(w2) == "2" - @test associated_literature_models(w2) == ["1208_2695-1"] + @test birational_literature_models(w2) == ["1208_2695-1"] @test length(generating_sections(w2)) == 1 @test journal_doi(w2) == "10.1007/JHEP10(2012)128" @test journal_link(w2) == "https://link.springer.com/article/10.1007/JHEP10(2012)128" From 5e8158043066525f177602a79f82b0b6132a8a53 Mon Sep 17 00:00:00 2001 From: emikelsons Date: Tue, 16 Jul 2024 15:35:50 +0200 Subject: [PATCH 04/10] Fixed more typos --- .../FTheoryTools/src/AbstractFTheoryModels/attributes.jl | 2 +- experimental/FTheoryTools/test/literature_models.jl | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl b/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl index 0423c620ef35..e4639bda0e3a 100644 --- a/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl +++ b/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl @@ -806,7 +806,7 @@ julia> associated_literature_models(m) ``` """ function associated_literature_models(m::AbstractFTheoryModel) - @req has_associated_literature_models(m) "No related models known for this model" + @req has_associated_literature_models(m) "No associated models known for this model" return get_attribute(m, :associated_literature_models) end diff --git a/experimental/FTheoryTools/test/literature_models.jl b/experimental/FTheoryTools/test/literature_models.jl index b028360d04b3..b9c354c049eb 100644 --- a/experimental/FTheoryTools/test/literature_models.jl +++ b/experimental/FTheoryTools/test/literature_models.jl @@ -134,7 +134,7 @@ end @testset "Test error messages for literature Weierstrass model over concrete base" begin @test_throws ArgumentError model_parameters(w1) - @test_throws ArgumentError birational_literature_models(w1) + @test_throws ArgumentError associated_literature_models(w1) @test_throws ArgumentError resolutions(w1) @test_throws ArgumentError resolution_generating_sections(w1) @test_throws ArgumentError resolution_zero_sections(w1) @@ -296,7 +296,7 @@ end @testset "Test error messages for literature Weierstrass model over arbitrary base" begin @test_throws ArgumentError model_parameters(w2) - @test_throws ArgumentError birational_literature_models(w2) + @test_throws ArgumentError associated_literature_models(w2) @test_throws ArgumentError resolutions(w2) @test_throws ArgumentError resolution_generating_sections(w2) @test_throws ArgumentError resolution_zero_sections(w2) From 3d8ab5f409d03683cf06c6effe229fbb894eed1b Mon Sep 17 00:00:00 2001 From: emikelsons Date: Tue, 16 Jul 2024 16:06:49 +0200 Subject: [PATCH 05/10] Fixed more bugs At some point I accidentally must have undone my progress, which caused errors --- .../src/LiteratureModels/Models/model1212_2949-1.json | 4 ++-- .../src/LiteratureModels/Models/model1212_2949-2.json | 4 ++-- .../src/LiteratureModels/Models/model1212_2949-3.json | 4 ++-- .../src/LiteratureModels/Models/model1212_2949-4.json | 6 +++--- 4 files changed, 9 insertions(+), 9 deletions(-) diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-1.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-1.json index 8be5b9e2a19c..54ba7b7105e4 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-1.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-1.json @@ -34,8 +34,8 @@ }, "model_descriptors": { "type": "tate", - "description": "SU(2*k+1) Tate model", - "gauge_algebra": ["su(2*k+1)"] + "description": "SU(2*#k+1) Tate model", + "gauge_algebra": ["su(2*#k+1)"] }, "model_parameters": ["k"], "model_data": { diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-2.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-2.json index 193e203d5bfc..2ad009d8aaec 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-2.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-2.json @@ -34,8 +34,8 @@ }, "model_descriptors": { "type": "tate", - "description": "SU(2*k) Tate model", - "gauge_algebra": ["su(2*k)"] + "description": "SU(2*#k) Tate model", + "gauge_algebra": ["su(2*#k)"] }, "model_parameters": ["k"], "model_data": { diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-3.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-3.json index 2bb327833efe..74345d72bf8f 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-3.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-3.json @@ -34,8 +34,8 @@ }, "model_descriptors": { "type": "tate", - "description": "SO(4*k+2) Tate model", - "gauge_algebra": ["so(4*k+2)"] + "description": "SO(4*#k+2) Tate model", + "gauge_algebra": ["so(4*#k+2)"] }, "model_parameters": ["k"], "model_data": { diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-4.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-4.json index 16b0d4281f45..6ebfc0537079 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-4.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1212_2949-4.json @@ -34,9 +34,9 @@ }, "model_descriptors": { "type": "tate", - "description": "SO(4*k+4)xU(1) Tate model", - "comment": "The paper only states that this is an SO(4k+4) model, but setting a6 = 0 also introduces an additional generating section, so there is additionally a U(1) factor, which may not have been relevant for the authors' purposes.", - "gauge_algebra": ["so(4*k+4)", "u(1)"] + "description": "SO(4*#k+4)xU(1) Tate model", + "comment": "The paper only states that this is an SO(4*#k+4) model, but setting a6 = 0 also introduces an additional generating section, so there is additionally a U(1) factor, which may not have been relevant for the authors' purposes.", + "gauge_algebra": ["so(4*#k+4)", "u(1)"] }, "model_parameters": ["k"], "model_data": { From e11c55b563f951717c8a689f13f0522435e6f2cc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mi=C4=B7elis=20Em=C4=ABls=20Mi=C4=B7elsons?= <164499508+emikelsons@users.noreply.github.com> Date: Tue, 16 Jul 2024 20:09:18 +0200 Subject: [PATCH 06/10] Update attributes.jl --- .../FTheoryTools/src/AbstractFTheoryModels/attributes.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl b/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl index e4639bda0e3a..b8fed2b721e4 100644 --- a/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl +++ b/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl @@ -367,7 +367,7 @@ end @doc raw""" birational_literature_models(m::AbstractFTheoryModel) -Return a list of the unique identifiers any `birational_literature_models` of +Return a list of the unique identifiers of `birational_literature_models` of the given model. These are either other presentations (Weierstrass, Tate, ...) of the given model, or other version of the same model from a different paper in the literature. If no `birational_literature_models` are known, From db78b9d0829e2a70fa300ad634f9a387a2cdf1cc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mi=C4=B7elis=20Em=C4=ABls=20Mi=C4=B7elsons?= <164499508+emikelsons@users.noreply.github.com> Date: Tue, 16 Jul 2024 20:11:51 +0200 Subject: [PATCH 07/10] Update attributes.jl --- .../FTheoryTools/src/AbstractFTheoryModels/attributes.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl b/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl index b8fed2b721e4..fbedf3c50c73 100644 --- a/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl +++ b/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl @@ -385,7 +385,7 @@ julia> birational_literature_models(m) ``` """ function birational_literature_models(m::AbstractFTheoryModel) - @req has_birational_literature_models(m) "No birational models known for this model" + @req has_birational_literature_models(m) "No birationally equivalent models known for this model" return get_attribute(m, :birational_literature_models) end From 107025e9bddd7e13752a37cbe52055fb069e6995 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mi=C4=B7elis=20Em=C4=ABls=20Mi=C4=B7elsons?= <164499508+emikelsons@users.noreply.github.com> Date: Tue, 16 Jul 2024 20:14:40 +0200 Subject: [PATCH 08/10] Update introduction.md --- experimental/FTheoryTools/docs/src/introduction.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/experimental/FTheoryTools/docs/src/introduction.md b/experimental/FTheoryTools/docs/src/introduction.md index 1c91139e7504..1b05fee61f9a 100644 --- a/experimental/FTheoryTools/docs/src/introduction.md +++ b/experimental/FTheoryTools/docs/src/introduction.md @@ -60,7 +60,7 @@ We are also actively expanding our database of supported literature models. At t - Quadrillion F-Theory Compactifications with the Exact Chiral Spectrum of the Standard Model [CHLLT19](@cite). Consequently, we are already covering infinite families of models (e.g., with $SU(k)$ gauge group, where $k \geq 1$). -Still, the total number of papers in our database is at this point limited to about $45$. This is to be extended a lot. +Still, the total number of papers in our database is at this point limited to about $6$. This is to be extended a lot. ## Tutorial From addbe0c405ea0de94cda481b31153e2c0104b9c9 Mon Sep 17 00:00:00 2001 From: emikelsons Date: Thu, 18 Jul 2024 09:42:32 +0200 Subject: [PATCH 09/10] Update introduction.md Expanded contact list and funding information --- experimental/FTheoryTools/docs/src/introduction.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/experimental/FTheoryTools/docs/src/introduction.md b/experimental/FTheoryTools/docs/src/introduction.md index 1b05fee61f9a..5e1c6af4742f 100644 --- a/experimental/FTheoryTools/docs/src/introduction.md +++ b/experimental/FTheoryTools/docs/src/introduction.md @@ -81,13 +81,14 @@ Future extensions include, but are not necessarily limited to, the following: Please direct questions about this part of OSCAR to the following people: * [Martin Bies](https://martinbies.github.io/), -* [Andrew Turner](https://apturner.net/). +* [Andrew Turner](https://apturner.net/), +* [Mikelis Emils Mikelsons](https://github.com/emikelsons). -You can ask questions in the [OSCAR Slack](https://www.oscar-system.org/community/#slack). +You can ask questions in the [OSCAR Slack](https://www.oscar-system.org/community/#slack). Alternatively, you can [raise an issue on github](https://www.oscar-system.org/community/#how-to-report-issues). ## Acknowledgements -We appreciate insightful discussions with [Mirjam Cvetič](https://live-sas-physics.pantheon.sas.upenn.edu/people/standing-faculty/mirjam-cvetic). The work of Andrew Turner is supported by DOE (HEP) Award DE-SC001352. +We appreciate insightful discussions with [Mirjam Cvetič](https://live-sas-physics.pantheon.sas.upenn.edu/people/standing-faculty/mirjam-cvetic). Martin Bies and Mikelis Mikelsons appreciate support by the TU-Nachwuchsring. The work of Andrew Turner is supported by DOE (HEP) Award DE-SC001352. From 3a82435a539314d1985b2a65d6b556e9c87b150d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mi=C4=B7elis=20Em=C4=ABls=20Mi=C4=B7elsons?= Date: Thu, 18 Jul 2024 10:45:48 +0200 Subject: [PATCH 10/10] Update introduction.md --- experimental/FTheoryTools/docs/src/introduction.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/experimental/FTheoryTools/docs/src/introduction.md b/experimental/FTheoryTools/docs/src/introduction.md index 5e1c6af4742f..a33dc00627f2 100644 --- a/experimental/FTheoryTools/docs/src/introduction.md +++ b/experimental/FTheoryTools/docs/src/introduction.md @@ -81,9 +81,8 @@ Future extensions include, but are not necessarily limited to, the following: Please direct questions about this part of OSCAR to the following people: * [Martin Bies](https://martinbies.github.io/), -* [Andrew Turner](https://apturner.net/), -* [Mikelis Emils Mikelsons](https://github.com/emikelsons). - +* [Mikelis Emils Mikelsons](https://github.com/emikelsons), +* [Andrew Turner](https://apturner.net/). You can ask questions in the [OSCAR Slack](https://www.oscar-system.org/community/#slack). Alternatively, you can [raise an issue on github](https://www.oscar-system.org/community/#how-to-report-issues).