Skip to content

Commit

Permalink
[FTheoryTools] Fix more tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@HereAround
HereAround committed Jan 11, 2025
1 parent 05bc27c commit 3c10bba
Show file tree
Hide file tree
Showing 2 changed files with 37 additions and 35 deletions.
6 changes: 4 additions & 2 deletions experimental/FTheoryTools/src/TateModels/attributes.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -421,8 +421,10 @@ Global Tate model over a not fully specified base
julia> length(singular_loci(t))
2
julia> singular_loci(t)[2]
(Ideal (w), (1, 2, 3), "III")
julia> sort([k[2:3] for k in singular_loci(t)])
2-element Vector{Tuple{Tuple{Int64, Int64, Int64}, String}}:
((0, 0, 1), "I_1")
((1, 2, 3), "III")
```
"""
@attr Vector{<:Tuple{<:MPolyIdeal{<:MPolyRingElem}, Tuple{Int64, Int64, Int64}, String}} function singular_loci(t::GlobalTateModel)
Expand Down
66 changes: 33 additions & 33 deletions experimental/FTheoryTools/test/tate_models.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -218,39 +218,39 @@ end
@test length(singular_loci(t_iiistar)) == 2
@test length(singular_loci(t_iistar)) == 2
@test length(singular_loci(t_nm)) == 2
@test singular_loci(t_i1)[1][2:3] == ((0, 0, 1), "I_1")
@test singular_loci(t_i2_ns)[2][2:3] == ((0, 0, 2), "Non-split I_2")
@test singular_loci(t_i2_s)[2][2:3] == ((0, 0, 2), "Split I_2")
@test singular_loci(t_i3_ns)[2][2:3] == ((0, 0, 3), "Non-split I_3")
@test singular_loci(t_i3_s)[2][2:3] == ((0, 0, 3), "Split I_3")
@test singular_loci(t_i4_ns)[2][2:3] == ((0, 0, 4), "Non-split I_4")
@test singular_loci(t_i4_s)[2][2:3] == ((0, 0, 4), "Split I_4")
@test singular_loci(t_i5_ns)[2][2:3] == ((0, 0, 5), "Non-split I_5")
@test singular_loci(t_i5_s)[2][2:3] == ((0, 0, 5), "Split I_5")
@test singular_loci(t_i6_ns)[2][2:3] == ((0, 0, 6), "Non-split I_6")
@test singular_loci(t_i6_s)[2][2:3] == ((0, 0, 6), "Split I_6")
@test singular_loci(t_i7_ns)[2][2:3] == ((0, 0, 7), "Non-split I_7")
@test singular_loci(t_i7_s)[2][2:3] == ((0, 0, 7), "Split I_7")
@test singular_loci(t_ii)[2][2:3] == ((1, 1, 2), "II")
@test singular_loci(t_iii)[2][2:3] == ((1, 2, 3), "III")
@test singular_loci(t_iv_ns)[2][2:3] == ((2, 2, 4), "Non-split IV")
@test singular_loci(t_iv_s)[2][2:3] == ((2, 2, 4), "Split IV")
@test singular_loci(t_istar0_ns)[2][2:3] == ((2, 3, 6), "Non-split I^*_0")
@test singular_loci(t_istar0_ss)[2][2:3] == ((2, 3, 6), "Semi-split I^*_0")
@test singular_loci(t_istar0_s)[2][2:3] == ((2, 3, 6), "Split I^*_0")
@test singular_loci(t_istar1_ns)[2][2:3] == ((2, 3, 7), "Non-split I^*_1")
@test singular_loci(t_istar1_s)[2][2:3] == ((2, 3, 7), "Split I^*_1")
@test singular_loci(t_istar2_ns)[2][2:3] == ((2, 3, 8), "Non-split I^*_2")
@test singular_loci(t_istar2_s)[2][2:3] == ((2, 3, 8), "Split I^*_2")
@test singular_loci(t_istar3_ns)[2][2:3] == ((2, 3, 9), "Non-split I^*_3")
@test singular_loci(t_istar3_s)[2][2:3] == ((2, 3, 9), "Split I^*_3")
@test singular_loci(t_istar4_ns)[2][2:3] == ((2, 3, 10), "Non-split I^*_4")
@test singular_loci(t_istar4_s)[2][2:3] == ((2, 3, 10), "Split I^*_4")
@test singular_loci(t_ivstar_ns)[2][2:3] == ((3, 4, 8), "Non-split IV^*")
@test singular_loci(t_ivstar_s)[2][2:3] == ((3, 4, 8), "Split IV^*")
@test singular_loci(t_iiistar)[2][2:3] == ((3, 5, 9), "III^*")
@test singular_loci(t_iistar)[2][2:3] == ((4, 5, 10), "II^*")
@test singular_loci(t_nm)[1][2:3] == ((4, 6, 12), "Non-minimal")
@test issetequal([k[2:3] for k in singular_loci(t_i1)], [((0, 0, 1), "I_1"), ((0, 0, 1), "I_1")])
@test issetequal([k[2:3] for k in singular_loci(t_i2_ns)], [((0, 0, 1), "I_1"), ((0, 0, 2), "Non-split I_2")])
@test issetequal([k[2:3] for k in singular_loci(t_i2_s)], [((0, 0, 1), "I_1"), ((0, 0, 2), "Split I_2")])
@test issetequal([k[2:3] for k in singular_loci(t_i3_ns)], [((0, 0, 1), "I_1"), ((0, 0, 3), "Non-split I_3")])
@test issetequal([k[2:3] for k in singular_loci(t_i3_s)], [((0, 0, 1), "I_1"), ((0, 0, 3), "Split I_3")])
@test issetequal([k[2:3] for k in singular_loci(t_i4_ns)], [((0, 0, 1), "I_1"), ((0, 0, 4), "Non-split I_4")])
@test issetequal([k[2:3] for k in singular_loci(t_i4_s)], [((0, 0, 1), "I_1"), ((0, 0, 4), "Split I_4")])
@test issetequal([k[2:3] for k in singular_loci(t_i5_ns)], [((0, 0, 1), "I_1"), ((0, 0, 5), "Non-split I_5")])
@test issetequal([k[2:3] for k in singular_loci(t_i5_s)], [((0, 0, 1), "I_1"), ((0, 0, 5), "Split I_5")])
@test issetequal([k[2:3] for k in singular_loci(t_i6_ns)], [((0, 0, 1), "I_1"), ((0, 0, 6), "Non-split I_6")])
@test issetequal([k[2:3] for k in singular_loci(t_i6_s)], [((0, 0, 1), "I_1"), ((0, 0, 6), "Split I_6")])
@test issetequal([k[2:3] for k in singular_loci(t_i7_ns)], [((0, 0, 1), "I_1"), ((0, 0, 7), "Non-split I_7")])
@test issetequal([k[2:3] for k in singular_loci(t_i7_s)], [((0, 0, 1), "I_1"), ((0, 0, 7), "Split I_7")])
@test issetequal([k[2:3] for k in singular_loci(t_ii)], [((0, 0, 1), "I_1"), ((1, 1, 2), "II")])
@test issetequal([k[2:3] for k in singular_loci(t_iii)], [((0, 0, 1), "I_1"), ((1, 2, 3), "III")])
@test issetequal([k[2:3] for k in singular_loci(t_iv_ns)], [((0, 0, 1), "I_1"), ((2, 2, 4), "Non-split IV")])
@test issetequal([k[2:3] for k in singular_loci(t_iv_s)], [((0, 0, 1), "I_1"), ((2, 2, 4), "Split IV")])
@test issetequal([k[2:3] for k in singular_loci(t_istar0_ns)], [((0, 0, 1), "I_1"), ((2, 3, 6), "Non-split I^*_0")])
@test issetequal([k[2:3] for k in singular_loci(t_istar0_ss)], [((0, 0, 1), "I_1"), ((2, 3, 6), "Semi-split I^*_0")])
@test issetequal([k[2:3] for k in singular_loci(t_istar0_s)], [((0, 0, 1), "I_1"), ((2, 3, 6), "Split I^*_0")])
@test issetequal([k[2:3] for k in singular_loci(t_istar1_ns)], [((0, 0, 1), "I_1"), ((2, 3, 7), "Non-split I^*_1")])
@test issetequal([k[2:3] for k in singular_loci(t_istar1_s)], [((0, 0, 1), "I_1"), ((2, 3, 7), "Split I^*_1")])
@test issetequal([k[2:3] for k in singular_loci(t_istar2_ns)], [((0, 0, 1), "I_1"), ((2, 3, 8), "Non-split I^*_2")])
@test issetequal([k[2:3] for k in singular_loci(t_istar2_s)], [((0, 0, 1), "I_1"), ((2, 3, 8), "Split I^*_2")])
@test issetequal([k[2:3] for k in singular_loci(t_istar3_ns)], [((0, 0, 1), "I_1"), ((2, 3, 9), "Non-split I^*_3")])
@test issetequal([k[2:3] for k in singular_loci(t_istar3_s)], [((0, 0, 1), "I_1"), ((2, 3, 9), "Split I^*_3")])
@test issetequal([k[2:3] for k in singular_loci(t_istar4_ns)], [((0, 0, 1), "I_1"), ((2, 3, 10), "Non-split I^*_4")])
@test issetequal([k[2:3] for k in singular_loci(t_istar4_s)], [((0, 0, 1), "I_1"), ((2, 3, 10), "Split I^*_4")])
@test issetequal([k[2:3] for k in singular_loci(t_ivstar_ns)], [((0, 0, 1), "I_1"), ((3, 4, 8), "Non-split IV^*")])
@test issetequal([k[2:3] for k in singular_loci(t_ivstar_s)], [((0, 0, 1), "I_1"), ((3, 4, 8), "Split IV^*")])
@test issetequal([k[2:3] for k in singular_loci(t_iiistar)], [((0, 0, 1), "I_1"), ((3, 5, 9), "III^*")])
@test issetequal([k[2:3] for k in singular_loci(t_iistar)], [((0, 0, 1), "I_1"), ((4, 5, 10), "II^*")])
@test issetequal([k[2:3] for k in singular_loci(t_nm)], [((0, 0, 1), "I_1"), ((4, 6, 12), "Non-minimal")])
end

#@testset "Blowups of global Tate models" begin
Expand Down

0 comments on commit 3c10bba

Please sign in to comment.