From 26c284d091bf795c83820129098f356a6f5f46ab Mon Sep 17 00:00:00 2001
From: pogudingleb <pogudin.gleb@gmail.com>
Date: Thu, 19 Dec 2024 09:03:01 +0100
Subject: [PATCH] removing field requirement for quotient_basis

---
 src/primality_check.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/primality_check.jl b/src/primality_check.jl
index 9fa4764e..f0be38bd 100644
--- a/src/primality_check.jl
+++ b/src/primality_check.jl
@@ -8,7 +8,7 @@ Takes as input a Groebner basis J of a zero-dimensional ideal and
 returns a monomial basis of the quotient ring
 (more precisely, the list of standard monomials)
 """
-function quotient_basis(J::Array{QQMPolyRingElem, 1})
+function quotient_basis(J::Array{<:MPolyRingElem, 1})
     if !Groebner.isgroebner(J)
         throw(DomainError("Input is not a Groebner basis"))
     end