Add generic dispatch for ideal_type

Nemocas · Dec 5, 2024 · 49dfd4c · 49dfd4c
1 parent 7a473f4
commit 49dfd4c
Show file tree

Hide file tree

Showing 2 changed files with 5 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,)))
diff --git a/src/exports.jl b/src/exports.jl
@@ -260,6 +260,7 @@ export hooklength
 export howell_form
 export howell_form_with_transformation
 export ideal
+export ideal_type
 export identity_map
 export identity_matrix
 export image