Skip to content

Commit

Permalink
add test
Browse files Browse the repository at this point in the history
  • Loading branch information
wdecker committed Oct 4, 2024
1 parent 81a801a commit 7191d4c
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions test/Modules/ModulesGraded.jl
Original file line number Diff line number Diff line change
Expand Up @@ -1243,5 +1243,15 @@ end
K, inc = kernel(phi)
end

@testset "ideal and quotient ring as module" begin
R, (x, y) = polynomial_ring(QQ,[:x, :y])
U = complement_of_point_ideal(R, [0, 0])
Rloc, _ = localization(R, U)
I = ideal(Rloc, [y^2-x^3-x^2])
II = ideal_as_module(I)
@test relations(II) == []
QI = quotient_ring_as_module(I)
@test rank(ambient_free_module(QI)) == 1
end


0 comments on commit 7191d4c

Please sign in to comment.