Better compassion overloads

Author: YingboMa

src/ModelingToolkit.jl

@@ -152,12 +152,12 @@ end
 tosymbolic(a::Num) = tosymbolic(value(a))
 tosymbolic(a::Sym) = tovar(a)
 tosymbolic(a) = a
-@num_method Base.isless  Num(isless(tosymbolic(a), tosymbolic(b))) (Real,)
-@num_method Base.:(<)    Num(tosymbolic(a) < tosymbolic(b)) (Real,)
-@num_method Base.:(<=)   Num(tosymbolic(a) <= tosymbolic(b)) (Real,)
-@num_method Base.:(>)    Num(tosymbolic(a) > tosymbolic(b)) (Real,)
-@num_method Base.:(>=)   Num(tosymbolic(a) >= tosymbolic(b)) (Real,)
-@num_method Base.:(==)   Num(tosymbolic(a) == tosymbolic(b)) (AbstractFloat,Number)
+@num_method Base.isless  (val = isless(tosymbolic(a), tosymbolic(b)); val isa Bool ? val : Num(val)) (Real,)
+@num_method Base.:(<)    (val = tosymbolic(a) < tosymbolic(b)       ; val isa Bool ? val : Num(val)) (Real,)
+@num_method Base.:(<=)   (val = tosymbolic(a) <= tosymbolic(b)      ; val isa Bool ? val : Num(val)) (Real,)
+@num_method Base.:(>)    (val = tosymbolic(a) > tosymbolic(b)       ; val isa Bool ? val : Num(val)) (Real,)
+@num_method Base.:(>=)   (val = tosymbolic(a) >= tosymbolic(b)      ; val isa Bool ? val : Num(val)) (Real,)
+@num_method Base.:(==)   (val = tosymbolic(a) == tosymbolic(b)      ; val isa Bool ? val : Num(val)) (AbstractFloat,Number)
 @num_method Base.isequal isequal(tosymbolic(a), tosymbolic(b)) (AbstractFloat, Number, Symbolic)
 
 Base.hash(x::Num, h::UInt) = hash(value(x), h)

test/operation_overloads.jl

@@ -25,7 +25,7 @@ F = lu(X)
 R = simplify.(F.L * F.U - X[F.p, :], polynorm=true)
 @test iszero(R)
 @test simplify.(F \ X) == I
-@test ModelingToolkit._solve(X, X) == I
+@test ModelingToolkit._solve(X, X, true) == I
 inv(X)
 qr(X)