Skip to content

Commit

Permalink
fixup! more rank -> torsion_free_rank
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin committed Feb 28, 2024
1 parent 335b6ce commit 3e83fda
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
end

@testset "Basic attributes" begin
@test rank(parent(divisor_class(DC2))) == 2
@test torsion_free_rank(parent(divisor_class(DC2))) == 2
@test dim(toric_variety(DC2)) == 2
end

Expand Down

0 comments on commit 3e83fda

Please sign in to comment.