@@ -435,21 +435,22 @@ end
435
435
@test nthroot (Interval {BigFloat} (- 81 , - 16 ), 1 ) == Interval {BigFloat} (- 81 , - 16 )
436
436
end
437
437
438
- # approximation used in this testing (not to rely on ≈ for intervals)
439
- ≊ (x:: Interval , y:: Interval ) = x. lo ≈ y. lo && x. hi ≈ y. hi
438
+ # approximation used for testing (not to rely on ≈ for intervals)
439
+ # ⪆(x, y) = (x ≈ y) && (y ⊆ x)
440
+ ⪆ (x:: Interval , y:: Interval ) = x. lo ≈ y. lo && x. hi ≈ y. hi && y ⊆ x
440
441
441
442
@testset " `mod`" begin
442
443
r = 0.0625
443
444
x = r.. (1 + r)
444
445
@test mod (x, 1 ) == mod (x, 1.0 ) == 0 .. 1
445
- @test mod (x, 2 ) == mod (x, 2.0 ) ≊ x
446
- @test mod (x, 2.5 ) ≊ x
446
+ @test mod (x, 2 ) == mod (x, 2.0 ) ⪆ x
447
+ @test mod (x, 2.5 ) ⪆ x
447
448
@test mod (x, 0.5 ) == 0 .. 0.5
448
449
449
450
x = (- 1 + r) .. - r
450
- @test mod (x, 1 ) == mod (x, 1.0 ) ≊ 1 + x
451
- @test mod (x, 2 ) == mod (x, 2.0 ) ≊ 2 + x
452
- @test mod (x, 2.5 ) ≊ 2.5 + x
451
+ @test mod (x, 1 ) == mod (x, 1.0 ) ⪆ 1 + x
452
+ @test mod (x, 2 ) == mod (x, 2.0 ) ⪆ 2 + x
453
+ @test mod (x, 2.5 ) ⪆ 2.5 + x
453
454
@test mod (x, 0.5 ) == 0 .. 0.5
454
455
455
456
x = - r .. 1 - r
0 commit comments