Add informative error message for standard basis computation.

oscar-system · Oct 15, 2024 · 06d1ea2 · 06d1ea2
1 parent 24c8f63
commit 06d1ea2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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)