Merge pull request #233 from jverzani/Qcomplex

re-add complex in Q module; close #231

Author: jverzani

src/assumptions.jl

@@ -95,7 +95,7 @@ import Compat.LinearAlgebra: det, norm
 Q_predicates = (:antihermitian,
                 :bounded, :finite, # bounded deprecated
                 :commutative,
-#                :complex,
+                :complex,
                 :composite,
                 :even,
                 :extended_real,

test/tests.jl

@@ -521,6 +521,12 @@ end
     # issue 222 type of eigvals
     A = [Sym("a") 1; 0 1]
     @test typeof(eigvals(A)) <: Vector{Sym}
+
+    # issue 231 Q.complex
+    @vars x_maybecomplex
+    @vars x_imag imaginary=true
+    @test ask(Q.complex(x_maybecomplex)) == nothing
+    @test ask(Q.complex(x_imag)) == true
 end
 
 @testset "generic programming, issue 223" begin