Add generic dispatch for ideal_type

Nemocas · Dec 5, 2024 · 6b0ecb0 · 6b0ecb0
1 parent 7a473f4
commit 6b0ecb0
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/Ideal.jl b/src/Ideal.jl
@@ -41,3 +41,7 @@ end
 iszero(I::Ideal) = all(iszero, gens(I))
 
 base_ring_type(::Type{<:IdealSet{T}}) where T <: RingElement = parent_type(T)
+
+# fundamental interface, to be documented
+ideal_type(x) = ideal_type(typeof(x))
+ideal_type(T::DataType) = throw(MethodError(ideal_type, (T,)))