diff --git a/src/values/compare.jl b/src/values/compare.jl index f778ce95..3484e643 100644 --- a/src/values/compare.jl +++ b/src/values/compare.jl @@ -3,30 +3,18 @@ function (==)(x::Mag, y::Mag) 0 != ccall(@libarb(mag_equal), Cint, (Ref{Mag}, Ref{Mag}), x, y) end -function (!=)(x::Mag, y::Mag) - 0 == ccall(@libarb(mag_equal), Cint, (Ref{Mag}, Ref{Mag}), x, y) -end function (==)(x::ArbFloat{P}, y::ArbFloat{P}) where {P} 0 != ccall(@libarb(arf_equal), Cint, (Ref{ArbFloat}, Ref{ArbFloat}), x, y) end -function (!=)(x::ArbFloat{P}, y::ArbFloat{P}) where {P} - 0 == ccall(@libarb(arf_equal), Cint, (Ref{ArbFloat}, Ref{ArbFloat}), x, y) -end function (==)(x::ArbReal{P}, y::ArbReal{P}) where {P} 0 != ccall(@libarb(arb_equal), Cint, (Ref{ArbReal}, Ref{ArbReal}), x, y) end -function (!=)(x::ArbReal{P}, y::ArbReal{P}) where {P} - 0 == ccall(@libarb(arb_equal), Cint, (Ref{ArbReal}, Ref{ArbReal}), x, y) -end function (==)(x::ArbComplex{P}, y::ArbComplex{P}) where {P} 0 != ccall(@libarb(acb_equal), Cint, (Ref{ArbComplex}, Ref{ArbComplex}), x, y) end -function (!=)(x::ArbComplex{P}, y::ArbComplex{P}) where {P} - 0 == ccall(@libarb(acb_equal), Cint, (Ref{ArbComplex}, Ref{ArbComplex}), x, y) -end #> F(x::T,y::T), for F as {<, >, <=, >=} @@ -45,28 +33,16 @@ end function (<)(x::Mag, y::Mag) signbit(cmp(x, y)) end -function (>)(x::Mag, y::Mag) - signbit(cmp(y, x)) -end function (<=)(x::Mag, y::Mag) (x < y) || (x == y) end -function (>=)(x::Mag, y::Mag) - (x > y) || (x == y) -end function (<)(x::ArbFloat{P}, y::ArbFloat{P}) where {P} signbit(cmp(x, y)) end -function (>)(x::ArbFloat{P}, y::ArbFloat{P}) where {P} - signbit(cmp(y, x)) -end function (<=)(x::ArbFloat{P}, y::ArbFloat{P}) where {P} (x < y) || (x == y) end -function (>=)(x::ArbFloat{P}, y::ArbFloat{P}) where {P} - (x > y) || (x == y) -end function (<)(x::ArbReal{P}, y::ArbReal{P}) where {P} x = upperbound(x) @@ -93,7 +69,7 @@ end # ArbComplex comparisons < > <= >= -for F in (:(==), :(!=), :(<), :(<=), :(>=), :(>), :isequal, :isless) +for F in (:(==), :(<), :(<=), :(>=), :(>), :isequal, :isless) @eval begin $F(x::ArbFloat{P}, y::T) where {P, T<:Integer} = $F(promote(x, y)...,)