[FTheoryTools] Update printing of family of G4-fluxes based on tadpol…

…e constraint
oscar-system · Jan 24, 2025 · d0bc001 · d0bc001
1 parent 4a9ad5f
commit d0bc001
Show file tree

Hide file tree

Showing 6 changed files with 37 additions and 2 deletions.
diff --git a/experimental/FTheoryTools/src/FamilyOfG4Fluxes/attributes.jl b/experimental/FTheoryTools/src/FamilyOfG4Fluxes/attributes.jl
@@ -24,6 +24,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: not executed
   - Verticality checks: not executed
   - Non-abelian gauge group: breaking pattern not analyzed
+  - Tadpole constraint: not analyzed
 
 julia> model(f_gs) == qsm_model
 true
@@ -56,6 +57,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: not executed
   - Verticality checks: not executed
   - Non-abelian gauge group: breaking pattern not analyzed
+  - Tadpole constraint: not analyzed
 
 julia> matrix_integral(f_gs) == mat_int
 true
@@ -88,6 +90,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: not executed
   - Verticality checks: not executed
   - Non-abelian gauge group: breaking pattern not analyzed
+  - Tadpole constraint: not analyzed
 
 julia> matrix_rational(f_gs) == mat_rat
 true
@@ -123,8 +126,16 @@ A family of G4 fluxes:
   - Elementary quantization checks: satisfied
   - Verticality checks: failed
   - Non-abelian gauge group: broken
+  - Tadpole constraint: not analyzed
 
 julia> d3_tadpole_constraint(fgs);
+
+julia> fgs
+A family of G4 fluxes:
+  - Elementary quantization checks: satisfied
+  - Verticality checks: failed
+  - Non-abelian gauge group: broken
+  - Tadpole constraint: evaluated
 ```
 """
 function d3_tadpole_constraint(fgs::FamilyOfG4Fluxes; check::Bool = true)

diff --git a/experimental/FTheoryTools/src/FamilyOfG4Fluxes/constructors.jl b/experimental/FTheoryTools/src/FamilyOfG4Fluxes/constructors.jl
@@ -30,6 +30,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: not executed
   - Verticality checks: not executed
   - Non-abelian gauge group: breaking pattern not analyzed
+  - Tadpole constraint: not analyzed
 ```
 """
 function family_of_g4_fluxes(m::AbstractFTheoryModel, mat_int::QQMatrix, mat_rat::QQMatrix; check::Bool = true)
@@ -100,6 +101,13 @@ function Base.show(io::IO, gf::FamilyOfG4Fluxes)
     push!(properties_string, "  - Non-abelian gauge group: breaking pattern not analyzed")
   end
 
+  # Is the tadpole constrained worked out as polynomial?
+  if has_attribute(gf, :d3_tadpole_constraint)
+    push!(properties_string, "  - Tadpole constraint: evaluated")
+  else
+    push!(properties_string, "  - Tadpole constraint: not analyzed")
+  end
+
   # Print each line separately, to avoid extra line break at the end
   for (i, line) in enumerate(properties_string)
     if i == length(properties_string)

diff --git a/experimental/FTheoryTools/src/FamilyOfG4Fluxes/methods.jl b/experimental/FTheoryTools/src/FamilyOfG4Fluxes/methods.jl
@@ -26,6 +26,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: not executed
   - Verticality checks: not executed
   - Non-abelian gauge group: breaking pattern not analyzed
+  - Tadpole constraint: not analyzed
 
 julia> int_combination = matrix(ZZ, [[3]])
 [3]
@@ -91,6 +92,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: not executed
   - Verticality checks: not executed
   - Non-abelian gauge group: breaking pattern not analyzed
+  - Tadpole constraint: not analyzed
 
 julia> random_flux_instance(fgs, check = false)
 G4-flux candidate

diff --git a/experimental/FTheoryTools/src/FamilyOfG4Fluxes/properties.jl b/experimental/FTheoryTools/src/FamilyOfG4Fluxes/properties.jl
@@ -19,6 +19,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: satisfied
   - Verticality checks: failed
   - Non-abelian gauge group: broken
+  - Tadpole constraint: not analyzed
 
 julia> is_well_quantized(gf)
 true
@@ -47,6 +48,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: satisfied
   - Verticality checks: failed
   - Non-abelian gauge group: broken
+  - Tadpole constraint: not analyzed
 
 julia> is_vertical(gf)
 false
@@ -56,6 +58,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: satisfied
   - Verticality checks: satisfied
   - Non-abelian gauge group: broken
+  - Tadpole constraint: not analyzed
 
 julia> is_vertical(gf2)
 true
@@ -85,6 +88,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: satisfied
   - Verticality checks: failed
   - Non-abelian gauge group: broken
+  - Tadpole constraint: not analyzed
 
 julia> breaks_non_abelian_gauge_group(gf)
 true
@@ -94,6 +98,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: satisfied
   - Verticality checks: satisfied
   - Non-abelian gauge group: broken
+  - Tadpole constraint: not analyzed
 
 julia> breaks_non_abelian_gauge_group(gf2)
 true
@@ -103,6 +108,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: satisfied
   - Verticality checks: satisfied
   - Non-abelian gauge group: not broken
+  - Tadpole constraint: not analyzed
 
 julia> breaks_non_abelian_gauge_group(gf3)
 false

diff --git a/experimental/FTheoryTools/src/FamilyOfG4Fluxes/special_constructors.jl b/experimental/FTheoryTools/src/FamilyOfG4Fluxes/special_constructors.jl
@@ -30,18 +30,21 @@ A family of G4 fluxes:
   - Elementary quantization checks: satisfied
   - Verticality checks: failed
   - Non-abelian gauge group: broken
+  - Tadpole constraint: not analyzed
 
 julia> gf2 = special_flux_family(qsm_model, vert = true, check = false)
 A family of G4 fluxes:
   - Elementary quantization checks: satisfied
   - Verticality checks: satisfied
   - Non-abelian gauge group: broken
+  - Tadpole constraint: not analyzed
 
 julia> gf3 = special_flux_family(qsm_model, vert = true, not_breaking = true, check = false)
 A family of G4 fluxes:
   - Elementary quantization checks: satisfied
   - Verticality checks: satisfied
   - Non-abelian gauge group: not broken
+  - Tadpole constraint: not analyzed
 ```
 """
 function special_flux_family(m::AbstractFTheoryModel; vert::Bool = false, not_breaking::Bool = false, check::Bool = true)

