Skip to content

Add convenience constructors for flux instances #4711

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
HereAround merged 1 commit into from
Mar 10, 2025
Merged

Add convenience constructors for flux instances #4711

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
69 changes: 68 additions & 1 deletion experimental/FTheoryTools/src/FamilyOfG4Fluxes/methods.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,34 @@ julia> rat_combination = matrix(QQ, [[5//2]])
[5//2]

julia> flux_instance(fgs, int_combination, rat_combination, check = false)
G4-flux candidate
- Elementary quantization checks: not executed
- Transversality checks: not executed
- Non-abelian gauge group: breaking pattern not analyzed
- Tadpole cancellation check: not executed

julia> flux_instance(fgs, Int[], [], check = false)
G4-flux candidate
- Elementary quantization checks: not executed
- Transversality checks: not executed
- Non-abelian gauge group: breaking pattern not analyzed
- Tadpole cancellation check: not executed

julia> flux_instance(fgs, [3], [], check = false)
G4-flux candidate
- Elementary quantization checks: not executed
- Transversality checks: not executed
- Non-abelian gauge group: breaking pattern not analyzed
- Tadpole cancellation check: not executed

julia> flux_instance(fgs, [], [5//2], check = false)
G4-flux candidate
- Elementary quantization checks: not executed
- Transversality checks: not executed
- Non-abelian gauge group: breaking pattern not analyzed
- Tadpole cancellation check: not executed

julia> flux_instance(fgs, [3], [5//2], check = false)
G4-flux candidate
- Elementary quantization checks: not executed
- Transversality checks: not executed
Expand All @@ -45,7 +73,7 @@ function flux_instance(fgs::FamilyOfG4Fluxes, int_combination::ZZMatrix, rat_com
@req ncols(int_combination) == 1 "int_combination is expected to be a single column vector"
@req ncols(rat_combination) == 1 "rat_combination is expected to be a single column vector"
@req nrows(int_combination) == ncols(matrix_integral(fgs)) "Number of specified integers must match the number of integral combinations in G4-flux family"
@req nrows(rat_combination) == ncols(matrix_rational(fgs)) "Number of specified rationals must match the number of integral combinations in G4-flux family"
@req nrows(rat_combination) == ncols(matrix_rational(fgs)) "Number of specified rationals must match the number of rational combinations in G4-flux family"
m1 = matrix_integral(fgs) * int_combination
m2 = matrix_rational(fgs) * rat_combination
gens = chosen_g4_flux_basis(model(fgs), check = check)
Expand Down Expand Up @@ -74,6 +102,45 @@ function flux_instance(fgs::FamilyOfG4Fluxes, int_combination::ZZMatrix, rat_com
end


function flux_instance(fgs::FamilyOfG4Fluxes, int_coeffs::Vector{Int}, rat_coeffs::Vector{Rational{Int}}; check::Bool = true)
if length(int_coeffs) == 0 && length(rat_coeffs) == 0
m = model(fgs)
r = cohomology_ring(ambient_space(m), check = check)
return G4Flux(m, CohomologyClass(ambient_space(m), zero(r)))
end
@req all(x -> x isa Int, int_coeffs) "Provided integral coefficient is not an integer"
@req all(x -> x isa Rational{Int64}, rat_coeffs) "Provided integral coefficient is not an integer"

m_int = matrix(ZZ, [int_coeffs])
if length(int_coeffs) == 0
m_int = zero_matrix(ZZ, 1, ncols(matrix_integral(fgs)))
end
if length(int_coeffs) > 0
@req length(int_coeffs) == ncols(matrix_integral(fgs)) "Number of specified integers must match the number of integral combinations in G4-flux family"
end
m_rat = matrix(QQ, [rat_coeffs])
if length(rat_coeffs) == 0
m_rat = zero_matrix(QQ, 1, ncols(matrix_rational(fgs)))
end
if length(rat_coeffs) > 0
@req length(rat_coeffs) == ncols(matrix_rational(fgs)) "Number of specified rationals must match the number of rational combinations in G4-flux family"
end
return flux_instance(fgs, m_int, m_rat, check = check)
end

function flux_instance(fgs::FamilyOfG4Fluxes, int_coeffs::Vector{Any}, rat_coeffs::Vector{Rational{Int}}; check::Bool = true)
return flux_instance(fgs, Vector{Int}(int_coeffs), rat_coeffs, check = check)
end

function flux_instance(fgs::FamilyOfG4Fluxes, int_coeffs::Vector{Int}, rat_coeffs::Vector{Any}; check::Bool = true)
return flux_instance(fgs, int_coeffs, Vector{Rational{Int}}(rat_coeffs), check = check)
end

function flux_instance(fgs::FamilyOfG4Fluxes, int_coeffs::Vector{Any}, rat_coeffs::Vector{Any}; check::Bool = true)
return flux_instance(fgs, Vector{Int}(int_coeffs), Vector{Rational{Int}}(rat_coeffs), check = check)
end


@doc raw"""
random_flux_instance(fgs::FamilyOfG4Fluxes; check::Bool = true)

Expand Down