\ operator not working with symbolic complex variables of type Complex{Num}

[Bumblebee00]

julia> @variables x y z::Complex{Real}
3-element Vector{Complex{Num}}:
 x
 y
 z

julia> x \ y
y / x

julia> x \ z
ERROR: StackOverflowError:
Stacktrace:
     [1] arguments(a::Symbolics.ComplexTerm{Real})
       @ Symbolics ~/.julia/dev/Symbolics/src/complex.jl:23
     [2] wrap(a::Symbolics.ComplexTerm{Real})
       @ Symbolics ~/.julia/dev/Symbolics/src/complex.jl:63
     [3] \(a::SymbolicUtils.BasicSymbolic{Real}, b::Symbolics.ComplexTerm{Real})
       @ Symbolics ~/.julia/dev/Symbolics/src/complex.jl:58--- the above 1 lines are repeated 39986 more times ---

[Bumblebee00]

also:

julia> @variables y z
2-element Vector{Num}:
 y
 z

julia> y \ (im)z
ERROR: StackOverflowError:
Stacktrace:
     [1] copy
       @ ./broadcast.jl:919 [inlined]
     [2] materialize(bc::Base.Broadcast.Broadcasted{Base.Broadcast.DefaultArrayStyle{1}, Nothing, typeof(Symbolics.wrap), Tuple{Vector{Any}}})
       @ Base.Broadcast ./broadcast.jl:872
     [3] wrap(a::Symbolics.ComplexTerm{Real})
       @ Symbolics ~/.julia/dev/Symbolics/src/complex.jl:63
     [4] \(a::SymbolicUtils.BasicSymbolic{Real}, b::Symbolics.ComplexTerm{Real})
       @ Symbolics ~/.julia/packages/SymbolicUtils/QUEf3/src/methods.jl:58--- the above 1 lines are repeated 39985 more times ---

julia> y \ (im)*z
((im)*z) / y

julia> im*z
im*z

julia> (im)z
im*z

gives this strange behaviour in wich it works writing (im)*z but not writing(im)z, is it supposed to be like this, or not?

[ChrisRackauckas]

Not expected. On scalars it's the same as / iirc?

[Bumblebee00]

Yes on scalars it behaves as normal division

[ChrisRackauckas]

oh the underlying issue is wrap(a::Symbolics.ComplexTerm{Real}).

Symbolics.jl/src/num.jl

Line 1 in 9903e2a

@symbolic_wrap struct Num <: Real

Num assumes Real for tracing, like ForwardDiff Dual numbers. We could maybe make a ComplexNum?