From 608b1c43843a210480b50cd6ca6244897c59a315 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=20Legat?= Date: Thu, 21 Nov 2024 16:48:42 +0100 Subject: [PATCH] Fix --- src/subs.jl | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/subs.jl b/src/subs.jl index 03501d5..33bb1ec 100644 --- a/src/subs.jl +++ b/src/subs.jl @@ -207,6 +207,16 @@ function MP.substitute( return MP.substitute(st, p, subsmap(st, MP.variables(p), s)) end +# TODO resolve ambiguity. Can remove after: +# https://github.com/JuliaAlgebra/MultivariatePolynomials.jl/pull/305 +function MP.substitute( + st::MP.AbstractSubstitutionType, + p::PolyType, + s::MP.AbstractMultiSubstitution, +) + return MP.substitute(st, p, subsmap(st, MP.variables(p), (s,))) +end + function MP.substitute( st::MP.AbstractSubstitutionType, p::PolyType,