test scaled tolerance on =~= and <=>

Author: TimToady

S03-operators/comparison.t

@@ -1,7 +1,7 @@
 use v6;
 use Test;
 
-plan 49;
+plan 53;
 
 # N.B.:  relational ops are in relational.t
 
@@ -37,9 +37,13 @@ is NaN cmp 1, More, "NaN generic comparison sorts NaN in with alphabetics";
 is NaN cmp NaN, Same, "NaN generic comparison sorts NaN in with alphabetics";
 
 is exp(i * pi) <=> -1, Same, "<=> ignores tiny imaginary values";
+is exp(i * pi) * 1e10 <=> -1 * 1e10, Same, "<=> ignores tiny imaginary values, scaled up";
+is exp(i * pi) * 1e-10 <=> -1 * 1e-10, Same, "<=> ignores tiny imaginary values, scaled down";
 {
-    my $*SIGNIFICANCE = 1e-20;
+    my $*TOLERANCE = 1e-18;
     throws-like 'exp(i * pi) <=> -1', Exception, "(unless they exceed the signficance)";
+    throws-like 'exp(i * pi) * 1e10 <=> -1 * 1e10', Exception, "(still fails scaled up)";
+    throws-like 'exp(i * pi) * 1e-10 <=> -1 * 1e-10', Exception, "(still fails scaled down)";
 }
 
 # leg comparison (Str)

S03-operators/relational.t

@@ -1,7 +1,7 @@
 use v6;
 use Test;
 
-plan 132;
+plan 144;
 
 ## N.B.:  Tests for infix:«<=>» (spaceship) and infix:<cmp> belong
 ## in F<t/S03-operators/comparison.t>.
@@ -183,13 +183,30 @@ ok exp(i * pi) =~= -1, "=~= does approximate equality";
 ok exp(i * pi) ≅ -1, "≅ does approximate equality";
 
 {
-    my $*SIGNIFICANCE = 0.1;
-    ok 1.01 =~= 1, '=~= pays attention to $*SIGNIFICANCE (More)';
-    ok 0.99 =~= 1, '=~= pays attention to $*SIGNIFICANCE (Less)';
-    ok 1.01 ≅ 1, '≅ pays attention to $*SIGNIFICANCE (More)';
-    ok 0.99 ≅ 1, '≅ pays attention to $*SIGNIFICANCE (Less)';
-    nok 1.2 ≅ 1, '≅ pays attention to $*SIGNIFICANCE (more More)';
-    nok 0.8 ≅ 1, '≅ pays attention to $*SIGNIFICANCE (more Less)';
+    my $*TOLERANCE = 0.1;
+    ok 1.01 =~= 1, '=~= pays attention to $*TOLERANCE (More)';
+    ok 0.99 =~= 1, '=~= pays attention to $*TOLERANCE (Less)';
+    ok 1.01 ≅ 1, '≅ pays attention to $*TOLERANCE (More)';
+    ok 0.99 ≅ 1, '≅ pays attention to $*TOLERANCE (Less)';
+    nok 1.2 ≅ 1, '≅ pays attention to $*TOLERANCE (more More)';
+    nok 0.8 ≅ 1, '≅ pays attention to $*TOLERANCE (more Less)';
+
+    # ≅ is scaled up to larger arg
+    ok 101 =~= 100, '=~= pays attention to scaled-up $*TOLERANCE (More)';
+    ok 99 =~= 100, '=~= pays attention to scaled-up $*TOLERANCE (Less)';
+    ok 101 ≅ 100, '≅ pays attention to scaled-up $*TOLERANCE (More)';
+    ok 99 ≅ 100, '≅ pays attention to scaled-up $*TOLERANCE (Less)';
+    nok 120 ≅ 100, '≅ pays attention to scaled-up $*TOLERANCE (more More)';
+    nok 80 ≅ 100, '≅ pays attention to scaled-up $*TOLERANCE (more Less)';
+
+    # ≅ is scaled down to larger arg
+    ok 0.00101 =~= .001, '=~= pays attention to scaled-down $*TOLERANCE (More)';
+    ok 0.00099 =~= .001, '=~= pays attention to scaled-down $*TOLERANCE (Less)';
+    ok 0.00101 ≅ .001, '≅ pays attention to scaled-down $*TOLERANCE (More)';
+    ok 0.00099 ≅ .001, '≅ pays attention to scaled-down $*TOLERANCE (Less)';
+    nok 0.00120 ≅ .001, '≅ pays attention to scaled-down $*TOLERANCE (more More)';
+    nok 0.00080 ≅ .001, '≅ pays attention to scaled-down $*TOLERANCE (more Less)';
+
 }
 
 # vim: ft=perl6

S32-num/complex.t

@@ -167,10 +167,10 @@ is_approx e.log(1i), -2i / pi, "log e base i == -2i / pi";
     is <0+NaNi> cmp <0+0i>, More, "<0+NaNi> cmp <0+0i>";
 }
 
-ok Num(i ** 2) == -1, 'Num(Complex) pays attention to $*SIGNIFICANCE';
+ok Num(exp i * π) == -1, 'Num(Complex) pays attention to $*TOLERANCE';
 {
-    my $*SIGNIFICANCE = 1e-20;
-    throws-like 'Num(i ** 2)', Exception, 'Num(Complex) pays attention to $*SIGNIFICANCE';
+    my $*TOLERANCE = 1e-20;
+    throws-like 'Num(exp i * π)', Exception, 'Num(Complex) pays attention to $*TOLERANCE';
 }
 
 # vim: ft=perl6