From 2a96fc93fd1a80bee61d77e2802880ecf6f3152b Mon Sep 17 00:00:00 2001 From: Martin Bies Date: Tue, 26 Nov 2024 15:18:45 +0100 Subject: [PATCH] [ToricVarieties] Tests for blowup do not depend on order of rays anymore --- .../ToricVarieties/toric_blowups.jl | 21 ++++++++++--------- 1 file changed, 11 insertions(+), 10 deletions(-) diff --git a/test/AlgebraicGeometry/ToricVarieties/toric_blowups.jl b/test/AlgebraicGeometry/ToricVarieties/toric_blowups.jl index 6c2de2508ff0..38e7727fbf0c 100644 --- a/test/AlgebraicGeometry/ToricVarieties/toric_blowups.jl +++ b/test/AlgebraicGeometry/ToricVarieties/toric_blowups.jl @@ -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 @@ -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 @@ -77,4 +77,5 @@ @test bl2 isa Oscar.ToricBlowupMorphism @test center_unnormalized(bl2) == II end + end