From d2da95e077150347d2fe371ec938408a7185754c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Beno=C3=AEt=20Legat?= <benoit.legat@gmail.com>
Date: Wed, 6 Sep 2023 17:29:24 +0200
Subject: [PATCH] Add substitution test failing for DynamicPolynomials

---
 test/substitution.jl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/test/substitution.jl b/test/substitution.jl
index e9118636..79ccb55d 100644
--- a/test/substitution.jl
+++ b/test/substitution.jl
@@ -45,6 +45,9 @@ import MutableArithmetics as MA
     @inferred subs(p, x[1] => 1)
     @test iszero(subs(p, x[1] => 1))
 
+    # https://github.com/JuliaAlgebra/DynamicPolynomials.jl/issues/141
+    @test subs(x[1]^2 + x[2]^2, x[1] => x[3]^2) == x[2]^2 + x[3]^4
+
     q = (x[1] + 1) / (x[1] + 2)
     @test isapproxzero(q(x[1] => -1))
     @test !isapproxzero(q(x[1] => 1))