diff --git a/experimental/FTheoryTools/src/G4Fluxes/attributes.jl b/experimental/FTheoryTools/src/G4Fluxes/attributes.jl
@@ -97,6 +97,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: satisfied
   - Verticality checks: failed
   - Non-abelian gauge group: broken
+  - Tadpole constraint: not analyzed
 
 julia> g4_2 = random_flux_instance(gfs, check = false)
 G4-flux candidate
@@ -176,6 +177,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: satisfied
   - Verticality checks: failed
   - Non-abelian gauge group: broken
+  - Tadpole constraint: not analyzed
 
 julia> g4 = random_flux_instance(gfs, check = false)
 G4-flux candidate
@@ -187,8 +189,9 @@ G4-flux candidate
 julia> g4_flux_family(g4, check = false)
 A family of G4 fluxes:
   - Elementary quantization checks: satisfied
-  - Verticality checks: satisfied
-  - Non-abelian gauge group: not broken
+  - Verticality checks: failed
+  - Non-abelian gauge group: broken
+  - Tadpole constraint: not analyzed
 ```
 """
 function g4_flux_family(gf::G4Flux; check::Bool = true)
@@ -218,6 +221,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: satisfied
   - Verticality checks: failed
   - Non-abelian gauge group: broken
+  - Tadpole constraint: not analyzed
 
 julia> g4 = random_flux_instance(gfs, check = false)
 G4-flux candidate
@@ -250,6 +254,7 @@ A family of G4 fluxes:
   - Elementary quantization checks: satisfied
   - Verticality checks: failed
   - Non-abelian gauge group: broken
+  - Tadpole constraint: not analyzed
 
 julia> g4 = random_flux_instance(gfs, check = false)
 G4-flux candidate