Add informative error message for standard basis computation.

oscar-system · Oct 15, 2024 · 1d102a4 · 1d102a4
1 parent 24c8f63
commit 1d102a4
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{<:MPolyRingElem{T}}; ordering::ModuleOrdering = default_ordering(M)) where {T<:Union{<:FieldElem, ZZRingElem}}
  @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)