From 06d1ea22b836474f2ca7513dbfb7eda9d8b41887 Mon Sep 17 00:00:00 2001
From: HechtiDerLachs <zach@mathematik.uni-kl.de>
Date: Tue, 15 Oct 2024 10:56:51 +0200
Subject: [PATCH] Add informative error message for standard basis computation.

---
 src/Modules/UngradedModules/SubquoModule.jl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/Modules/UngradedModules/SubquoModule.jl b/src/Modules/UngradedModules/SubquoModule.jl
index 792164dca70a..c00fcc0e997f 100644
--- a/src/Modules/UngradedModules/SubquoModule.jl
+++ b/src/Modules/UngradedModules/SubquoModule.jl
@@ -755,6 +755,10 @@ function set_default_ordering!(M::SubquoModule, ord::ModuleOrdering)
 end
 
 function standard_basis(M::SubquoModule; ordering::ModuleOrdering = default_ordering(M))
+  error("standard basis computation is not supported for modules over rings of type $(typeof(base_ring(M)))")
+end
+
+function standard_basis(M::SubquoModule{T}; ordering::ModuleOrdering = default_ordering(M)) where {T<:MPolyRingRingElem}
   @req is_exact_type(elem_type(base_ring(M))) "This functionality is only supported over exact fields."
   if !haskey(M.groebner_basis, ordering)
     if isdefined(M, :quo)