Skip to content

Commit

Permalink
[ToricVarieties] Tests for blowup do not depend on order of rays anymore
Browse files Browse the repository at this point in the history
  • Loading branch information
HereAround committed Nov 26, 2024
1 parent ba8f438 commit 2a96fc9
Showing 1 changed file with 11 additions and 10 deletions.
21 changes: 11 additions & 10 deletions test/AlgebraicGeometry/ToricVarieties/toric_blowups.jl
Original file line number Diff line number Diff line change
Expand Up @@ -4,15 +4,15 @@
BP2 = domain(blow_up(P2, 1; coordinate_name = "e"))

@testset "Basic properties of BP2" begin
@test is_normal(BP2) == true
@test is_affine(BP2) == false
@test is_projective(BP2) == true
@test is_projective_space(BP2) == false
@test is_smooth(BP2) == true
@test is_complete(BP2) == true
@test is_orbifold(BP2) == true
@test is_simplicial(BP2) == true
@test has_torusfactor(BP2) == false
@test is_normal(BP2)
@test !is_affine(BP2)
@test is_projective(BP2)
@test !is_projective_space(BP2)
@test is_smooth(BP2)
@test is_complete(BP2)
@test is_orbifold(BP2)
@test is_simplicial(BP2)
@test !has_torusfactor(BP2)
end

@testset "Basic attributes of BP2" begin
Expand Down Expand Up @@ -41,7 +41,7 @@
@testset "Basic tests for simple toric blowup" begin
@test torsion_free_rank(domain(grid_morphism(bl))) == 2
@test torsion_free_rank(codomain(grid_morphism(bl))) == 2
@test matrix(morphism_on_torusinvariant_weil_divisor_group(bl)) == matrix(ZZ, [1 0 0; 0 1 0; 0 0 1; 1 1 0])
@test rank(matrix(morphism_on_torusinvariant_weil_divisor_group(bl))) == 3
@test matrix(morphism_on_torusinvariant_cartier_divisor_group(bl)) == matrix(morphism_on_torusinvariant_weil_divisor_group(bl))
end

Expand Down Expand Up @@ -77,4 +77,5 @@
@test bl2 isa Oscar.ToricBlowupMorphism
@test center_unnormalized(bl2) == II
end

end

0 comments on commit 2a96fc9

Please sign in to comment.