Merge pull request #499 from JuliaReach/schillic/dot_div

#121 - Fix ambiguities as in '1./1.'

test/unit_CartesianProduct.jl

@@ -97,7 +97,7 @@ for N in [Float64, Float32, Rational{Int}]
     @test ∈(N[2., 3., -.8, .9], cp)
     @test ∈(N[1., 1., -1., 0.], cp)
     @test ∈(N[3., 2., 0., 1.], cp)
-    @test ∈(N[5./4., 7./4., 1., 1.], cp)
+    @test ∈(N[5. / 4., 7. / 4., 1., 1.], cp)
     @test !∈(N[4., 1., 0., 0.], cp)
     @test !∈(N[5., 2., 0., 0.], cp)
     @test !∈(N[3., 4., 0., 0.], cp)

test/unit_Polygon.jl

@@ -82,7 +82,7 @@ for N in [Float64, Float32, Rational{Int}]
         @test ∈(N[2., 3.], hp)
         @test ∈(N[1., 1.], hp)
         @test ∈(N[3., 2.], hp)
-        @test ∈(N[5./4., 7./4.], hp)
+        @test ∈(N[5. / 4., 7. / 4.], hp)
         @test !∈(N[4., 1.], hp)
         @test !∈(N[5., 2.], hp)
         @test !∈(N[3., 4.], hp)

test/unit_Polytope.jl

@@ -38,7 +38,7 @@ for N in [Float64, Rational{Int}, Float32]
     @test σ(d, p) == N[0., 0.]
 
     # membership
-    @test ∈(N[5./4., 7./4.], p)
+    @test ∈(N[5. / 4., 7. / 4.], p)
     @test !∈(N[4., 1.], p)
 
     # singleton list (only available with Polyhedra library)