test: test in-place non-concrete polynomial addition

Author: AayushSabharwal

test/mutable_arithmetics.jl

@@ -2,6 +2,7 @@ using Test
 
 import MutableArithmetics
 const MA = MutableArithmetics
+import MultivariatePolynomials as MP
 
 using DynamicPolynomials
 
@@ -100,3 +101,15 @@ end
         @test (@allocated MA.operate!(-, poly2, x)) <= 144
     end
 end
+
+@testset "Non-concrete in-place polynomial addition" begin
+    @polyvar p q r s
+    p1 = MP.polynomial(r - q, Number) + MP.polynomial(3//5 * p^2, Number)
+    p2 = MP.polynomial(1//2 + s, Number) + MP.polynomial(p^2, Number)
+    result = p1 + p2
+    @test isequal(result, MA.operate!(+, p1, p2))
+
+    p1 = MP.polynomial(r - q, Number) + MP.polynomial(3//5 * p^2, Number)
+    p2 = MP.polynomial(1//2 + s, Number) + MP.polynomial(p^2, Number)
+    @test isequal(result, MA.operate!(+, p2, p1))
+end