From de041603561b95153c909463ace8f336afc4d3ce Mon Sep 17 00:00:00 2001
From: Rafael Mohr <Rafael.Mohr@lip6.fr>
Date: Thu, 16 May 2024 18:33:14 +0200
Subject: [PATCH] min presentation test

---
 test/Modules/ModulesGraded.jl | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/test/Modules/ModulesGraded.jl b/test/Modules/ModulesGraded.jl
index a918dbe0929..e37707609ed 100644
--- 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