min presentation test

oscar-system · May 16, 2024 · de04160 · de04160
1 parent 74ef0ae
commit de04160
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/test/Modules/ModulesGraded.jl b/test/Modules/ModulesGraded.jl
@@ -339,6 +339,12 @@ end
     @test codomain(psi) == N
     @test is_bijective(phi)
     @test is_bijective(psi)
+  I = ideal(R, [x^2, x*y, y])
+  A, _ = quo(R, I)
+  M = quotient_ring_as_module(A)
+  mp = presentation(M, minimal = true)
+  @test rank(pm[0]) == 1
+  @test rank(pm[1]) == 2
 end