From 7791e400536167aa5a43303aa3814790a7cd4c2a Mon Sep 17 00:00:00 2001 From: Martin Bies Date: Fri, 3 May 2024 10:10:42 +0200 Subject: [PATCH] [FTheoryTools] Update Weierstrass form of F4-model (F-theory on all toric hypersurfaces) --- .../LiteratureModels/Models/model1408_4808-4-WSF.json | 10 +++++----- experimental/FTheoryTools/test/literature_models.jl | 2 +- 2 files changed, 6 insertions(+), 6 deletions(-) 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 b73356e58db3..627d072ed3bf 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-4-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-4-WSF.json @@ -46,14 +46,14 @@ }, "model_data": { "base_dim": 3, - "divisors_user_must_specify": ["d8","d4"], - "divisors_parametrized_by_user_specified_divisors": ["d1","d2","d3","d5","d6","d7","d9"], + "divisors_user_must_specify": ["s7","s9"], + "divisors_parametrized_by_user_specified_divisors": ["d1","d2","d3","d4","d5","d6","d7","d8","d9"], "f": "1//48*(-24*d9*(-2*d5*d6^2 + d4*d6*d7 - 2*d3*d6*d8 + d2*d7*d8 - 2*d1*d8^2 - 2*d2*d4*d9 + 8*d1*d5*d9) - (d7^2 - 4*(d6*d8 + d3*d9))^2)", "g": "1//864*(36*d9*(-2*d5*d6^2 + d4*d6*d7 - 2*d3*d6*d8 + d2*d7*d8 - 2*d1*d8^2 - 2*d2*d4*d9 + 8*d1*d5*d9)*(d7^2 - 4*(d6*d8 + d3*d9)) + (d7^2 - 4*(d6*d8 + d3*d9))^3 + 216*d9^2*(4*d2*d5*d6*d7 - 4*d1*d5*d7^2 + d2^2*d8^2 + d4*(-2*d2*d6*d8 + 4*d1*d7*d8) - 4*d2^2*d5*d9 + d4^2*(d6^2 - 4*d1*d9) - 4*d3*(d5*d6^2 + d1*d8^2 - 4*d1*d5*d9)))", "parametrization_of_parametrized_divisors_by_Kbar_and_user_specified_divisors": [ - [3, 2, 1, -1, 2, 1, 1], - [-3, -2, -1, 1, -1, 0, 1], - [1, 1, 1, 1, 0, 0, -1] + [3, 2, 1, 0, -1, 2, 1, 0, 1], + [-1, 0, 1, 2, 3, -1, 0, 1, -1], + [-1, -1, -1, -1, -1, 0, 0, 0, 1] ] }, "associated_models": [ diff --git a/experimental/FTheoryTools/test/literature_models.jl b/experimental/FTheoryTools/test/literature_models.jl index ba83b4f8910a..d11d31cbe349 100644 --- a/experimental/FTheoryTools/test/literature_models.jl +++ b/experimental/FTheoryTools/test/literature_models.jl @@ -668,7 +668,7 @@ Kbar = anticanonical_divisor(B3) foah1_B3_weier = literature_model(arxiv_id = "1408.4808v2", equation = "3.4", type = "weierstrass", base_space = B3, model_sections = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) foah2_B3_weier = literature_model(arxiv_id = "1408.4808v2", equation = "3.12", type = "weierstrass", base_space = B3, model_sections = Dict("b7" => Kbar, "b9" => Kbar), completeness_check = false) foah3_B3_weier = literature_model(arxiv_id = "1408.4808v2", equation = "3.54", type = "weierstrass", base_space = B3, model_sections = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) -foah4_B3_weier = literature_model(arxiv_id = "1408.4808v2", equation = "3.17", type = "weierstrass", base_space = B3, model_sections = Dict("d8" => Kbar, "d4" => Kbar), completeness_check = false) +foah4_B3_weier = literature_model(arxiv_id = "1408.4808v2", equation = "3.17", type = "weierstrass", base_space = B3, model_sections = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) foah5_B3_weier = literature_model(arxiv_id = "1408.4808v2", equation = "3.73", type = "weierstrass", base_space = B3, model_sections = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) foah6_B3_weier = literature_model(arxiv_id = "1408.4808v2", equation = "3.82", type = "weierstrass", base_space = B3, model_sections = Dict("s7" => Kbar, "s4" => Kbar), completeness_check = false) foah7_B3_weier = literature_model(arxiv_id = "1408.4808v2", equation = "3.96", type = "weierstrass", base_space = B3, model_sections = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false)