From 844f13e0564ded64cc51f7d8a434c79af00d1194 Mon Sep 17 00:00:00 2001 From: David Sanders Date: Sun, 21 Jul 2024 19:13:52 -0500 Subject: [PATCH] Correct fix for mul_rev_to_pair tests --- test/libieeep1788_mul_rev.jl | 689 ++++++++++++++++++----------------- 1 file changed, 345 insertions(+), 344 deletions(-) diff --git a/test/libieeep1788_mul_rev.jl b/test/libieeep1788_mul_rev.jl index 726964a..ca659cd 100644 --- a/test/libieeep1788_mul_rev.jl +++ b/test/libieeep1788_mul_rev.jl @@ -1,350 +1,351 @@ @testset "minimal_mulRevToPair_test" begin -eq( @test mul_rev_to_pair(emptyinterval(), interval(1.0, 2.0))[1], emptyinterval()) && eq(mul_rev_to_pair(emptyinterval(), interval(1.0, 2.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(emptyinterval(), interval(1.0, 2.0))[1], emptyinterval()) && eq(mul_rev_to_pair(emptyinterval(), interval(1.0, 2.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(1.0, 2.0), emptyinterval())[1], emptyinterval()) && eq(mul_rev_to_pair(interval(1.0, 2.0), emptyinterval())[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(1.0, 2.0), emptyinterval())[1], emptyinterval()) && eq(mul_rev_to_pair(interval(1.0, 2.0), emptyinterval())[2], emptyinterval()) -eq( @test mul_rev_to_pair(emptyinterval(), emptyinterval())[1], emptyinterval()) && eq(mul_rev_to_pair(emptyinterval(), emptyinterval())[2], emptyinterval()) + @test eq(mul_rev_to_pair(emptyinterval(), emptyinterval())[1], emptyinterval()) && eq(mul_rev_to_pair(emptyinterval(), emptyinterval())[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, -0.1), interval(-2.1, -0.4))[1], Interval(0x1.999999999999AP-3, 0x1.5P+4)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-2.1, -0.4))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-2.1, -0.4))[1], interval(0x1.999999999999AP-3, 0x1.5P+4)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-2.1, -0.4))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 0.0), interval(-2.1, -0.4))[1], Interval(0x1.999999999999AP-3, Inf)) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-2.1, -0.4))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-2.1, -0.4))[1], interval(0x1.999999999999AP-3, Inf)) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-2.1, -0.4))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 1.1), interval(-2.1, -0.4))[1], Interval(-Inf, -0x1.745D1745D1745P-2)) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-2.1, -0.4))[2], Interval(0x1.999999999999AP-3, Inf)) + @test eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-2.1, -0.4))[1], interval(-Inf, -0x1.745D1745D1745P-2)) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-2.1, -0.4))[2], interval(0x1.999999999999AP-3, Inf)) -eq( @test mul_rev_to_pair(interval(0.0, 1.1), interval(-2.1, -0.4))[1], Interval(-Inf, -0x1.745D1745D1745P-2)) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-2.1, -0.4))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-2.1, -0.4))[1], interval(-Inf, -0x1.745D1745D1745P-2)) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-2.1, -0.4))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, 1.1), interval(-2.1, -0.4))[1], Interval(-0x1.A400000000001P+7, -0x1.745D1745D1745P-2)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-2.1, -0.4))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-2.1, -0.4))[1], interval(-0x1.A400000000001P+7, -0x1.745D1745D1745P-2)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-2.1, -0.4))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 0.0), interval(-2.1, -0.4))[1], emptyinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-2.1, -0.4))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-2.1, -0.4))[1], emptyinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-2.1, -0.4))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, -0.1), interval(-2.1, -0.4))[1], Interval(0.0, 0x1.5P+4)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-2.1, -0.4))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-2.1, -0.4))[1], interval(0.0, 0x1.5P+4)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-2.1, -0.4))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 0.0), interval(-2.1, -0.4))[1], Interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-2.1, -0.4))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-2.1, -0.4))[1], interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-2.1, -0.4))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 1.1), interval(-2.1, -0.4))[1], Interval(-Inf, -0x1.745D1745D1745P-2)) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-2.1, -0.4))[2], Interval(0.0, Inf)) + @test eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-2.1, -0.4))[1], interval(-Inf, -0x1.745D1745D1745P-2)) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-2.1, -0.4))[2], interval(0.0, Inf)) -eq( @test mul_rev_to_pair(interval(-2.0, Inf), interval(-2.1, -0.4))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-2.1, -0.4))[2], Interval(0x1.999999999999AP-3, Inf)) + @test eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-2.1, -0.4))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-2.1, -0.4))[2], interval(0x1.999999999999AP-3, Inf)) -eq( @test mul_rev_to_pair(interval(0.0, Inf), interval(-2.1, -0.4))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(-2.1, -0.4))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, Inf), interval(-2.1, -0.4))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(-2.1, -0.4))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, Inf), interval(-2.1, -0.4))[1], Interval(-0x1.A400000000001P+7, 0.0)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(-2.1, -0.4))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, Inf), interval(-2.1, -0.4))[1], interval(-0x1.A400000000001P+7, 0.0)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(-2.1, -0.4))[2], emptyinterval()) -eq( @test mul_rev_to_pair(entireinterval(), interval(-2.1, -0.4))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(entireinterval(), interval(-2.1, -0.4))[2], Interval(0.0, Inf)) + @test eq(mul_rev_to_pair(entireinterval(), interval(-2.1, -0.4))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(entireinterval(), interval(-2.1, -0.4))[2], interval(0.0, Inf)) -eq( @test mul_rev_to_pair(interval(-2.0, -0.1), interval(-2.1, 0.0))[1], Interval(0.0, 0x1.5P+4)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-2.1, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-2.1, 0.0))[1], interval(0.0, 0x1.5P+4)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-2.1, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 0.0), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-2.1, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-2.1, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 1.1), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-2.1, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-2.1, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 1.1), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-2.1, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-2.1, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, 1.1), interval(-2.1, 0.0))[1], Interval(-0x1.A400000000001P+7, 0.0)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-2.1, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-2.1, 0.0))[1], interval(-0x1.A400000000001P+7, 0.0)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-2.1, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 0.0), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-2.1, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-2.1, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, -0.1), interval(-2.1, 0.0))[1], Interval(0.0, 0x1.5P+4)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-2.1, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-2.1, 0.0))[1], interval(0.0, 0x1.5P+4)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-2.1, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 0.0), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-2.1, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-2.1, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 1.1), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-2.1, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-2.1, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, Inf), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-2.1, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-2.1, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, Inf), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(-2.1, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, Inf), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(-2.1, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, Inf), interval(-2.1, 0.0))[1], Interval(-0x1.A400000000001P+7, 0.0)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(-2.1, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, Inf), interval(-2.1, 0.0))[1], interval(-0x1.A400000000001P+7, 0.0)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(-2.1, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(entireinterval(), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(-2.1, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(entireinterval(), interval(-2.1, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(-2.1, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, -0.1), interval(-2.1, 0.12))[1], Interval(-0x1.3333333333333P+0, 0x1.5P+4)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-2.1, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-2.1, 0.12))[1], interval(-0x1.3333333333333P+0, 0x1.5P+4)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-2.1, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 0.0), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-2.1, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-2.1, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 1.1), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-2.1, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-2.1, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 1.1), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-2.1, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-2.1, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, 1.1), interval(-2.1, 0.12))[1], Interval(-0x1.A400000000001P+7 , 0x1.8P+3)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-2.1, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-2.1, 0.12))[1], interval(-0x1.A400000000001P+7 , 0x1.8P+3)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-2.1, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 0.0), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-2.1, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-2.1, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, -0.1), interval(-2.1, 0.12))[1], Interval(-0x1.3333333333333P+0, 0x1.5P+4)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-2.1, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-2.1, 0.12))[1], interval(-0x1.3333333333333P+0, 0x1.5P+4)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-2.1, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 0.0), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-2.1, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-2.1, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 1.1), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-2.1, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-2.1, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, Inf), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-2.1, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-2.1, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, Inf), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(-2.1, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, Inf), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(-2.1, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, Inf), interval(-2.1, 0.12))[1], Interval(-0x1.A400000000001P+7 , 0x1.8P+3)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(-2.1, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, Inf), interval(-2.1, 0.12))[1], interval(-0x1.A400000000001P+7 , 0x1.8P+3)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(-2.1, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(entireinterval(), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(-2.1, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(entireinterval(), interval(-2.1, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(-2.1, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, -0.1), interval(0.0, 0.12))[1], Interval(-0x1.3333333333333P+0, 0.0)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(0.0, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(0.0, 0.12))[1], interval(-0x1.3333333333333P+0, 0.0)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(0.0, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 0.0), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(0.0, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(0.0, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 1.1), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(0.0, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(0.0, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 1.1), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(0.0, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 1.1), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(0.0, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, 1.1), interval(0.0, 0.12))[1], Interval(0.0, 0x1.8P+3)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(0.0, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, 1.1), interval(0.0, 0.12))[1], interval(0.0, 0x1.8P+3)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(0.0, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 0.0), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(0.0, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 0.0), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(0.0, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, -0.1), interval(0.0, 0.12))[1], Interval(-0x1.3333333333333P+0, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(0.0, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(0.0, 0.12))[1], interval(-0x1.3333333333333P+0, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(0.0, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 0.0), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(0.0, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(0.0, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 1.1), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(0.0, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(0.0, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, Inf), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(0.0, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, Inf), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(0.0, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, Inf), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(0.0, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, Inf), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(0.0, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, Inf), interval(0.0, 0.12))[1], Interval(0.0, 0x1.8P+3)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(0.0, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, Inf), interval(0.0, 0.12))[1], interval(0.0, 0x1.8P+3)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(0.0, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(entireinterval(), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(0.0, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(entireinterval(), interval(0.0, 0.12))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(0.0, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, -0.1), interval(0.01, 0.12))[1], Interval(-0x1.3333333333333P+0, -0x1.47AE147AE147BP-8)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(0.01, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(0.01, 0.12))[1], interval(-0x1.3333333333333P+0, -0x1.47AE147AE147BP-8)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(0.01, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 0.0), interval(0.01, 0.12))[1], Interval(-Inf, -0x1.47AE147AE147BP-8)) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(0.01, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(0.01, 0.12))[1], interval(-Inf, -0x1.47AE147AE147BP-8)) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(0.01, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 1.1), interval(0.01, 0.12))[1], Interval(-Inf, -0x1.47AE147AE147BP-8)) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(0.01, 0.12))[2], Interval(0x1.29E4129E4129DP-7, Inf)) + @test eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(0.01, 0.12))[1], interval(-Inf, -0x1.47AE147AE147BP-8)) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(0.01, 0.12))[2], interval(0x1.29E4129E4129DP-7, Inf)) -eq( @test mul_rev_to_pair(interval(0.0, 1.1), interval(0.01, 0.12))[1], Interval(0x1.29E4129E4129DP-7, Inf)) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(0.01, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 1.1), interval(0.01, 0.12))[1], interval(0x1.29E4129E4129DP-7, Inf)) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(0.01, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, 1.1), interval(0.01, 0.12))[1], Interval(0x1.29E4129E4129DP-7, 0x1.8P+3)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(0.01, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, 1.1), interval(0.01, 0.12))[1], interval(0x1.29E4129E4129DP-7, 0x1.8P+3)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(0.01, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 0.0), interval(0.01, 0.12))[1], emptyinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(0.01, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 0.0), interval(0.01, 0.12))[1], emptyinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(0.01, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, -0.1), interval(0.01, 0.12))[1], Interval(-0x1.3333333333333P+0, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(0.01, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(0.01, 0.12))[1], interval(-0x1.3333333333333P+0, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(0.01, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 0.0), interval(0.01, 0.12))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(0.01, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(0.01, 0.12))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(0.01, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 1.1), interval(0.01, 0.12))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(0.01, 0.12))[2], Interval(0x1.29E4129E4129DP-7, Inf)) + @test eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(0.01, 0.12))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(0.01, 0.12))[2], interval(0x1.29E4129E4129DP-7, Inf)) -eq( @test mul_rev_to_pair(interval(-2.0, Inf), interval(0.01, 0.12))[1], Interval(-Inf, -0x1.47AE147AE147BP-8)) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(0.01, 0.12))[2], Interval(0.0, Inf)) + @test eq(mul_rev_to_pair(interval(-2.0, Inf), interval(0.01, 0.12))[1], interval(-Inf, -0x1.47AE147AE147BP-8)) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(0.01, 0.12))[2], interval(0.0, Inf)) -eq( @test mul_rev_to_pair(interval(0.0, Inf), interval(0.01, 0.12))[1], Interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(0.01, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, Inf), interval(0.01, 0.12))[1], interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(0.01, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, Inf), interval(0.01, 0.12))[1], Interval(0.0, 0x1.8P+3)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(0.01, 0.12))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, Inf), interval(0.01, 0.12))[1], interval(0.0, 0x1.8P+3)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(0.01, 0.12))[2], emptyinterval()) -eq( @test mul_rev_to_pair(entireinterval(), interval(0.01, 0.12))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(entireinterval(), interval(0.01, 0.12))[2], Interval(0.0, Inf)) + @test eq(mul_rev_to_pair(entireinterval(), interval(0.01, 0.12))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(entireinterval(), interval(0.01, 0.12))[2], interval(0.0, Inf)) -eq( @test mul_rev_to_pair(interval(-2.0, -0.1), interval(0.0, 0.0))[1], Interval(0.0, 0.0)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(0.0, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(0.0, 0.0))[1], interval(0.0, 0.0)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(0.0, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 0.0), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(0.0, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(0.0, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 1.1), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(0.0, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(0.0, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 1.1), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(0.0, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 1.1), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(0.0, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, 1.1), interval(0.0, 0.0))[1], Interval(0.0, 0.0)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(0.0, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, 1.1), interval(0.0, 0.0))[1], interval(0.0, 0.0)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(0.0, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 0.0), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(0.0, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 0.0), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(0.0, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, -0.1), interval(0.0, 0.0))[1], Interval(0.0, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(0.0, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(0.0, 0.0))[1], interval(0.0, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(0.0, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 0.0), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(0.0, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(0.0, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 1.1), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(0.0, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(0.0, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, Inf), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(0.0, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, Inf), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(0.0, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, Inf), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(0.0, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, Inf), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(0.0, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, Inf), interval(0.0, 0.0))[1], Interval(0.0, 0.0)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(0.0, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, Inf), interval(0.0, 0.0))[1], interval(0.0, 0.0)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(0.0, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(entireinterval(), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(0.0, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(entireinterval(), interval(0.0, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(0.0, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, -0.1), interval(-Inf, -0.1))[1], Interval(0x1.999999999999AP-5, Inf)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-Inf, -0.1))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-Inf, -0.1))[1], interval(0x1.999999999999AP-5, Inf)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-Inf, -0.1))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 0.0), interval(-Inf, -0.1))[1], Interval(0x1.999999999999AP-5 , Inf)) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-Inf, -0.1))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-Inf, -0.1))[1], interval(0x1.999999999999AP-5 , Inf)) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-Inf, -0.1))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 1.1), interval(-Inf, -0.1))[1], Interval(-Inf , -0x1.745D1745D1745P-4)) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-Inf, -0.1))[2], Interval(0x1.999999999999AP-5 , Inf)) + @test eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-Inf, -0.1))[1], interval(-Inf , -0x1.745D1745D1745P-4)) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-Inf, -0.1))[2], interval(0x1.999999999999AP-5 , Inf)) -eq( @test mul_rev_to_pair(interval(0.0, 1.1), interval(-Inf, -0.1))[1], Interval(-Inf, -0x1.745D1745D1745P-4)) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-Inf, -0.1))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-Inf, -0.1))[1], interval(-Inf, -0x1.745D1745D1745P-4)) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-Inf, -0.1))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, 1.1), interval(-Inf, -0.1))[1], Interval(-Inf, -0x1.745D1745D1745P-4)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-Inf, -0.1))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-Inf, -0.1))[1], interval(-Inf, -0x1.745D1745D1745P-4)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-Inf, -0.1))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 0.0), interval(-Inf, -0.1))[1], emptyinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-Inf, -0.1))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-Inf, -0.1))[1], emptyinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-Inf, -0.1))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, -0.1), interval(-Inf, -0.1))[1], Interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-Inf, -0.1))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-Inf, -0.1))[1], interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-Inf, -0.1))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 0.0), interval(-Inf, -0.1))[1], Interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-Inf, -0.1))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-Inf, -0.1))[1], interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-Inf, -0.1))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 1.1), interval(-Inf, -0.1))[1], Interval(-Inf, -0x1.745D1745D1745P-4)) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-Inf, -0.1))[2], Interval(0.0, Inf)) + @test eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-Inf, -0.1))[1], interval(-Inf, -0x1.745D1745D1745P-4)) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-Inf, -0.1))[2], interval(0.0, Inf)) -eq( @test mul_rev_to_pair(interval(-2.0, Inf), interval(-Inf, -0.1))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-Inf, -0.1))[2], Interval(0x1.999999999999AP-5 , Inf)) + @test eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-Inf, -0.1))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-Inf, -0.1))[2], interval(0x1.999999999999AP-5 , Inf)) -eq( @test mul_rev_to_pair(interval(0.0, Inf), interval(-Inf, -0.1))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(-Inf, -0.1))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, Inf), interval(-Inf, -0.1))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(-Inf, -0.1))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, Inf), interval(-Inf, -0.1))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(-Inf, -0.1))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, Inf), interval(-Inf, -0.1))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(-Inf, -0.1))[2], emptyinterval()) -eq( @test mul_rev_to_pair(entireinterval(), interval(-Inf, -0.1))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(entireinterval(), interval(-Inf, -0.1))[2], Interval(0.0, Inf)) + @test eq(mul_rev_to_pair(entireinterval(), interval(-Inf, -0.1))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(entireinterval(), interval(-Inf, -0.1))[2], interval(0.0, Inf)) -eq( @test mul_rev_to_pair(interval(-2.0, -0.1), interval(-Inf, 0.0))[1], Interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-Inf, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-Inf, 0.0))[1], interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-Inf, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 0.0), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-Inf, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-Inf, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 1.1), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-Inf, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-Inf, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 1.1), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-Inf, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-Inf, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, 1.1), interval(-Inf, 0.0))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-Inf, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-Inf, 0.0))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-Inf, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 0.0), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-Inf, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-Inf, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, -0.1), interval(-Inf, 0.0))[1], Interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-Inf, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-Inf, 0.0))[1], interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-Inf, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 0.0), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-Inf, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-Inf, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 1.1), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-Inf, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-Inf, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, Inf), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-Inf, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-Inf, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, Inf), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(-Inf, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, Inf), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(-Inf, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, Inf), interval(-Inf, 0.0))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(-Inf, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, Inf), interval(-Inf, 0.0))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(-Inf, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(entireinterval(), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(-Inf, 0.0))[2], emptyinterval()) + @test eq(mul_rev_to_pair(entireinterval(), interval(-Inf, 0.0))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(-Inf, 0.0))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, -0.1), interval(-Inf, 0.3))[1], Interval(-0x1.8P+1, Inf)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-Inf, 0.3))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-Inf, 0.3))[1], interval(-0x1.8P+1, Inf)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-Inf, 0.3))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 0.0), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-Inf, 0.3))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-Inf, 0.3))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 1.1), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-Inf, 0.3))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-Inf, 0.3))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 1.1), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-Inf, 0.3))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-Inf, 0.3))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, 1.1), interval(-Inf, 0.3))[1], Interval(-Inf, 0x1.EP+4)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-Inf, 0.3))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-Inf, 0.3))[1], interval(-Inf, 0x1.EP+4)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-Inf, 0.3))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 0.0), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-Inf, 0.3))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-Inf, 0.3))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, -0.1), interval(-Inf, 0.3))[1], Interval(-0x1.8P+1, Inf)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-Inf, 0.3))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-Inf, 0.3))[1], interval(-0x1.8P+1, Inf)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-Inf, 0.3))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 0.0), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-Inf, 0.3))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-Inf, 0.3))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 1.1), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-Inf, 0.3))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-Inf, 0.3))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, Inf), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-Inf, 0.3))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-Inf, 0.3))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, Inf), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(-Inf, 0.3))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, Inf), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(-Inf, 0.3))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, Inf), interval(-Inf, 0.3))[1], Interval(-Inf, 0x1.EP+4)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(-Inf, 0.3))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, Inf), interval(-Inf, 0.3))[1], interval(-Inf, 0x1.EP+4)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(-Inf, 0.3))[2], emptyinterval()) -eq( @test mul_rev_to_pair(entireinterval(), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(-Inf, 0.3))[2], emptyinterval()) + @test eq(mul_rev_to_pair(entireinterval(), interval(-Inf, 0.3))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(-Inf, 0.3))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, -0.1), interval(-0.21, Inf))[1], Interval(-Inf , 0x1.0CCCCCCCCCCCDP+1)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-0.21, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-0.21, Inf))[1], interval(-Inf , 0x1.0CCCCCCCCCCCDP+1)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(-0.21, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 0.0), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-0.21, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(-0.21, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 1.1), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-0.21, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(-0.21, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 1.1), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-0.21, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(-0.21, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, 1.1), interval(-0.21, Inf))[1], Interval(-0x1.5P+4, Inf)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-0.21, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-0.21, Inf))[1], interval(-0x1.5P+4, Inf)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(-0.21, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 0.0), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-0.21, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(-0.21, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, -0.1), interval(-0.21, Inf))[1], Interval(-Inf, 0x1.0CCCCCCCCCCCDP+1)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-0.21, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-0.21, Inf))[1], interval(-Inf, 0x1.0CCCCCCCCCCCDP+1)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(-0.21, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 0.0), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-0.21, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(-0.21, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 1.1), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-0.21, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(-0.21, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, Inf), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-0.21, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(-0.21, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, Inf), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(-0.21, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, Inf), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(-0.21, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, Inf), interval(-0.21, Inf))[1], Interval(-0x1.5P+4, Inf)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(-0.21, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, Inf), interval(-0.21, Inf))[1], interval(-0x1.5P+4, Inf)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(-0.21, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(entireinterval(), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(-0.21, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(entireinterval(), interval(-0.21, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(-0.21, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, -0.1), interval(0.0, Inf))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(0.0, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(0.0, Inf))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(0.0, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 0.0), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(0.0, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(0.0, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 1.1), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(0.0, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(0.0, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 1.1), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(0.0, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 1.1), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(0.0, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, 1.1), interval(0.0, Inf))[1], Interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(0.0, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, 1.1), interval(0.0, Inf))[1], interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(0.0, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 0.0), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(0.0, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 0.0), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(0.0, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, -0.1), interval(0.0, Inf))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(0.0, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(0.0, Inf))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(0.0, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 0.0), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(0.0, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(0.0, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 1.1), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(0.0, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(0.0, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, Inf), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(0.0, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, Inf), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(0.0, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, Inf), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(0.0, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, Inf), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(0.0, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, Inf), interval(0.0, Inf))[1], Interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(0.0, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, Inf), interval(0.0, Inf))[1], interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(0.0, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(entireinterval(), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(0.0, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(entireinterval(), interval(0.0, Inf))[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), interval(0.0, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, -0.1), interval(0.04, Inf))[1], Interval(-Inf, -0x1.47AE147AE147BP-6)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(0.04, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(0.04, Inf))[1], interval(-Inf, -0x1.47AE147AE147BP-6)) && eq(mul_rev_to_pair(interval(-2.0, -0.1), interval(0.04, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 0.0), interval(0.04, Inf))[1], Interval(-Inf, -0x1.47AE147AE147BP-6)) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(0.04, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(0.04, Inf))[1], interval(-Inf, -0x1.47AE147AE147BP-6)) && eq(mul_rev_to_pair(interval(-2.0, 0.0), interval(0.04, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 1.1), interval(0.04, Inf))[1], Interval(-Inf, -0x1.47AE147AE147BP-6)) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(0.04, Inf))[2], Interval(0x1.29E4129E4129DP-5, Inf)) + @test eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(0.04, Inf))[1], interval(-Inf, -0x1.47AE147AE147BP-6)) && eq(mul_rev_to_pair(interval(-2.0, 1.1), interval(0.04, Inf))[2], interval(0x1.29E4129E4129DP-5, Inf)) -eq( @test mul_rev_to_pair(interval(0.0, 1.1), interval(0.04, Inf))[1], Interval(0x1.29E4129E4129DP-5, Inf)) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(0.04, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 1.1), interval(0.04, Inf))[1], interval(0x1.29E4129E4129DP-5, Inf)) && eq(mul_rev_to_pair(interval(0.0, 1.1), interval(0.04, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, 1.1), interval(0.04, Inf))[1], Interval(0x1.29E4129E4129DP-5, Inf)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(0.04, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, 1.1), interval(0.04, Inf))[1], interval(0x1.29E4129E4129DP-5, Inf)) && eq(mul_rev_to_pair(interval(0.01, 1.1), interval(0.04, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 0.0), interval(0.04, Inf))[1], emptyinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(0.04, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 0.0), interval(0.04, Inf))[1], emptyinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), interval(0.04, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, -0.1), interval(0.04, Inf))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(0.04, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(0.04, Inf))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, -0.1), interval(0.04, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 0.0), interval(0.04, Inf))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(0.04, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(0.04, Inf))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, 0.0), interval(0.04, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 1.1), interval(0.04, Inf))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(0.04, Inf))[2], Interval(0x1.29E4129E4129DP-5, Inf)) + @test eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(0.04, Inf))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(interval(-Inf, 1.1), interval(0.04, Inf))[2], interval(0x1.29E4129E4129DP-5, Inf)) -eq( @test mul_rev_to_pair(interval(-2.0, Inf), interval(0.04, Inf))[1], Interval(-Inf, -0x1.47AE147AE147BP-6)) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(0.04, Inf))[2], Interval(0.0, Inf)) + @test eq(mul_rev_to_pair(interval(-2.0, Inf), interval(0.04, Inf))[1], interval(-Inf, -0x1.47AE147AE147BP-6)) && eq(mul_rev_to_pair(interval(-2.0, Inf), interval(0.04, Inf))[2], interval(0.0, Inf)) -eq( @test mul_rev_to_pair(interval(0.0, Inf), interval(0.04, Inf))[1], Interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(0.04, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, Inf), interval(0.04, Inf))[1], interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(0.0, Inf), interval(0.04, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, Inf), interval(0.04, Inf))[1], Interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(0.04, Inf))[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, Inf), interval(0.04, Inf))[1], interval(0.0, Inf)) && eq(mul_rev_to_pair(interval(0.01, Inf), interval(0.04, Inf))[2], emptyinterval()) -eq( @test mul_rev_to_pair(entireinterval(), interval(0.04, Inf))[1], Interval(-Inf, 0.0)) && eq(mul_rev_to_pair(entireinterval(), interval(0.04, Inf))[2], Interval(0.0, Inf)) + @test eq(mul_rev_to_pair(entireinterval(), interval(0.04, Inf))[1], interval(-Inf, 0.0)) && eq(mul_rev_to_pair(entireinterval(), interval(0.04, Inf))[2], interval(0.0, Inf)) -eq( @test mul_rev_to_pair(interval(-2.0, -0.1), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, -0.1), entireinterval())[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, -0.1), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, -0.1), entireinterval())[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 0.0), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), entireinterval())[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 0.0), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 0.0), entireinterval())[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, 1.1), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), entireinterval())[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, 1.1), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, 1.1), entireinterval())[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 1.1), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), entireinterval())[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 1.1), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 1.1), entireinterval())[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, 1.1), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.01, 1.1), entireinterval())[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, 1.1), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.01, 1.1), entireinterval())[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, 0.0), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), entireinterval())[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, 0.0), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, 0.0), entireinterval())[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, -0.1), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, -0.1), entireinterval())[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, -0.1), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, -0.1), entireinterval())[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 0.0), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), entireinterval())[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 0.0), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 0.0), entireinterval())[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-Inf, 1.1), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), entireinterval())[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-Inf, 1.1), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(-Inf, 1.1), entireinterval())[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(-2.0, Inf), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), entireinterval())[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(-2.0, Inf), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(-2.0, Inf), entireinterval())[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.0, Inf), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), entireinterval())[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.0, Inf), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.0, Inf), entireinterval())[2], emptyinterval()) -eq( @test mul_rev_to_pair(interval(0.01, Inf), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.01, Inf), entireinterval())[2], emptyinterval()) + @test eq(mul_rev_to_pair(interval(0.01, Inf), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(interval(0.01, Inf), entireinterval())[2], emptyinterval()) -eq( @test mul_rev_to_pair(entireinterval(), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), entireinterval())[2], emptyinterval()) + @test eq(mul_rev_to_pair(entireinterval(), entireinterval())[1], entireinterval()) && eq(mul_rev_to_pair(entireinterval(), entireinterval())[2], emptyinterval()) end + # @testset "minimal_mulRevToPair_dec_test" begin # @test isnai(mul_rev_to_pair(nai(), Decoratedinterval(interval(1.0,2.0), def))[1]) && isnai(mul_rev_to_pair(nai(), Decoratedinterval(interval(1.0,2.0), def))[2]) @@ -353,348 +354,348 @@ end # @test isnai(mul_rev_to_pair(nai(), nai())[1]) && isnai(mul_rev_to_pair(nai(), nai())[2]) -# @test eq(mul_rev_to_pair(Decoratedinterval(emptyinterval(), trv), Decoratedinterval(interval(1.0, 2.0), def))[1] === Decoratedinterval(emptyinterval(), trv) && mul_rev_to_pair(Decoratedinterval(emptyinterval(), trv), Decoratedinterval(interval(1.0, 2.0), def))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(emptyinterval(), trv), Decoratedinterval(interval(1.0, 2.0), def))[1], Decoratedinterval(emptyinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(emptyinterval(), trv), Decoratedinterval(interval(1.0, 2.0), def))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(1.0, 2.0), com), Decoratedinterval(emptyinterval(), trv))[1] === Decoratedinterval(emptyinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(1.0, 2.0), com), Decoratedinterval(emptyinterval(), trv))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(1.0, 2.0), com), Decoratedinterval(emptyinterval(), trv))[1], Decoratedinterval(emptyinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(1.0, 2.0), com), Decoratedinterval(emptyinterval(), trv))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(emptyinterval(), trv), Decoratedinterval(emptyinterval(), trv))[1] === Decoratedinterval(emptyinterval(), trv) && mul_rev_to_pair(Decoratedinterval(emptyinterval(), trv), Decoratedinterval(emptyinterval(), trv))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(emptyinterval(), trv), Decoratedinterval(emptyinterval(), trv))[1], Decoratedinterval(emptyinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(emptyinterval(), trv), Decoratedinterval(emptyinterval(), trv))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), com), Decoratedinterval(interval(-2.1, -0.4), com))[1] === Decoratedinterval(interval(0x1.999999999999AP-3, 0x1.5P+4), com) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), com), Decoratedinterval(interval(-2.1, -0.4), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), com), Decoratedinterval(interval(-2.1, -0.4), com))[1], Decoratedinterval(interval(0x1.999999999999AP-3, 0x1.5P+4), com)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), com), Decoratedinterval(interval(-2.1, -0.4), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-2.1, -0.4), com))[1] === Decoratedinterval(interval(0x1.999999999999AP-3, Inf), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-2.1, -0.4), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-2.1, -0.4), com))[1], Decoratedinterval(interval(0x1.999999999999AP-3, Inf), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-2.1, -0.4), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), com), Decoratedinterval(interval(-2.1, -0.4), dac))[1] === Decoratedinterval(interval(-Inf, -0x1.745D1745D1745P-2), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), com), Decoratedinterval(interval(-2.1, -0.4), dac))[2], Decoratedinterval(interval(0x1.999999999999AP-3, Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), com), Decoratedinterval(interval(-2.1, -0.4), dac))[1], Decoratedinterval(interval(-Inf, -0x1.745D1745D1745P-2), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), com), Decoratedinterval(interval(-2.1, -0.4), dac))[2], Decoratedinterval(interval(0x1.999999999999AP-3, Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), trv), Decoratedinterval(interval(-2.1, -0.4), def))[1] === Decoratedinterval(interval(-Inf, -0x1.745D1745D1745P-2), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), trv), Decoratedinterval(interval(-2.1, -0.4), def))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), trv), Decoratedinterval(interval(-2.1, -0.4), def))[1], Decoratedinterval(interval(-Inf, -0x1.745D1745D1745P-2), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), trv), Decoratedinterval(interval(-2.1, -0.4), def))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), com), Decoratedinterval(interval(-2.1, -0.4), com))[1] === Decoratedinterval(interval(-0x1.A400000000001P+7, -0x1.745D1745D1745P-2), com) && mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), com), Decoratedinterval(interval(-2.1, -0.4), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), com), Decoratedinterval(interval(-2.1, -0.4), com))[1], Decoratedinterval(interval(-0x1.A400000000001P+7, -0x1.745D1745D1745P-2), com)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), com), Decoratedinterval(interval(-2.1, -0.4), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-2.1, -0.4), def))[1] === Decoratedinterval(emptyinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-2.1, -0.4), def))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-2.1, -0.4), def))[1], Decoratedinterval(emptyinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-2.1, -0.4), def))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-2.1, -0.4), dac))[1] === Decoratedinterval(interval(0.0, 0x1.5P+4), dac) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-2.1, -0.4), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-2.1, -0.4), dac))[1], Decoratedinterval(interval(0.0, 0x1.5P+4), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-2.1, -0.4), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), def), Decoratedinterval(interval(-2.1, -0.4), com))[1] === Decoratedinterval(interval(0.0, Inf), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), def), Decoratedinterval(interval(-2.1, -0.4), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), def), Decoratedinterval(interval(-2.1, -0.4), com))[1], Decoratedinterval(interval(0.0, Inf), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), def), Decoratedinterval(interval(-2.1, -0.4), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), trv), Decoratedinterval(interval(-2.1, -0.4), def))[1] === Decoratedinterval(interval(-Inf, -0x1.745D1745D1745P-2), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), trv), Decoratedinterval(interval(-2.1, -0.4), def))[2], Decoratedinterval(interval(0.0, Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), trv), Decoratedinterval(interval(-2.1, -0.4), def))[1], Decoratedinterval(interval(-Inf, -0x1.745D1745D1745P-2), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), trv), Decoratedinterval(interval(-2.1, -0.4), def))[2], Decoratedinterval(interval(0.0, Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-2.1, -0.4), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-2.1, -0.4), dac))[2], Decoratedinterval(interval(0x1.999999999999AP-3, Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-2.1, -0.4), dac))[1], Decoratedinterval(interval(-Inf, 0.0), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-2.1, -0.4), dac))[2], Decoratedinterval(interval(0x1.999999999999AP-3, Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), def), Decoratedinterval(interval(-2.1, -0.4), com))[1] === Decoratedinterval(interval(-Inf, 0.0), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), def), Decoratedinterval(interval(-2.1, -0.4), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), def), Decoratedinterval(interval(-2.1, -0.4), com))[1], Decoratedinterval(interval(-Inf, 0.0), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), def), Decoratedinterval(interval(-2.1, -0.4), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), def), Decoratedinterval(interval(-2.1, -0.4), def))[1] === Decoratedinterval(interval(-0x1.A400000000001P+7, 0.0), def) && mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), def), Decoratedinterval(interval(-2.1, -0.4), def))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), def), Decoratedinterval(interval(-2.1, -0.4), def))[1], Decoratedinterval(interval(-0x1.A400000000001P+7, 0.0), def)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), def), Decoratedinterval(interval(-2.1, -0.4), def))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-2.1, -0.4), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), trv) && mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-2.1, -0.4), dac))[2], Decoratedinterval(interval(0.0, Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-2.1, -0.4), dac))[1], Decoratedinterval(interval(-Inf, 0.0), trv)) && eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-2.1, -0.4), dac))[2], Decoratedinterval(interval(0.0, Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1] === Decoratedinterval(interval(0.0, 0x1.5P+4), dac) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1], Decoratedinterval(interval(0.0, 0x1.5P+4), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1] === Decoratedinterval(interval(-0x1.A400000000001P+7, 0.0), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1], Decoratedinterval(interval(-0x1.A400000000001P+7, 0.0), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1] === Decoratedinterval(interval(0.0, 0x1.5P+4), dac) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1], Decoratedinterval(interval(0.0, 0x1.5P+4), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1] === Decoratedinterval(interval(-0x1.A400000000001P+7, 0.0), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1], Decoratedinterval(interval(-0x1.A400000000001P+7, 0.0), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-2.1, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-2.1, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1] === Decoratedinterval(interval(-0x1.3333333333333P+0, 0x1.5P+4), def) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1], Decoratedinterval(interval(-0x1.3333333333333P+0, 0x1.5P+4), def)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1] === Decoratedinterval(interval(-0x1.A400000000001P+7 , 0x1.8P+3), def) && mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1], Decoratedinterval(interval(-0x1.A400000000001P+7 , 0x1.8P+3), def)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1] === Decoratedinterval(interval(-0x1.3333333333333P+0, 0x1.5P+4), def) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1], Decoratedinterval(interval(-0x1.3333333333333P+0, 0x1.5P+4), def)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1] === Decoratedinterval(interval(-0x1.A400000000001P+7 , 0x1.8P+3), def) && mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1], Decoratedinterval(interval(-0x1.A400000000001P+7 , 0x1.8P+3), def)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(entireinterval(), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), def), Decoratedinterval(interval(-2.1, 0.12), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), def), Decoratedinterval(interval(-2.1, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), com), Decoratedinterval(interval(0.0, 0.12), com))[1] === Decoratedinterval(interval(-0x1.3333333333333P+0, 0.0), com) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), com), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), com), Decoratedinterval(interval(0.0, 0.12), com))[1], Decoratedinterval(interval(-0x1.3333333333333P+0, 0.0), com)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), com), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), com), Decoratedinterval(interval(0.0, 0.12), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), com), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), com), Decoratedinterval(interval(0.0, 0.12), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), com), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), com), Decoratedinterval(interval(0.0, 0.12), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), com), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), com), Decoratedinterval(interval(0.0, 0.12), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), com), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), com), Decoratedinterval(interval(0.0, 0.12), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), com), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), com), Decoratedinterval(interval(0.0, 0.12), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), com), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), com), Decoratedinterval(interval(0.0, 0.12), com))[1] === Decoratedinterval(interval(0.0, 0x1.8P+3), com) && mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), com), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), com), Decoratedinterval(interval(0.0, 0.12), com))[1], Decoratedinterval(interval(0.0, 0x1.8P+3), com)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), com), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), com), Decoratedinterval(interval(0.0, 0.12), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), com), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), com), Decoratedinterval(interval(0.0, 0.12), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), com), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.0, 0.12), com))[1] === Decoratedinterval(interval(-0x1.3333333333333P+0, 0.0), dac) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.0, 0.12), com))[1], Decoratedinterval(interval(-0x1.3333333333333P+0, 0.0), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.0, 0.12), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.0, 0.12), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.0, 0.12), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.0, 0.12), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.0, 0.12), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.0, 0.12), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.0, 0.12), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.0, 0.12), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.0, 0.12), com))[1] === Decoratedinterval(interval(0.0, 0x1.8P+3), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.0, 0.12), com))[1], Decoratedinterval(interval(0.0, 0x1.8P+3), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.0, 0.12), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.0, 0.12), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.0, 0.12), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1] === Decoratedinterval(interval(-0x1.3333333333333P+0, -0x1.47AE147AE147BP-8), dac) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1], Decoratedinterval(interval(-0x1.3333333333333P+0, -0x1.47AE147AE147BP-8), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1] === Decoratedinterval(interval(-Inf, -0x1.47AE147AE147BP-8), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1], Decoratedinterval(interval(-Inf, -0x1.47AE147AE147BP-8), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1] === Decoratedinterval(interval(-Inf, -0x1.47AE147AE147BP-8), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(interval(0x1.29E4129E4129DP-7, Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1], Decoratedinterval(interval(-Inf, -0x1.47AE147AE147BP-8), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(interval(0x1.29E4129E4129DP-7, Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1] === Decoratedinterval(interval(0x1.29E4129E4129DP-7, Inf), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1], Decoratedinterval(interval(0x1.29E4129E4129DP-7, Inf), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1] === Decoratedinterval(interval(0x1.29E4129E4129DP-7, 0x1.8P+3), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1], Decoratedinterval(interval(0x1.29E4129E4129DP-7, 0x1.8P+3), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1] === Decoratedinterval(emptyinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1], Decoratedinterval(emptyinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1] === Decoratedinterval(interval(-0x1.3333333333333P+0, 0.0), dac) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1], Decoratedinterval(interval(-0x1.3333333333333P+0, 0.0), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1], Decoratedinterval(interval(-Inf, 0.0), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(interval(0x1.29E4129E4129DP-7, Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1], Decoratedinterval(interval(-Inf, 0.0), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(interval(0x1.29E4129E4129DP-7, Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1] === Decoratedinterval(interval(-Inf, -0x1.47AE147AE147BP-8), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(interval(0.0, Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1], Decoratedinterval(interval(-Inf, -0x1.47AE147AE147BP-8), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(interval(0.0, Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1] === Decoratedinterval(interval(0.0, Inf), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1], Decoratedinterval(interval(0.0, Inf), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1] === Decoratedinterval(interval(0.0, 0x1.8P+3), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1], Decoratedinterval(interval(0.0, 0x1.8P+3), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), trv) && mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(interval(0.0, Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.01, 0.12), dac))[1], Decoratedinterval(interval(-Inf, 0.0), trv)) && eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.01, 0.12), dac))[2], Decoratedinterval(interval(0.0, Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), com), Decoratedinterval(interval(0.0, 0.0), com))[1] === Decoratedinterval(interval(0.0, 0.0), com) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), com), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), com), Decoratedinterval(interval(0.0, 0.0), com))[1], Decoratedinterval(interval(0.0, 0.0), com)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), com), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), com), Decoratedinterval(interval(0.0, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), com), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), com), Decoratedinterval(interval(0.0, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), com), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), com), Decoratedinterval(interval(0.0, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), com), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), com), Decoratedinterval(interval(0.0, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), com), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), com), Decoratedinterval(interval(0.0, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), com), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), com), Decoratedinterval(interval(0.0, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), com), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), com), Decoratedinterval(interval(0.0, 0.0), com))[1] === Decoratedinterval(interval(0.0, 0.0), com) && mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), com), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), com), Decoratedinterval(interval(0.0, 0.0), com))[1], Decoratedinterval(interval(0.0, 0.0), com)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), com), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), com), Decoratedinterval(interval(0.0, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), com), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), com), Decoratedinterval(interval(0.0, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), com), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.0, 0.0), com))[1] === Decoratedinterval(interval(0.0, 0.0), dac) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.0, 0.0), com))[1], Decoratedinterval(interval(0.0, 0.0), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.0, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.0, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.0, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.0, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.0, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.0, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.0, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.0, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.0, 0.0), com))[1] === Decoratedinterval(interval(0.0, 0.0), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.0, 0.0), com))[1], Decoratedinterval(interval(0.0, 0.0), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.0, 0.0), com))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.0, 0.0), com))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.0, 0.0), com))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1] === Decoratedinterval(interval(0x1.999999999999AP-5, Inf), dac) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1], Decoratedinterval(interval(0x1.999999999999AP-5, Inf), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1] === Decoratedinterval(interval(0x1.999999999999AP-5 , Inf), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1], Decoratedinterval(interval(0x1.999999999999AP-5 , Inf), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1] === Decoratedinterval(interval(-Inf , -0x1.745D1745D1745P-4), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(interval(0x1.999999999999AP-5 , Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1], Decoratedinterval(interval(-Inf , -0x1.745D1745D1745P-4), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(interval(0x1.999999999999AP-5 , Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1] === Decoratedinterval(interval(-Inf, -0x1.745D1745D1745P-4), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1], Decoratedinterval(interval(-Inf, -0x1.745D1745D1745P-4), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1] === Decoratedinterval(interval(-Inf, -0x1.745D1745D1745P-4), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1], Decoratedinterval(interval(-Inf, -0x1.745D1745D1745P-4), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1] === Decoratedinterval(emptyinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1], Decoratedinterval(emptyinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1] === Decoratedinterval(interval(0.0, Inf), dac) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1], Decoratedinterval(interval(0.0, Inf), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1] === Decoratedinterval(interval(0.0, Inf), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1], Decoratedinterval(interval(0.0, Inf), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1] === Decoratedinterval(interval(-Inf, -0x1.745D1745D1745P-4), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(interval(0.0, Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1], Decoratedinterval(interval(-Inf, -0x1.745D1745D1745P-4), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(interval(0.0, Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(interval(0x1.999999999999AP-5 , Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1], Decoratedinterval(interval(-Inf, 0.0), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(interval(0x1.999999999999AP-5 , Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1], Decoratedinterval(interval(-Inf, 0.0), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1], Decoratedinterval(interval(-Inf, 0.0), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), trv) && mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(interval(0.0, Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[1], Decoratedinterval(interval(-Inf, 0.0), trv)) && eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-Inf, -0.1), dac))[2], Decoratedinterval(interval(0.0, Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1] === Decoratedinterval(interval(0.0, Inf), dac) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1], Decoratedinterval(interval(0.0, Inf), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1], Decoratedinterval(interval(-Inf, 0.0), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1] === Decoratedinterval(interval(0.0, Inf), dac) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1], Decoratedinterval(interval(0.0, Inf), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1], Decoratedinterval(interval(-Inf, 0.0), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-Inf, 0.0), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1] === Decoratedinterval(interval(-0x1.8P+1, Inf), dac) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1], Decoratedinterval(interval(-0x1.8P+1, Inf), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1] === Decoratedinterval(interval(-Inf, 0x1.EP+4), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1], Decoratedinterval(interval(-Inf, 0x1.EP+4), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1] === Decoratedinterval(interval(-0x1.8P+1, Inf), dac) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1], Decoratedinterval(interval(-0x1.8P+1, Inf), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1] === Decoratedinterval(interval(-Inf, 0x1.EP+4), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1], Decoratedinterval(interval(-Inf, 0x1.EP+4), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-Inf, 0.3), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1] === Decoratedinterval(interval(-Inf , 0x1.0CCCCCCCCCCCDP+1), dac) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1], Decoratedinterval(interval(-Inf , 0x1.0CCCCCCCCCCCDP+1), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1] === Decoratedinterval(interval(-0x1.5P+4, Inf), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1], Decoratedinterval(interval(-0x1.5P+4, Inf), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1] === Decoratedinterval(interval(-Inf, 0x1.0CCCCCCCCCCCDP+1), dac) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1], Decoratedinterval(interval(-Inf, 0x1.0CCCCCCCCCCCDP+1), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1] === Decoratedinterval(interval(-0x1.5P+4, Inf), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1], Decoratedinterval(interval(-0x1.5P+4, Inf), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-0.21, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(-0.21, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), dac) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[1], Decoratedinterval(interval(-Inf, 0.0), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(0.0, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(0.0, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[1] === Decoratedinterval(interval(0.0, Inf), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[1], Decoratedinterval(interval(0.0, Inf), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(0.0, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(0.0, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), dac) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[1], Decoratedinterval(interval(-Inf, 0.0), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.0, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.0, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.0, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.0, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.0, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.0, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.0, Inf), dac))[1] === Decoratedinterval(interval(0.0, Inf), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.0, Inf), dac))[1], Decoratedinterval(interval(0.0, Inf), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.0, Inf), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.0, Inf), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.0, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[1] === Decoratedinterval(interval(-Inf, -0x1.47AE147AE147BP-6), dac) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[1], Decoratedinterval(interval(-Inf, -0x1.47AE147AE147BP-6), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(0.04, Inf), dac))[1] === Decoratedinterval(interval(-Inf, -0x1.47AE147AE147BP-6), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(0.04, Inf), dac))[1], Decoratedinterval(interval(-Inf, -0x1.47AE147AE147BP-6), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[1] === Decoratedinterval(interval(-Inf, -0x1.47AE147AE147BP-6), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(interval(0x1.29E4129E4129DP-5, Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[1], Decoratedinterval(interval(-Inf, -0x1.47AE147AE147BP-6), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(interval(0x1.29E4129E4129DP-5, Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[1] === Decoratedinterval(interval(0x1.29E4129E4129DP-5, Inf), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[1], Decoratedinterval(interval(0x1.29E4129E4129DP-5, Inf), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[1] === Decoratedinterval(interval(0x1.29E4129E4129DP-5, Inf), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[1], Decoratedinterval(interval(0x1.29E4129E4129DP-5, Inf), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(0.04, Inf), dac))[1] === Decoratedinterval(emptyinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(0.04, Inf), dac))[1], Decoratedinterval(emptyinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), dac) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[1], Decoratedinterval(interval(-Inf, 0.0), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.04, Inf), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.04, Inf), dac))[1], Decoratedinterval(interval(-Inf, 0.0), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(interval(0x1.29E4129E4129DP-5, Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[1], Decoratedinterval(interval(-Inf, 0.0), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(interval(0x1.29E4129E4129DP-5, Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.04, Inf), dac))[1] === Decoratedinterval(interval(-Inf, -0x1.47AE147AE147BP-6), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(interval(0.0, Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.04, Inf), dac))[1], Decoratedinterval(interval(-Inf, -0x1.47AE147AE147BP-6), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(interval(0.0, Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.04, Inf), dac))[1] === Decoratedinterval(interval(0.0, Inf), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.04, Inf), dac))[1], Decoratedinterval(interval(0.0, Inf), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.04, Inf), dac))[1] === Decoratedinterval(interval(0.0, Inf), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.04, Inf), dac))[1], Decoratedinterval(interval(0.0, Inf), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.04, Inf), dac))[1] === Decoratedinterval(interval(-Inf, 0.0), trv) && mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(interval(0.0, Inf), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.04, Inf), dac))[1], Decoratedinterval(interval(-Inf, 0.0), trv)) && eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(interval(0.04, Inf), dac))[2], Decoratedinterval(interval(0.0, Inf), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(entireinterval(), dac))[1] === Decoratedinterval(entireinterval(), dac) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(entireinterval(), dac))[1], Decoratedinterval(entireinterval(), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, -0.1), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(entireinterval(), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(entireinterval(), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 0.0), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(entireinterval(), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(entireinterval(), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, 1.1), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(entireinterval(), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(entireinterval(), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 1.1), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(entireinterval(), dac))[1] === Decoratedinterval(entireinterval(), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(entireinterval(), dac))[1], Decoratedinterval(entireinterval(), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, 1.1), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(entireinterval(), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(entireinterval(), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, 0.0), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(entireinterval(), dac))[1] === Decoratedinterval(entireinterval(), dac) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(entireinterval(), dac))[1], Decoratedinterval(entireinterval(), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, -0.1), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(entireinterval(), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(entireinterval(), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 0.0), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(entireinterval(), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(entireinterval(), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-Inf, 1.1), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(entireinterval(), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(entireinterval(), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(-2.0, Inf), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(entireinterval(), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(entireinterval(), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.0, Inf), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(entireinterval(), dac))[1] === Decoratedinterval(entireinterval(), dac) && mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(entireinterval(), dac))[1], Decoratedinterval(entireinterval(), dac)) && eq(mul_rev_to_pair(Decoratedinterval(interval(0.01, Inf), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) -# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(entireinterval(), dac))[1] === Decoratedinterval(entireinterval(), trv) && mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) +# @test eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(entireinterval(), dac))[1], Decoratedinterval(entireinterval(), trv)) && eq(mul_rev_to_pair(Decoratedinterval(entireinterval(), dac), Decoratedinterval(entireinterval(), dac))[2], Decoratedinterval(emptyinterval(), trv)) # end