mpoly form tests

Author: shashi

test/nf.jl

@@ -0,0 +1,8 @@
+using SymbolicUtils, Test
+@testset "polyform" begin
+    @syms a b c d
+    @test simplify(a * (b + -1 * c) + -1 * (b * a + -1 * c * a), mpoly=true) == 0
+    @eqtest simplify(sin((a+b)^2)^2; mpoly=true) == sin(a^2+b^2+2*a*b)^2
+    # fixme: can this be made faster?
+    @test simplify(sin((a+b)^2)^2 + cos((a+b)^2)^2; mpoly=true) == 1
+end

test/runtests.jl

@@ -18,6 +18,7 @@ include("basics.jl")
 include("order.jl")
 include("rewrite.jl")
 include("rulesets.jl")
+include("nf.jl")
 include("interface.jl")
 include("fuzz.jl")
 if haskey(ENV, "TRAVIS")