1 USING: kernel math math.constants math.functions math.order
2 math.private math.libm tools.test ;
3 IN: math.functions.tests
5 [ t ] [ 4 4 .00000001 ~ ] unit-test
6 [ t ] [ 4.0000001 4.0000001 .000001 ~ ] unit-test
7 [ f ] [ -4.0000001 4.0000001 .00001 ~ ] unit-test
8 [ t ] [ -.0000000000001 0 .0000000001 ~ ] unit-test
10 ! Lets get the argument order correct, eh?
11 [ 0.0 ] [ 0.0 1.0 fatan2 ] unit-test
12 [ 0.25 ] [ 2.0 -2.0 fpow ] unit-test
14 [ 4.0 ] [ 16 sqrt ] unit-test
15 [ 2.0 ] [ 4.0 0.5 ^ ] unit-test
16 [ C{ 0.0 4.0 } ] [ -16 sqrt ] unit-test
18 [ 4 ] [ 2 2 ^ ] unit-test
19 [ 1/4 ] [ 2 -2 ^ ] unit-test
20 [ t ] [ 2 0.5 ^ 2 ^ 2 2.00001 between? ] unit-test
21 [ t ] [ e pi i* ^ real-part -1.0 = ] unit-test
22 [ t ] [ e pi i* ^ imaginary-part -0.00001 0.00001 between? ] unit-test
24 [ t ] [ 0 0 ^ fp-nan? ] unit-test
25 [ 0.0 ] [ 0.0 1.0 ^ ] unit-test
26 [ 1/0. ] [ 0 -2 ^ ] unit-test
27 [ t ] [ 0 0.0 ^ fp-nan? ] unit-test
28 [ 1/0. ] [ 0 -2.0 ^ ] unit-test
29 [ 0 ] [ 0 3.0 ^ ] unit-test
30 [ 0 ] [ 0 3 ^ ] unit-test
32 [ 0.0 ] [ 1 log ] unit-test
33 [ 0.0 ] [ 1.0 log ] unit-test
34 [ 1.0 ] [ e log ] unit-test
36 [ t ] [ 1 exp e 1.e-10 ~ ] unit-test
37 [ t ] [ 1.0 exp e 1.e-10 ~ ] unit-test
38 [ t ] [ -1 exp e * 1.0 1.e-10 ~ ] unit-test
40 [ 1.0 ] [ 0 cosh ] unit-test
41 [ 1.0 ] [ 0.0 cosh ] unit-test
42 [ 0.0 ] [ 1 acosh ] unit-test
43 [ 0.0 ] [ 1.0 acosh ] unit-test
45 [ 1.0 ] [ 0 cos ] unit-test
46 [ 1.0 ] [ 0.0 cos ] unit-test
47 [ 0.0 ] [ 1 acos ] unit-test
48 [ 0.0 ] [ 1.0 acos ] unit-test
50 [ 0.0 ] [ 0 sinh ] unit-test
51 [ 0.0 ] [ 0.0 sinh ] unit-test
52 [ 0.0 ] [ 0 asinh ] unit-test
53 [ 0.0 ] [ 0.0 asinh ] unit-test
55 [ 0.0 ] [ 0 sin ] unit-test
56 [ 0.0 ] [ 0.0 sin ] unit-test
57 [ 0.0 ] [ 0 asin ] unit-test
58 [ 0.0 ] [ 0.0 asin ] unit-test
60 [ 0.0 ] [ 0 tan ] unit-test
61 [ t ] [ pi 2 / tan 1.e10 > ] unit-test
63 [ t ] [ 10 atan real? ] unit-test
64 [ t ] [ 10.0 atan real? ] unit-test
65 [ f ] [ 10 atanh real? ] unit-test
66 [ f ] [ 10.0 atanh real? ] unit-test
68 [ t ] [ 10 asin sin 10 1.e-10 ~ ] unit-test
69 [ t ] [ -1 sqrt neg dup acos cos 1.e-10 ~ ] unit-test
70 [ t ] [ -100 atan tan -100 1.e-10 ~ ] unit-test
71 [ t ] [ 10 asinh sinh 10 1.e-10 ~ ] unit-test
72 [ t ] [ 10 atanh tanh 10 1.e-10 ~ ] unit-test
73 [ t ] [ 0.5 atanh tanh 0.5 1.e-10 ~ ] unit-test
75 [ 100 ] [ 100 100 gcd nip ] unit-test
76 [ 100 ] [ 1000 100 gcd nip ] unit-test
77 [ 100 ] [ 100 1000 gcd nip ] unit-test
78 [ 4 ] [ 132 64 gcd nip ] unit-test
79 [ 4 ] [ -132 64 gcd nip ] unit-test
80 [ 4 ] [ -132 -64 gcd nip ] unit-test
81 [ 4 ] [ 132 -64 gcd nip ] unit-test
82 [ 4 ] [ -132 -64 gcd nip ] unit-test
84 [ 100 ] [ 100 >bignum 100 >bignum gcd nip ] unit-test
85 [ 100 ] [ 1000 >bignum 100 >bignum gcd nip ] unit-test
86 [ 100 ] [ 100 >bignum 1000 >bignum gcd nip ] unit-test
87 [ 4 ] [ 132 >bignum 64 >bignum gcd nip ] unit-test
88 [ 4 ] [ -132 >bignum 64 >bignum gcd nip ] unit-test
89 [ 4 ] [ -132 >bignum -64 >bignum gcd nip ] unit-test
90 [ 4 ] [ 132 >bignum -64 >bignum gcd nip ] unit-test
91 [ 4 ] [ -132 >bignum -64 >bignum gcd nip ] unit-test
94 1326264299060955293181542400000006
95 1591517158873146351817850880000000
100 13262642990609552931815424
101 159151715887314635181785
118 : verify-gcd ( a b -- ? )
120 [ rot * swap rem ] dip = ;
122 [ t ] [ 123 124 verify-gcd ] unit-test
123 [ t ] [ 50 120 verify-gcd ] unit-test
125 [ t ] [ 0 42 divisor? ] unit-test
126 [ t ] [ 42 7 divisor? ] unit-test
127 [ t ] [ 42 -7 divisor? ] unit-test
128 [ t ] [ 42 42 divisor? ] unit-test
129 [ f ] [ 42 16 divisor? ] unit-test
131 [ 3 ] [ 5 7 mod-inv ] unit-test
132 [ 78572682077 ] [ 234829342 342389423843 mod-inv ] unit-test
134 [ 2 10 mod-inv ] must-fail
136 [ t ] [ 0 0 ^ fp-nan? ] unit-test
137 [ 1 ] [ 10 0 ^ ] unit-test
138 [ 1/8 ] [ 1/2 3 ^ ] unit-test
139 [ 1/8 ] [ 2 -3 ^ ] unit-test
140 [ t ] [ 1 100 shift 2 100 ^ = ] unit-test
142 [ 1 ] [ 7/8 ceiling ] unit-test
143 [ 2 ] [ 3/2 ceiling ] unit-test
144 [ 0 ] [ -7/8 ceiling ] unit-test
145 [ -1 ] [ -3/2 ceiling ] unit-test
147 [ 4.0 ] [ 4.5 truncate ] unit-test
148 [ 4.0 ] [ 4.5 floor ] unit-test
149 [ 5.0 ] [ 4.5 ceiling ] unit-test
151 [ -4.0 ] [ -4.5 truncate ] unit-test
152 [ -5.0 ] [ -4.5 floor ] unit-test
153 [ -4.0 ] [ -4.5 ceiling ] unit-test
155 [ -4.0 ] [ -4.0 truncate ] unit-test
156 [ -4.0 ] [ -4.0 floor ] unit-test
157 [ -4.0 ] [ -4.0 ceiling ] unit-test
159 [ -5.0 ] [ -4.5 round ] unit-test
160 [ -4.0 ] [ -4.4 round ] unit-test
161 [ 5.0 ] [ 4.5 round ] unit-test
162 [ 4.0 ] [ 4.4 round ] unit-test
164 [ 6 59967 ] [ 3837888 factor-2s ] unit-test
165 [ 6 -59967 ] [ -3837888 factor-2s ] unit-test
178 [ >bignum ] tri@ ^mod
181 [ 1.0 ] [ 1.0 2.5 0.0 lerp ] unit-test
182 [ 2.5 ] [ 1.0 2.5 1.0 lerp ] unit-test
183 [ 1.75 ] [ 1.0 2.5 0.5 lerp ] unit-test
185 [ C{ 1 2 } ] [ C{ 1 2 } 1 ^ ] unit-test