core/math/math-tests.factor

   1 USING: kernel layouts make math math.private tools.test ;
   2 IN: math.tests
   3
   4 { } [ 5 [ ] times ] unit-test
   5 { } [ 0 [ ] times ] unit-test
   6 { } [ -1 [ ] times ] unit-test
   7
   8 { } [ 5 [ drop ] each-integer ] unit-test
   9 { [ 0 1 2 3 4 ] } [ [ 5 [ , ] each-integer ] [ ] make ] unit-test
  10 { [ ] } [ [ -1 [ , ] each-integer ] [ ] make ] unit-test
  11
  12 { f } [ 1/0. fp-nan? ] unit-test
  13 { f } [ -1/0. fp-nan? ] unit-test
  14 { t } [ -0/0. fp-nan? ] unit-test
  15 { t } [ 1 <fp-nan> fp-nan? ] unit-test
  16 ! [ t ] [ 1 <fp-nan> fp-snan? ] unit-test
  17 ! [ f ] [ 1 <fp-nan> fp-qnan? ] unit-test
  18 { t } [ 0x8000000000001 <fp-nan> fp-nan? ] unit-test
  19 { f } [ 0x8000000000001 <fp-nan> fp-snan? ] unit-test
  20 { t } [ 0x8000000000001 <fp-nan> fp-qnan? ] unit-test
  21
  22 { t } [ 1/0. fp-infinity? ] unit-test
  23 { t } [ -1/0. fp-infinity? ] unit-test
  24 { f } [ -0/0. fp-infinity? ] unit-test
  25
  26 { f } [ 0 <fp-nan> fp-nan? ] unit-test
  27 { t } [ 0 <fp-nan> fp-infinity? ] unit-test
  28
  29 { t } [  0.0 neg -0.0 fp-bitwise= ] unit-test
  30 { t } [ -0.0 neg  0.0 fp-bitwise= ] unit-test
  31
  32 { 0.0 } [ -0.0 next-float ] unit-test
  33 { t } [ 1.0 dup next-float < ] unit-test
  34 { t } [ -1.0 dup next-float < ] unit-test
  35
  36 { -0.0 } [ 0.0 prev-float ] unit-test
  37 { t } [ 1.0 dup prev-float > ] unit-test
  38 { t } [ -1.0 dup prev-float > ] unit-test
  39
  40 { f } [ 0/0.  0/0. = ] unit-test
  41 { f } [ 0/0.  1.0  = ] unit-test
  42 { f } [ 0/0.  1/0. = ] unit-test
  43 { f } [ 0/0. -1/0. = ] unit-test
  44
  45 { f } [  0/0. 0/0. = ] unit-test
  46 { f } [  1.0  0/0. = ] unit-test
  47 { f } [ -1/0. 0/0. = ] unit-test
  48 { f } [  1/0. 0/0. = ] unit-test
  49
  50 { f } [ 0/0.  0/0. < ] unit-test
  51 { f } [ 0/0.  1.0  < ] unit-test
  52 { f } [ 0/0.  1/0. < ] unit-test
  53 { f } [ 0/0. -1/0. < ] unit-test
  54
  55 { f } [ 0/0.  0/0. <= ] unit-test
  56 { f } [ 0/0.  1.0  <= ] unit-test
  57 { f } [ 0/0.  1/0. <= ] unit-test
  58 { f } [ 0/0. -1/0. <= ] unit-test
  59
  60 { f } [  0/0. 0/0. > ] unit-test
  61 { f } [  1.0  0/0. > ] unit-test
  62 { f } [ -1/0. 0/0. > ] unit-test
  63 { f } [  1/0. 0/0. > ] unit-test
  64
  65 { f } [  0/0. 0/0. >= ] unit-test
  66 { f } [  1.0  0/0. >= ] unit-test
  67 { f } [ -1/0. 0/0. >= ] unit-test
  68 { f } [  1/0. 0/0. >= ] unit-test
  69
  70 { f } [ 0 neg? ] unit-test
  71 { f } [ 1/2 neg? ] unit-test
  72 { f } [ 1 neg? ] unit-test
  73 { t } [ -1/2 neg? ] unit-test
  74 { t } [ -1 neg? ] unit-test
  75
  76 { f } [ 0.0 neg? ] unit-test
  77 { f } [ 1.0 neg? ] unit-test
  78 { f } [ 1/0. neg? ] unit-test
  79 { t } [ -0.0 neg? ] unit-test
  80 { t } [ -1.0 neg? ] unit-test
  81 { t } [ -1/0. neg? ] unit-test
  82
  83 { -0x3fffffff } [ 0x3ffffffe >bignum bitnot ] unit-test
  84 { -0x40000000 } [ 0x3fffffff >bignum bitnot ] unit-test
  85 { -0x40000001 } [ 0x40000000 >bignum bitnot ] unit-test
  86 { -0x3fffffffffffffff } [ 0x3ffffffffffffffe >bignum bitnot ] unit-test
  87 { -0x4000000000000000 } [ 0x3fffffffffffffff >bignum bitnot ] unit-test
  88 { -0x4000000000000001 } [ 0x4000000000000000 >bignum bitnot ] unit-test
  89
  90 { 2 } [ 0 next-power-of-2 ] unit-test
  91 { 2 } [ 1 next-power-of-2 ] unit-test
  92 { 2 } [ 2 next-power-of-2 ] unit-test
  93 { 4 } [ 3 next-power-of-2 ] unit-test
  94 { 4 } [ 4 next-power-of-2 ] unit-test
  95 { 8 } [ 5 next-power-of-2 ] unit-test
  96
  97 { t } [ 128 2^ sq 256 2^ = ] unit-test
  98 { t } [ 128 2^ neg sq 256 2^ = ] unit-test
  99
 100 { t } [ most-negative-fixnum dup >bignum bignum>fixnum-strict = ] unit-test
 101
 102 { 100 } [ 100 100 gcd nip ] unit-test
 103 { 100 } [ 1000 100 gcd nip ] unit-test
 104 { 100 } [ 100 1000 gcd nip ] unit-test
 105 { 4 } [ 132 64 gcd nip ] unit-test
 106 { 4 } [ -132 64 gcd nip ] unit-test
 107 { 4 } [ -132 -64 gcd nip ] unit-test
 108 { 4 } [ 132 -64 gcd nip ] unit-test
 109 { 4 } [ -132 -64 gcd nip ] unit-test
 110
 111 { 100 } [ 100 >bignum 100 >bignum gcd nip ] unit-test
 112 { 100 } [ 1000 >bignum 100 >bignum gcd nip ] unit-test
 113 { 100 } [ 100 >bignum 1000 >bignum gcd nip ] unit-test
 114 { 4 } [ 132 >bignum 64 >bignum gcd nip ] unit-test
 115 { 4 } [ -132 >bignum 64 >bignum gcd nip ] unit-test
 116 { 4 } [ -132 >bignum -64 >bignum gcd nip ] unit-test
 117 { 4 } [ 132 >bignum -64 >bignum gcd nip ] unit-test
 118 { 4 } [ -132 >bignum -64 >bignum gcd nip ] unit-test
 119
 120 { 6 } [
 121     1326264299060955293181542400000006
 122     1591517158873146351817850880000000
 123     gcd nip
 124 ] unit-test
 125
 126 { 11 } [
 127     13262642990609552931815424
 128     159151715887314635181785
 129     gcd nip
 130 ] unit-test
 131
 132 { 3 } [
 133     13262642990609552931
 134     1591517158873146351
 135     gcd nip
 136 ] unit-test
 137
 138 { 26525285981219 } [
 139     132626429906095
 140     159151715887314
 141     gcd nip
 142 ] unit-test
 143
 144
 145 : verify-gcd ( a b -- ? )
 146     2dup gcd
 147     [ rot * swap rem ] dip = ;
 148
 149 { t } [ 123 124 verify-gcd ] unit-test
 150 { t } [ 50 120 verify-gcd ] unit-test