[FTheoryTools] Update Weierstrass form of F4-model (F-theory on all t…

…oric hypersurfaces)
oscar-system · May 3, 2024 · 7791e40 · 7791e40
1 parent dd15a6c
commit 7791e40
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 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
@@ -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
@@ -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)