bug with and operation and limit correlation

[tokamaster]

when trying to calculate:

x = 0.1
y = 0.2

and(x,y,getValidCorr(x,y,))

there is an error:

julia> and(0.1,0.2,getValidCorr(0.1,0.2))
ERROR: ArgumentError: Interval Boolean must be ⊆ [0, 1]. Provided = [-3.46945e-18, 0.100001]
Stacktrace:
[1] checkUncBool at /home/enmidol/Documents/UncLogic.jl/src/Checks.jl:28 [inlined]
[2] checkUncBool at /home/enmidol/Documents/UncLogic.jl/src/Checks.jl:18 [inlined]
[3] and(::Float64, ::Float64, ::Interval{Float64}) at /home/enmidol/Documents/UncLogic.jl/src/Operations.jl:30
[4] top-level scope at none:0

this is because -3.46945e-18 is essentially zero, but the code doesn't get it as zero.

our and operation is not continuous (it is discontinuous at getValidCorr(x,y))

[AnderGray]

Very nice catch! And you're totally right that the operation is discontinuous just at the limit. Everything is fine in the adjacent floating point numbers :

julia> c = getValidCorr(0.1, 0.2)
[-0.166667, 0.666667]

julia> and(0.1, 0.2, nextfloat(c.lo))
0.0

julia> and(0.1, 0.2, prevfloat(c.lo)
0.0

How can we fix it? I guess a quick one would be to return max(ans,0) or min(ans,1)