Add promotion for ideal

JuliaAlgebra · May 24, 2024 · 66dcc13 · 66dcc13
1 parent ff8a74f
commit 66dcc13
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/src/fix.jl b/src/fix.jl
@@ -67,6 +67,9 @@ function Base.convert(
 end
 
 ideal(set::FixedVariablesSet, args...) = set.ideal
+function MA.promote_operation(::typeof(ideal), ::Type{FixedVariablesSet{V,T,M}}) where {V,T,M}
+    return FixedVariablesIdeal{V,T,M}
+end
 MP.variables(set::FixedVariablesSet) = MP.variables(set.ideal)
 function MP.monomial_type(::Type{FixedVariablesSet{V,T,M}}) where {V,T,M}
     return M

diff --git a/src/variety.jl b/src/variety.jl
@@ -116,6 +116,9 @@ function projective_algebraic_set(p::Vector, args...)
 end
 
 ideal(V::AlgebraicSet) = V.I
+function MA.promote_operation(::typeof(ideal), ::Type{<:AlgebraicSet{T,P,A}}) where {T,P,A}
+    return PolynomialIdeal{T,P,A}
+end
 
 MP.variables(V::AlgebraicSet) = MP.variables(V.I)
 MP.monomial_type(::Type{<:AlgebraicSet{T,P}}) where {T,P} = MP.monomial_type(P)