Skip to content

Commit

Permalink
fix booktest
Browse files Browse the repository at this point in the history
  • Loading branch information
simonbrandhorst committed Oct 9, 2024
1 parent 2891ec5 commit d350e36
Showing 1 changed file with 4 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -75,8 +75,8 @@ julia> basisNSY1, gramTriv = trivial_lattice(Y1);

julia> [(i[1],i[2]) for i in reducible_fibers(Y1)]
3-element Vector{Tuple{Vector{QQFieldElem}, Tuple{Symbol, Int64}}}:
([1, 1], (:A, 2))
([0, 1], (:E, 8))
([1, 1], (:A, 2))
([1, 0], (:E, 8))

julia> basisNSY1, _, NSY1 = algebraic_lattice(Y1);
Expand All @@ -85,8 +85,6 @@ julia> basisNSY1
20-element Vector{Any}:
Fiber over (2, 1)
section: (0 : 1 : 0)
component A2_1 of fiber over (1, 1)
component A2_2 of fiber over (1, 1)
component E8_1 of fiber over (0, 1)
component E8_2 of fiber over (0, 1)
component E8_3 of fiber over (0, 1)
Expand All @@ -95,6 +93,8 @@ julia> basisNSY1
component E8_6 of fiber over (0, 1)
component E8_7 of fiber over (0, 1)
component E8_8 of fiber over (0, 1)
component A2_1 of fiber over (1, 1)
component A2_2 of fiber over (1, 1)
component E8_1 of fiber over (1, 0)
component E8_2 of fiber over (1, 0)
component E8_3 of fiber over (1, 0)
Expand All @@ -112,7 +112,7 @@ given as the formal sum of
1 * sheaf of ideals

julia> b, I = Oscar._is_equal_up_to_permutation_with_permutation(gram_matrix(NS), gram_matrix(NSY1))
(true, [1, 2, 19, 20, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18])
(true, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 19, 20, 11, 12, 13, 14, 15, 16, 17, 18])

julia> @assert gram_matrix(NSY1) == gram_matrix(NS)[I,I]

Expand Down

0 comments on commit d350e36

Please sign in to comment.