| author | Patrik Svestka <patrik.svestka@gmail.com> |
| Tue, 09 Apr 2019 11:18:28 +0200 | |
| branch | jv |
| changeset 2214 | ba58ef8a6214 |
| parent 1974 | f2eaf05205d6 |
| permissions | -rwxr-xr-x |
| 1974 | 1 |
" |
2 |
COPYRIGHT (c) Claus Gittinger / eXept Software AG |
|
3 |
COPYRIGHT (c) 2016 Jan Vrany |
|
4 |
All Rights Reserved |
|
5 |
||
6 |
This software is furnished under a license and may be used |
|
7 |
only in accordance with the terms of that license and with the |
|
8 |
inclusion of the above copyright notice. This software may not |
|
9 |
be provided or otherwise made available to, or used by, any |
|
10 |
other person. No title to or ownership of the software is |
|
11 |
hereby transferred. |
|
12 |
" |
|
| 1447 | 13 |
"{ Package: 'stx:goodies/regression' }"
|
| 192 | 14 |
|
15 |
"{ NameSpace: RegressionTests }"
|
|
16 |
||
17 |
TestCase subclass:#FloatTest |
|
| 263 | 18 |
instanceVariableNames:'' |
19 |
classVariableNames:'' |
|
20 |
poolDictionaries:'' |
|
| 1067 | 21 |
category:'tests-Regression-Numbers' |
| 192 | 22 |
! |
23 |
||
| 1974 | 24 |
!FloatTest class methodsFor:'documentation'! |
25 |
||
26 |
copyright |
|
27 |
" |
|
28 |
COPYRIGHT (c) Claus Gittinger / eXept Software AG |
|
29 |
COPYRIGHT (c) 2016 Jan Vrany |
|
30 |
All Rights Reserved |
|
31 |
||
32 |
This software is furnished under a license and may be used |
|
33 |
only in accordance with the terms of that license and with the |
|
34 |
inclusion of the above copyright notice. This software may not |
|
35 |
be provided or otherwise made available to, or used by, any |
|
36 |
other person. No title to or ownership of the software is |
|
37 |
hereby transferred. |
|
38 |
" |
|
39 |
! ! |
|
| 192 | 40 |
|
| 194 | 41 |
!FloatTest methodsFor:'helpers'! |
42 |
||
43 |
actualPrecisionOf:aFloatClass |
|
44 |
"get the actual number of valid bits in the mantissa. |
|
45 |
This does a real test (i.e. does not believe the compiled-in ifdefs)" |
|
46 |
||
| 1391 | 47 |
|one x count two| |
| 194 | 48 |
|
49 |
one := aFloatClass unity. "/ 1.0 in this class |
|
| 1391 | 50 |
two := one coerce:2.0. |
| 1447 | 51 |
x := one. |
| 194 | 52 |
count := 0. |
| 1486 | 53 |
|
| 662 | 54 |
[one + x > one] whileTrue:[ |
| 1447 | 55 |
x := x / two. |
56 |
count := count + 1. |
|
| 194 | 57 |
]. |
58 |
^ count |
|
59 |
||
60 |
" |
|
| 1447 | 61 |
self basicNew actualPrecisionOf:ShortFloat |
62 |
self basicNew actualPrecisionOf:Float |
|
63 |
self basicNew actualPrecisionOf:LongFloat |
|
| 194 | 64 |
" |
65 |
! ! |
|
66 |
||
| 192 | 67 |
!FloatTest methodsFor:'tests'! |
68 |
||
| 194 | 69 |
test00_Precision |
70 |
"computed precision vs. assumed precision." |
|
71 |
||
| 665 | 72 |
|a b| |
73 |
||
| 1390 | 74 |
self assert:( (a := Float precision) = (b := self actualPrecisionOf:Float)) |
|
1508
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
75 |
description:('Float precision: %1 ~~ actual: %2' bindWith:a with:b).
|
| 1390 | 76 |
self assert:( (a := ShortFloat precision) = (b := self actualPrecisionOf:ShortFloat)) |
|
1508
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
77 |
description:('ShortFloat precision: %1 ~~ actual: %2' bindWith:a with:b).
|
| 194 | 78 |
" |
79 |
self basicNew test00_Precision |
|
80 |
" |
|
| 665 | 81 |
|
82 |
"Modified: / 03-05-2012 / 18:47:21 / cg" |
|
|
1508
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
83 |
"Modified: / 12-07-2016 / 14:59:00 / jv" |
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
84 |
! |
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
85 |
|
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
86 |
test00_Precision2 |
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
87 |
"computed precision vs. assumed precision." |
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
88 |
|
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
89 |
|a b| |
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
90 |
|
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
91 |
self skipIf: OperatingSystem isMSWINDOWSlike description:'Known to fail on Windows/MING for an unknown reason'. |
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
92 |
self assert:( (a := LongFloat precision) = (b := self actualPrecisionOf:LongFloat)) |
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
93 |
description:('LongFloat precision: %1 ~~ actual: %2' bindWith:a with:b).
|
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
94 |
|
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
95 |
" |
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
96 |
self basicNew test00_Precision2 |
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
97 |
" |
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
98 |
|
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
99 |
"Created: / 12-07-2016 / 14:58:54 / jv" |
| 194 | 100 |
! |
101 |
||
| 192 | 102 |
test01_Nan |
103 |
"NaN in all avaliable formats." |
|
104 |
||
| 199 | 105 |
|shouldBeFloatNaN shouldBeLongFloatNaN shouldBeShortFloatNaN| |
| 192 | 106 |
|
| 199 | 107 |
shouldBeFloatNaN := 0.0 uncheckedDivide: 0.0. |
108 |
self assert:( shouldBeFloatNaN isMemberOf:Float ). |
|
109 |
self assert:( shouldBeFloatNaN isNaN ). |
|
110 |
self assert:( shouldBeFloatNaN isFinite not ). |
|
| 192 | 111 |
|
| 199 | 112 |
shouldBeShortFloatNaN := 0.0 asShortFloat uncheckedDivide: 0.0 asShortFloat. |
113 |
self assert:( shouldBeShortFloatNaN isMemberOf:ShortFloat ). |
|
114 |
self assert:( shouldBeShortFloatNaN isNaN ). |
|
115 |
self assert:( shouldBeShortFloatNaN isFinite not ). |
|
| 192 | 116 |
|
| 199 | 117 |
shouldBeLongFloatNaN := 0.0 asLongFloat uncheckedDivide: 0.0 asLongFloat. |
118 |
self assert:( shouldBeLongFloatNaN isMemberOf:LongFloat ). |
|
119 |
self assert:( shouldBeLongFloatNaN isNaN ). |
|
120 |
self assert:( shouldBeLongFloatNaN isFinite not ). |
|
| 192 | 121 |
|
| 199 | 122 |
shouldBeFloatNaN := 0.0 uncheckedDivide: 0.0. |
123 |
self assert:( shouldBeFloatNaN asShortFloat isNaN ). |
|
124 |
self assert:( shouldBeFloatNaN asLongFloat isNaN ). |
|
| 192 | 125 |
|
| 199 | 126 |
shouldBeShortFloatNaN := 0.0 asShortFloat uncheckedDivide: 0.0. |
127 |
self assert:( shouldBeShortFloatNaN asFloat isNaN ). |
|
128 |
self assert:( shouldBeShortFloatNaN asLongFloat isNaN ). |
|
| 192 | 129 |
|
| 199 | 130 |
shouldBeLongFloatNaN := 0.0 asLongFloat uncheckedDivide: 0.0. |
131 |
self assert:( shouldBeLongFloatNaN asShortFloat isNaN ). |
|
132 |
self assert:( shouldBeLongFloatNaN asLongFloat isNaN ). |
|
133 |
||
134 |
shouldBeFloatNaN := 0.0 uncheckedDivide: 0.0. |
|
135 |
self should:[ shouldBeFloatNaN asInteger ] raise:DomainError. |
|
| 192 | 136 |
|
| 199 | 137 |
"/ mhmh - the following are not true (they silently return NaNs). |
138 |
"/ self should:[ shouldBeFloatNaN + 1 ] raise:DomainError. |
|
139 |
"/ self should:[ shouldBeFloatNaN + 1.0 ] raise:DomainError. |
|
140 |
"/ self should:[ shouldBeFloatNaN + 1.0 asShortFloat ] raise:DomainError. |
|
141 |
"/ self should:[ shouldBeFloatNaN + 1.0 asLongFloat ] raise:DomainError. |
|
| 192 | 142 |
"/ |
| 199 | 143 |
"/ self should:[ shouldBeFloatNaN - 1 ] raise:DomainError. |
144 |
"/ self should:[ shouldBeFloatNaN - 1.0 ] raise:DomainError. |
|
145 |
"/ self should:[ shouldBeFloatNaN - 1.0 asShortFloat ] raise:DomainError. |
|
146 |
"/ self should:[ shouldBeFloatNaN - 1.0 asLongFloat ] raise:DomainError. |
|
| 192 | 147 |
|
148 |
"/ but these are: |
|
| 199 | 149 |
self assert:( shouldBeFloatNaN + 1 ) isNaN. |
150 |
self assert:( shouldBeFloatNaN + 1.0 ) isNaN. |
|
151 |
self assert:( shouldBeFloatNaN + 1.0 asShortFloat ) isNaN. |
|
152 |
self assert:( shouldBeFloatNaN + 1.0 asLongFloat ) isNaN. |
|
153 |
||
154 |
self assert:( shouldBeFloatNaN - 1 ) isNaN. |
|
155 |
self assert:( shouldBeFloatNaN - 1.0 ) isNaN. |
|
156 |
self assert:( shouldBeFloatNaN - 1.0 asShortFloat ) isNaN. |
|
157 |
self assert:( shouldBeFloatNaN - 1.0 asLongFloat ) isNaN. |
|
158 |
||
159 |
||
160 |
shouldBeShortFloatNaN := 0.0 asShortFloat uncheckedDivide: 0.0. |
|
161 |
self should:[ shouldBeShortFloatNaN asInteger ] raise:DomainError. |
|
| 192 | 162 |
|
| 199 | 163 |
self assert:( shouldBeShortFloatNaN + 1 ) isNaN. |
164 |
self assert:( shouldBeShortFloatNaN + 1.0 ) isNaN. |
|
165 |
self assert:( shouldBeShortFloatNaN + 1.0 asShortFloat ) isNaN. |
|
166 |
self assert:( shouldBeShortFloatNaN + 1.0 asLongFloat ) isNaN. |
|
167 |
||
168 |
self assert:( shouldBeShortFloatNaN - 1 ) isNaN. |
|
169 |
self assert:( shouldBeShortFloatNaN - 1.0 ) isNaN. |
|
170 |
self assert:( shouldBeShortFloatNaN - 1.0 asShortFloat ) isNaN. |
|
171 |
self assert:( shouldBeShortFloatNaN - 1.0 asLongFloat ) isNaN. |
|
172 |
||
173 |
shouldBeLongFloatNaN := 0.0 asLongFloat uncheckedDivide: 0.0. |
|
174 |
self should:[ shouldBeLongFloatNaN asInteger ] raise:DomainError. |
|
175 |
||
176 |
self assert:( shouldBeLongFloatNaN + 1 ) isNaN. |
|
177 |
self assert:( shouldBeLongFloatNaN + 1.0 ) isNaN. |
|
178 |
self assert:( shouldBeLongFloatNaN + 1.0 asShortFloat ) isNaN. |
|
179 |
self assert:( shouldBeLongFloatNaN + 1.0 asLongFloat ) isNaN. |
|
180 |
||
181 |
self assert:( shouldBeLongFloatNaN - 1 ) isNaN. |
|
182 |
self assert:( shouldBeLongFloatNaN - 1.0 ) isNaN. |
|
183 |
self assert:( shouldBeLongFloatNaN - 1.0 asShortFloat ) isNaN. |
|
184 |
self assert:( shouldBeLongFloatNaN - 1.0 asLongFloat ) isNaN. |
|
| 192 | 185 |
|
186 |
" |
|
187 |
self basicNew test01_Nan |
|
188 |
" |
|
189 |
! |
|
190 |
||
191 |
test02_Inf |
|
192 |
"Infinity in all avaliable formats." |
|
193 |
||
| 203 | 194 |
|check posInf negInf| |
| 192 | 195 |
|
| 1447 | 196 |
check := |
197 |
[:v1 :v2 | |
|
| 192 | 198 |
|
| 1447 | 199 |
posInf := v1 uncheckedDivide: v2. |
| 192 | 200 |
|
| 1447 | 201 |
self assert:( posInf isMemberOf:v1 class ). |
202 |
self assert:( posInf isNaN not ). |
|
203 |
self assert:( posInf isFinite not ). |
|
204 |
self assert:( posInf isInfinite ). |
|
205 |
self assert:( posInf positive ). |
|
206 |
self assert:( posInf negative not ). |
|
207 |
self assert:( posInf isNegativeInfinity not). |
|
208 |
self assert:( posInf isPositiveInfinity ). |
|
| 203 | 209 |
|
| 1447 | 210 |
negInf := v1 negated uncheckedDivide: v2. |
| 192 | 211 |
|
| 1447 | 212 |
self assert:( negInf isMemberOf:v1 class ). |
213 |
self assert:( negInf isNaN not ). |
|
214 |
self assert:( negInf isFinite not ). |
|
215 |
self assert:( negInf isInfinite ). |
|
216 |
self assert:( negInf positive not). |
|
217 |
self assert:( negInf negative ). |
|
218 |
self assert:( negInf isNegativeInfinity ). |
|
219 |
self assert:( negInf isPositiveInfinity not ). |
|
| 192 | 220 |
|
| 1447 | 221 |
self assert:( negInf + negInf = negInf). |
222 |
self assert:( posInf + posInf = posInf). |
|
223 |
self assert:( negInf + posInf) isNaN. |
|
224 |
self assert:( posInf + negInf) isNaN. |
|
| 203 | 225 |
|
| 1447 | 226 |
self assert:( negInf - posInf = negInf). |
227 |
self assert:( negInf - negInf) isNaN. |
|
228 |
self assert:( posInf - negInf = posInf). |
|
229 |
self assert:( posInf - posInf) isNaN. |
|
| 203 | 230 |
|
| 1447 | 231 |
self assert:( posInf + v1) = posInf. |
232 |
self assert:( posInf - v1) = posInf. |
|
233 |
self assert:( negInf + v1) = negInf. |
|
234 |
self assert:( negInf - v1) = negInf. |
|
235 |
]. |
|
| 192 | 236 |
|
237 |
check value: 1.0 value: 0.0. |
|
238 |
check value: 1.0 asShortFloat value: 0.0 asShortFloat. |
|
239 |
check value: 1.0 asLongFloat value: 0.0 asLongFloat. |
|
240 |
||
241 |
"/ these are not guaranteed to work with uncheckedDivide... |
|
242 |
"/ check value: 1.0 value: 0.0 asShortFloat. |
|
243 |
"/ check value: 1.0 value: 0.0 asLongFloat. |
|
244 |
"/ |
|
245 |
"/ check value: 1.0 asShortFloat value: 0.0. |
|
246 |
"/ check value: 1.0 asShortFloat value: 0.0 asLongFloat. |
|
247 |
"/ |
|
248 |
"/ check value: 1.0 asLongFloat value: 0.0 asShortFloat. |
|
249 |
"/ check value: 1.0 asLongFloat value: 0.0. |
|
250 |
||
251 |
" |
|
252 |
self basicNew test02_Inf |
|
253 |
" |
|
254 |
! |
|
255 |
||
256 |
test03_Conversion |
|
257 |
self assert:( 1.0 asTrueFraction == 1 ). |
|
258 |
self assert:( 2.0 asTrueFraction == 2 ). |
|
259 |
self assert:( 4.0 asTrueFraction == 4 ). |
|
260 |
self assert:( 8.0 asTrueFraction == 8 ). |
|
261 |
self assert:( 16.0 asTrueFraction == 16 ). |
|
262 |
self assert:( 1048576.0 asTrueFraction == 1048576 ). |
|
263 |
self assert:( 0.5 asTrueFraction = (1/2) ). |
|
264 |
self assert:( 0.25 asTrueFraction = (1/4) ). |
|
265 |
self assert:( 0.125 asTrueFraction = (1/8) ). |
|
266 |
||
267 |
self assert:( 1.0 asShortFloat asTrueFraction == 1 ). |
|
268 |
self assert:( 2.0 asShortFloat asTrueFraction == 2 ). |
|
269 |
self assert:( 4.0 asShortFloat asTrueFraction == 4 ). |
|
270 |
self assert:( 8.0 asShortFloat asTrueFraction == 8 ). |
|
271 |
self assert:( 16.0 asShortFloat asTrueFraction == 16 ). |
|
272 |
self assert:( 1048576.0 asShortFloat asTrueFraction == 1048576 ). |
|
273 |
self assert:( 0.5 asShortFloat asTrueFraction = (1/2) ). |
|
274 |
self assert:( 0.25 asShortFloat asTrueFraction = (1/4) ). |
|
275 |
self assert:( 0.125 asShortFloat asTrueFraction = (1/8) ). |
|
276 |
||
277 |
self assert:( 1.0 asLongFloat asTrueFraction == 1 ). |
|
278 |
self assert:( 2.0 asLongFloat asTrueFraction == 2 ). |
|
279 |
self assert:( 4.0 asLongFloat asTrueFraction == 4 ). |
|
280 |
self assert:( 8.0 asLongFloat asTrueFraction == 8 ). |
|
281 |
self assert:( 16.0 asLongFloat asTrueFraction == 16 ). |
|
282 |
self assert:( 1048576.0 asLongFloat asTrueFraction == 1048576 ). |
|
283 |
self assert:( 0.5 asLongFloat asTrueFraction = (1/2) ). |
|
284 |
self assert:( 0.25 asLongFloat asTrueFraction = (1/4) ). |
|
285 |
self assert:( 0.125 asLongFloat asTrueFraction = (1/8) ). |
|
286 |
||
| 203 | 287 |
self assert: ((5/9) asFloat - 0.555555555555) abs < 0.0000000001. |
288 |
self assert: ((5/9) asLongFloat - 0.555555555555) abs < 0.0000000001. |
|
289 |
self assert: ((Fraction basicNew setNumerator:500000000000 denominator:900000000000) |
|
| 1447 | 290 |
asLongFloat - 0.555555555555) abs < 0.000000000001. |
| 203 | 291 |
self assert: ((Fraction basicNew setNumerator:500000000001 denominator:900000000000) |
| 1447 | 292 |
asLongFloat - 0.555555555555) abs >= 0.000000000001. |
| 203 | 293 |
|
| 621 | 294 |
"/ under windows, a longFloat has only 10bytes with 64 bits precision |
295 |
OperatingSystem isMSWINDOWSlike ifFalse:[ |
|
| 1447 | 296 |
self assert: (8901234567890123456 asLongFloat asInteger = 8901234567890123456). |
297 |
self assert: (-8901234567890123456 asLongFloat asInteger = -8901234567890123456). |
|
| 621 | 298 |
]. |
| 1447 | 299 |
self assert: (89012345678901234567 asLongFloat = 89012345678901234567). |
| 203 | 300 |
self assert: (-89012345678901234567 asLongFloat = -89012345678901234567). |
301 |
self assert: (89012345678901234567 negated asLongFloat = -89012345678901234567). |
|
302 |
||
303 |
self assert: ((89012345678901234567 / 123456789123456789) asLongFloat - (89012345678901234567 asLongFloat / 123456789123456789 asLongFloat) ) abs < 0.000000000001. |
|
304 |
self assert: ((-89012345678901234567 / 123456789123456789) asLongFloat - (-89012345678901234567 asLongFloat / 123456789123456789 asLongFloat)) abs < 0.000000000001. |
|
305 |
||
| 192 | 306 |
" |
307 |
self basicNew test03_Conversion |
|
308 |
" |
|
| 621 | 309 |
|
310 |
"Modified: / 09-08-2011 / 21:01:57 / cg" |
|
| 192 | 311 |
! |
312 |
||
313 |
test04_Arithmetic |
|
314 |
self assert:( 1.0 + 1.0 ) class == Float. |
|
315 |
self assert:( 1.0 + 1.0 asShortFloat) class == Float. |
|
316 |
self assert:( 1.0 + 1.0 asLongFloat) class == LongFloat. |
|
317 |
self assert:( 1.0 + 1) class == Float. |
|
318 |
||
319 |
self assert:( 1.0 asShortFloat + 1.0 ) class == Float. |
|
320 |
self assert:( 1.0 asShortFloat + 1.0 asShortFloat) class == ShortFloat. |
|
321 |
self assert:( 1.0 asShortFloat + 1.0 asLongFloat) class == LongFloat. |
|
322 |
self assert:( 1.0 asShortFloat + 1) class == ShortFloat. |
|
323 |
||
324 |
self assert:( 1.0 asLongFloat + 1.0 ) class == LongFloat. |
|
325 |
self assert:( 1.0 asLongFloat + 1.0 asShortFloat ) class == LongFloat. |
|
326 |
self assert:( 1.0 asLongFloat + 1.0 asFloat ) class == LongFloat. |
|
327 |
self assert:( 1.0 asLongFloat + 1 ) class == LongFloat. |
|
328 |
||
329 |
||
330 |
self assert:( 1.0 - 1.0 ) class == Float. |
|
331 |
self assert:( 1.0 - 1.0 asShortFloat) class == Float. |
|
332 |
self assert:( 1.0 - 1.0 asLongFloat) class == LongFloat. |
|
333 |
self assert:( 1.0 - 1) class == Float. |
|
334 |
||
335 |
self assert:( 1.0 asShortFloat - 1.0 ) class == Float. |
|
336 |
self assert:( 1.0 asShortFloat - 1.0 asShortFloat) class == ShortFloat. |
|
337 |
self assert:( 1.0 asShortFloat - 1.0 asLongFloat) class == LongFloat. |
|
338 |
self assert:( 1.0 asShortFloat - 1) class == ShortFloat. |
|
339 |
||
340 |
self assert:( 1.0 asLongFloat - 1.0 ) class == LongFloat. |
|
341 |
self assert:( 1.0 asLongFloat - 1.0 asShortFloat ) class == LongFloat. |
|
342 |
self assert:( 1.0 asLongFloat - 1.0 asFloat ) class == LongFloat. |
|
343 |
self assert:( 1.0 asLongFloat - 1 ) class == LongFloat. |
|
344 |
||
345 |
||
346 |
self assert:( 1.0 * 1.0 ) class == Float. |
|
347 |
self assert:( 1.0 * 1.0 asShortFloat) class == Float. |
|
348 |
self assert:( 1.0 * 1.0 asLongFloat) class == LongFloat. |
|
349 |
self assert:( 1.0 * 1) class == Float. |
|
350 |
||
351 |
self assert:( 1.0 asShortFloat * 1.0 ) class == Float. |
|
352 |
self assert:( 1.0 asShortFloat * 1.0 asShortFloat) class == ShortFloat. |
|
353 |
self assert:( 1.0 asShortFloat * 1.0 asLongFloat) class == LongFloat. |
|
354 |
self assert:( 1.0 asShortFloat * 1) class == ShortFloat. |
|
355 |
||
356 |
self assert:( 1.0 asLongFloat * 1.0 ) class == LongFloat. |
|
357 |
self assert:( 1.0 asLongFloat * 1.0 asShortFloat ) class == LongFloat. |
|
358 |
self assert:( 1.0 asLongFloat * 1.0 asFloat ) class == LongFloat. |
|
359 |
self assert:( 1.0 asLongFloat * 1 ) class == LongFloat. |
|
360 |
||
361 |
||
362 |
self assert:( 1.0 / 1.0 ) class == Float. |
|
363 |
self assert:( 1.0 / 1.0 asShortFloat) class == Float. |
|
364 |
self assert:( 1.0 / 1.0 asLongFloat) class == LongFloat. |
|
365 |
self assert:( 1.0 / 1) class == Float. |
|
366 |
||
367 |
self assert:( 1.0 asShortFloat / 1.0 ) class == Float. |
|
368 |
self assert:( 1.0 asShortFloat / 1.0 asShortFloat) class == ShortFloat. |
|
369 |
self assert:( 1.0 asShortFloat / 1.0 asLongFloat) class == LongFloat. |
|
370 |
self assert:( 1.0 asShortFloat / 1) class == ShortFloat. |
|
371 |
||
372 |
self assert:( 1.0 asLongFloat / 1.0 ) class == LongFloat. |
|
373 |
self assert:( 1.0 asLongFloat / 1.0 asShortFloat ) class == LongFloat. |
|
374 |
self assert:( 1.0 asLongFloat / 1.0 asFloat ) class == LongFloat. |
|
375 |
self assert:( 1.0 asLongFloat / 1 ) class == LongFloat. |
|
376 |
||
| 1391 | 377 |
self assert:( 1.0 / 2.0 ) class == Float. |
378 |
self assert:( 1.0 / 2.0 asShortFloat) class == Float. |
|
379 |
self assert:( 1.0 / 2.0 asLongFloat) class == LongFloat. |
|
380 |
self assert:( 1.0 / 2) class == Float. |
|
381 |
||
382 |
self assert:( 1.0 asShortFloat / 2.0 ) class == Float. |
|
383 |
self assert:( 1.0 asShortFloat / 2.0 asShortFloat) class == ShortFloat. |
|
384 |
self assert:( 1.0 asShortFloat / 2.0 asLongFloat) class == LongFloat. |
|
385 |
self assert:( 1.0 asShortFloat / 2) class == ShortFloat. |
|
386 |
||
387 |
self assert:( 1.0 asLongFloat / 2.0 ) class == LongFloat. |
|
388 |
self assert:( 1.0 asLongFloat / 2.0 asShortFloat ) class == LongFloat. |
|
389 |
self assert:( 1.0 asLongFloat / 2.0 asFloat ) class == LongFloat. |
|
390 |
self assert:( 1.0 asLongFloat / 2 ) class == LongFloat. |
|
391 |
||
|
755
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
392 |
self assert:( 5.0 rem: 2.0 ) class == Float. |
|
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
393 |
self assert:( 5.0 rem: 2.0 asShortFloat) class == Float. |
|
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
394 |
self assert:( 5.0 rem: 2.0 asLongFloat) class == LongFloat. |
|
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
395 |
self assert:( 5.0 rem: 2) class == Float. |
|
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
396 |
|
|
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
397 |
self assert:( 5.0 asShortFloat rem: 2.0 ) class == Float. |
|
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
398 |
self assert:( 5.0 asShortFloat rem: 2.0 asShortFloat) class == ShortFloat. |
|
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
399 |
self assert:( 5.0 asShortFloat rem: 2.0 asLongFloat) class == LongFloat. |
|
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
400 |
self assert:( 5.0 asShortFloat rem: 2) class == ShortFloat. |
|
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
401 |
|
|
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
402 |
self assert:( 5.0 asLongFloat rem: 2.0 ) class == LongFloat. |
|
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
403 |
self assert:( 5.0 asLongFloat rem: 2.0 asShortFloat ) class == LongFloat. |
|
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
404 |
self assert:( 5.0 asLongFloat rem: 2.0 asFloat ) class == LongFloat. |
|
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
405 |
self assert:( 5.0 asLongFloat rem: 2 ) class == LongFloat. |
|
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
406 |
|
| 192 | 407 |
" |
408 |
self basicNew test04_Arithmetic |
|
409 |
" |
|
410 |
! |
|
411 |
||
412 |
test05_Comparing |
|
| 203 | 413 |
|check v1 v2 v1b| |
414 |
||
415 |
check := [:iv1 :iv2| |
|
| 1447 | 416 |
#(yourself asInteger asFloat asShortFloat asLongFloat asLargeFloat) do:[:conv1 | |
417 |
v1 := (iv1 perform:conv1). |
|
| 192 | 418 |
|
| 1447 | 419 |
self assert:( v1 = nil ) not. |
420 |
self assert:( nil = v1 ) not. |
|
421 |
self assert:( v1 ~= nil ). |
|
422 |
self assert:( nil ~= v1 ). |
|
| 203 | 423 |
|
| 1447 | 424 |
#(yourself asInteger asFloat asShortFloat asLongFloat asLargeFloat) do:[:conv2 | |
425 |
v1b := (iv1 perform:conv2). |
|
| 203 | 426 |
|
| 1447 | 427 |
self assert:( v1 = v1b ). |
428 |
self assert:( v1 <= v1b ). |
|
429 |
self assert:( v1 >= v1b ). |
|
| 192 | 430 |
|
| 1447 | 431 |
v2 := (iv2 perform:conv2). |
| 192 | 432 |
|
| 1447 | 433 |
self assert:( v1 < v2 ). |
434 |
self assert:( v1 <= v2 ). |
|
435 |
self assert:( v2 >= v1 ). |
|
436 |
self assert:( v2 > v1 ). |
|
437 |
] |
|
438 |
]. |
|
| 203 | 439 |
]. |
440 |
||
441 |
check value:2 value:3. |
|
442 |
check value:0 value:1. |
|
443 |
check value:-1 value:0. |
|
444 |
check value:-3 value:-2. |
|
445 |
check value:-3 value:3. |
|
446 |
||
447 |
check value:-30 value:1. |
|
448 |
check value:-1 value:30. |
|
| 192 | 449 |
|
| 263 | 450 |
self assert:( 200000000000000000000.0 = 200000000000000000001 ). |
451 |
||
| 200 | 452 |
self assert:( 200000000000000000000.0 = 200000000000000000000 ). |
453 |
self assert:( 200000000000000000000.0 asLongFloat = 200000000000000000000 ). |
|
| 203 | 454 |
self assert:( 2000000.0 asShortFloat = 2000000 ). |
| 200 | 455 |
|
456 |
self assert:( 200000000000000000000 = 200000000000000000000.0). |
|
457 |
self assert:( 200000000000000000000 = 200000000000000000000.0 asLongFloat ). |
|
| 203 | 458 |
self assert:( 2000000 = 2000000.0 asShortFloat ). |
| 200 | 459 |
|
460 |
||
461 |
self assert:( 200000000000000000000.0 < 200000100000000000000 ). |
|
| 202 | 462 |
self assert:( 200000000000000000000.0 asLongFloat < 200000000000100000000 ). |
| 200 | 463 |
self assert:( 200000000000000000000.0 asShortFloat < 200001000000000000000 ). |
464 |
||
465 |
self assert:( 200000000000000000000 < 200001000000000000000.0). |
|
466 |
self assert:( 200000000000000000000 < 200001000000000000000.0 asLongFloat ). |
|
467 |
self assert:( 200000000000000000000 < 200001000000000000000.0 asShortFloat ). |
|
468 |
||
469 |
||
470 |
self assert:( 200000000000000000000.0 <= 200000100000000000000 ). |
|
471 |
self assert:( 200000000000000000000.0 <= 200000000000000000000 ). |
|
472 |
self assert:( 200000000000000000000.0 asLongFloat <= 200000000000000000001 ). |
|
473 |
self assert:( 200000000000000000000.0 asLongFloat <= 200000000000000000000 ). |
|
| 203 | 474 |
self assert:( 2000000.0 asShortFloat <= 200000100000000000000 ). |
475 |
self assert:( 2000000.0 asShortFloat <= 2000000 ). |
|
| 200 | 476 |
|
477 |
self assert:( 200000000000000000000 <= 200001000000000000000.0). |
|
478 |
self assert:( 200000000000000000000 <= 200000000000000000000.0). |
|
479 |
self assert:( 200000000000000000000 <= 200001000000000000000.0 asLongFloat ). |
|
480 |
self assert:( 200000000000000000000 <= 200000000000000000000.0 asLongFloat ). |
|
| 203 | 481 |
self assert:( 2000000 <= 2000000.0 asShortFloat ). |
482 |
self assert:( 2000000 <= 2000000.0 asShortFloat ). |
|
| 200 | 483 |
|
| 192 | 484 |
" |
485 |
self basicNew test05_Comparing |
|
486 |
" |
|
487 |
! |
|
488 |
||
489 |
test06_MiscMath |
|
| 263 | 490 |
|epsilon| |
491 |
||
492 |
epsilon := 0.000001. |
|
493 |
||
| 192 | 494 |
#( |
| 1447 | 495 |
sqrt 0.5 0.707107 |
496 |
exp 0.5 1.64872 |
|
497 |
ln 0.5 -0.693147 |
|
498 |
log10 0.5 -0.30103 |
|
| 263 | 499 |
|
| 1447 | 500 |
sin 0.5 0.479426 |
501 |
cos 0.5 0.877583 |
|
502 |
tan 0.5 0.546302 |
|
503 |
arcSin 0.5 0.523599 |
|
504 |
arcCos 0.5 1.0472 |
|
505 |
arcTan 0.5 0.463648 |
|
506 |
sinh 0.5 0.521095 |
|
507 |
cosh 0.5 1.12763 |
|
508 |
tanh 0.5 0.462117 |
|
509 |
arcSinh 0.5 0.481212 |
|
510 |
arcCosh 1.5 1.24983 |
|
511 |
arcTanh 0.5 0.549306 |
|
| 263 | 512 |
|
| 1447 | 513 |
sin 0.0 0.0 |
514 |
cos 0.0 1.0 |
|
515 |
tan 0.0 0.0 |
|
516 |
sinh 0.0 0.0 |
|
517 |
cosh 0.0 1.0 |
|
518 |
tanh 0.0 0.0 |
|
| 263 | 519 |
|
| 1447 | 520 |
sin 1.0 0.841471 |
521 |
cos 1.0 0.540302 |
|
522 |
tan 1.0 1.55741 |
|
523 |
sinh 1.0 1.1752 |
|
524 |
cosh 1.0 1.54308 |
|
525 |
tanh 1.0 0.761594 |
|
| 263 | 526 |
|
| 1447 | 527 |
sin 3.14159 0.0 |
528 |
cos 3.14159 -1.0 |
|
529 |
tan 3.14159 0.0 |
|
530 |
sinh 3.14159 11.5487 |
|
531 |
cosh 3.14159 11.5919 |
|
532 |
tanh 3.14159 0.996272 |
|
| 263 | 533 |
|
534 |
||
| 1447 | 535 |
tan 0.785398 1.0 "pi/4 -> should be 1" |
536 |
arcCos -1.0 3.14159 "should be pi" |
|
537 |
arcSin 1.0 1.5708 "should be pi/2 (1.5708)" |
|
538 |
arcTan 1.0 0.785398 "should be pi/4 (.785398)" |
|
| 263 | 539 |
) inGroupsOf:3 do:[:op :x :expected| |
| 1447 | 540 |
|rslt rsltShortFloat rsltLongFloat rsltLargeFloat| |
| 263 | 541 |
|
| 1447 | 542 |
rslt := x perform:op. |
543 |
rsltShortFloat := x asShortFloat perform:op. |
|
544 |
rsltLongFloat := x asLongFloat perform:op. |
|
| 263 | 545 |
"/ rsltLargeFloat := arg asLargeFloat perform:op. |
546 |
||
| 1447 | 547 |
self assert:(rslt class == Float). |
548 |
"/ self assert:(rsltShortFloat class == Float). "/ ??? not a good test; some return a float |
|
549 |
self assert:(rsltLongFloat class == LongFloat). |
|
| 263 | 550 |
|
| 1447 | 551 |
self assert:( rslt - rsltShortFloat ) < epsilon. |
552 |
self assert:( rslt - rsltLongFloat ) < epsilon. |
|
| 263 | 553 |
"/ self assert:( rslt - rsltLargeFloat ) < epsilon. |
| 1447 | 554 |
self assert:( rslt - rslt asShortFloat ) < epsilon. |
555 |
self assert:( rslt - rslt asLongFloat ) < epsilon. |
|
| 263 | 556 |
"/ self assert:( rslt - rslt asLargeFloat ) < epsilon. |
557 |
]. |
|
558 |
||
559 |
self should:[ -2 arcSin ] raise:DomainError. |
|
560 |
self should:[ -2 arcCos ] raise:DomainError. |
|
561 |
self should:[ -1 arcTanh ] raise:DomainError. |
|
| 203 | 562 |
|
| 263 | 563 |
#( |
| 1447 | 564 |
0.0 |
565 |
0.5 |
|
566 |
1.0 |
|
567 |
2.0 |
|
568 |
1.57079 |
|
| 263 | 569 |
) do:[:x | |
| 1447 | 570 |
self assert:( x sin arcSin - x < epsilon). |
571 |
self assert:( x cos arcCos - x < epsilon). |
|
572 |
self assert:( x tan arcTan - x < epsilon). |
|
| 263 | 573 |
]. |
| 203 | 574 |
|
| 263 | 575 |
#( |
| 1447 | 576 |
-1.0 |
577 |
-0.5 |
|
578 |
0.0 |
|
579 |
0.5 |
|
580 |
1.0 |
|
| 263 | 581 |
) do:[:x | |
| 1447 | 582 |
self assert:( x arcSin sin - x < epsilon). |
583 |
self assert:( x arcCos cos - x < epsilon). |
|
584 |
self assert:( x arcTan tan - x < epsilon). |
|
| 263 | 585 |
]. |
| 203 | 586 |
|
| 263 | 587 |
#( |
| 1447 | 588 |
0.0 |
589 |
0.5 |
|
590 |
1.0 |
|
591 |
2.0 |
|
592 |
10 |
|
| 263 | 593 |
) do:[:x | |
| 1447 | 594 |
self assert:( x cosh arcCosh - x < epsilon). |
| 263 | 595 |
]. |
596 |
#( |
|
| 1447 | 597 |
-10 |
598 |
-2 |
|
599 |
-1 |
|
600 |
-0.5 |
|
601 |
0.0 |
|
602 |
0.5 |
|
603 |
1.0 |
|
604 |
2.0 |
|
605 |
10 |
|
| 263 | 606 |
) do:[:x | |
| 1447 | 607 |
self assert:( x sinh arcSinh - x < epsilon). |
608 |
self assert:( x tanh arcTanh - x < epsilon). |
|
| 263 | 609 |
]. |
610 |
||
| 198 | 611 |
|
| 263 | 612 |
#( |
| 1447 | 613 |
-0.99 |
614 |
-0.5 |
|
615 |
0.0 |
|
616 |
0.5 |
|
617 |
0.99 |
|
| 263 | 618 |
) do:[:x | |
| 1447 | 619 |
self assert:( x arcTanh - (( ( (1+x)/(1-x) ) ln ) / 2 ) ) < epsilon. |
| 263 | 620 |
]. |
621 |
||
622 |
#( |
|
| 1447 | 623 |
-10 |
624 |
-5 |
|
625 |
-2.0 |
|
626 |
-1.0 |
|
627 |
0.0 |
|
628 |
1.0 |
|
629 |
2.0 |
|
630 |
10 |
|
| 263 | 631 |
) do:[:x | |
| 1447 | 632 |
self assert:( x arcSinh sinh - x < epsilon). |
| 263 | 633 |
]. |
634 |
||
635 |
#( |
|
| 1447 | 636 |
1.0 |
637 |
2.0 |
|
638 |
10.0 |
|
| 263 | 639 |
) do:[:x | |
| 1447 | 640 |
self assert:( x arcCosh cosh - x < epsilon). |
| 198 | 641 |
]. |
| 192 | 642 |
|
643 |
" |
|
644 |
self basicNew test06_MiscMath |
|
645 |
" |
|
| 1321 | 646 |
|
647 |
"Modified (comment): / 27-02-2016 / 00:33:20 / cg" |
|
| 192 | 648 |
! |
649 |
||
650 |
test07_Truncation |
|
651 |
|check| |
|
652 |
||
653 |
check := [:num | |
|
| 1447 | 654 |
self assert:( num fractionPart + num truncated ) = num. |
655 |
self assert:( num fractionPart + num truncated ) class == num class. |
|
| 192 | 656 |
]. |
657 |
||
658 |
check value:1.6. |
|
659 |
check value:-1.6. |
|
660 |
||
661 |
check value:1.6 asShortFloat. |
|
662 |
check value:-1.6 asShortFloat. |
|
663 |
||
664 |
check value:1.6 asLongFloat. |
|
665 |
check value:-1.6 asLongFloat. |
|
666 |
||
667 |
||
668 |
self assert:( 1.6 ceiling ) = 2. |
|
669 |
self assert:( 1.6 asShortFloat ceiling ) = 2. |
|
670 |
self assert:( 1.6 asLongFloat ceiling ) = 2. |
|
671 |
||
672 |
self assert:( 1.6 ceilingAsFloat ) = 2.0. |
|
673 |
self assert:( 1.6 ceilingAsFloat ) class == Float. |
|
674 |
self assert:( 1.6 asShortFloat ceilingAsFloat ) = 2.0 asShortFloat. |
|
675 |
self assert:( 1.6 asShortFloat ceilingAsFloat ) class == ShortFloat. |
|
676 |
self assert:( 1.6 asLongFloat ceilingAsFloat ) = 2.0 asLongFloat. |
|
677 |
self assert:( 1.6 asLongFloat ceilingAsFloat ) class == LongFloat. |
|
678 |
||
679 |
||
680 |
self assert:( 1.6 floor ) = 1. |
|
681 |
self assert:( 1.6 asShortFloat floor ) = 1. |
|
682 |
self assert:( 1.6 asLongFloat floor ) = 1. |
|
683 |
||
684 |
self assert:( 1.6 floorAsFloat ) = 1.0. |
|
685 |
self assert:( 1.6 floorAsFloat ) class == Float. |
|
686 |
self assert:( 1.6 asShortFloat floorAsFloat ) = 1.0 asShortFloat. |
|
687 |
self assert:( 1.6 asShortFloat floorAsFloat ) class == ShortFloat. |
|
688 |
self assert:( 1.6 asLongFloat floorAsFloat ) = 1.0 asLongFloat. |
|
689 |
self assert:( 1.6 asLongFloat floorAsFloat ) class == LongFloat. |
|
690 |
||
691 |
||
| 1447 | 692 |
self assert:( 0.4 rounded ) class == SmallInteger. |
693 |
self assert:( 0.4 rounded = 0 ). |
|
694 |
self assert:( 0.5 rounded = 1 ). |
|
695 |
self assert:( 0.6 rounded = 1 ). |
|
696 |
self assert:( -0.4 rounded = 0 ). |
|
697 |
self assert:( -0.5 rounded = -1 ). |
|
698 |
self assert:( -0.6 rounded = -1 ). |
|
| 192 | 699 |
|
| 1447 | 700 |
self assert:( 0.4 roundedAsFloat ) class == Float. |
701 |
self assert:( 0.4 roundedAsFloat = 0.0 ). |
|
702 |
self assert:( 0.5 roundedAsFloat = 1.0 ). |
|
703 |
self assert:( 0.6 roundedAsFloat = 1.0 ). |
|
704 |
self assert:( -0.4 roundedAsFloat = 0 ). |
|
705 |
self assert:( -0.5 roundedAsFloat = -1.0 ). |
|
706 |
self assert:( -0.6 roundedAsFloat = -1.0 ). |
|
| 192 | 707 |
|
| 1447 | 708 |
self assert:( 0.4 asShortFloat rounded ) class == SmallInteger. |
709 |
self assert:( 0.4 asShortFloat rounded = 0 ). |
|
710 |
self assert:( 0.5 asShortFloat rounded = 1 ). |
|
711 |
self assert:( 0.6 asShortFloat rounded = 1 ). |
|
712 |
self assert:( -0.4 asShortFloat rounded = 0 ). |
|
713 |
self assert:( -0.5 asShortFloat rounded = -1 ). |
|
714 |
self assert:( -0.6 asShortFloat rounded = -1 ). |
|
| 192 | 715 |
|
| 1447 | 716 |
self assert:( 0.4 asShortFloat roundedAsFloat ) class == ShortFloat. |
717 |
self assert:( 0.4 asShortFloat roundedAsFloat = 0.0 ). |
|
718 |
self assert:( 0.5 asShortFloat roundedAsFloat = 1.0 ). |
|
719 |
self assert:( 0.6 asShortFloat roundedAsFloat = 1.0 ). |
|
720 |
self assert:( -0.4 asShortFloat roundedAsFloat = 0 ). |
|
721 |
self assert:( -0.5 asShortFloat roundedAsFloat = -1.0 ). |
|
722 |
self assert:( -0.6 asShortFloat roundedAsFloat = -1.0 ). |
|
| 192 | 723 |
|
| 1447 | 724 |
self assert:( 0.4 asLongFloat rounded ) class == SmallInteger. |
725 |
self assert:( 0.4 asLongFloat rounded = 0 ). |
|
726 |
self assert:( 0.5 asLongFloat rounded = 1 ). |
|
727 |
self assert:( 0.6 asLongFloat rounded = 1 ). |
|
728 |
self assert:( -0.4 asLongFloat rounded = 0 ). |
|
729 |
self assert:( -0.5 asLongFloat rounded = -1 ). |
|
730 |
self assert:( -0.6 asLongFloat rounded = -1 ). |
|
| 192 | 731 |
|
| 1447 | 732 |
self assert:( 0.4 asLongFloat roundedAsFloat ) class == LongFloat. |
733 |
self assert:( 0.4 asLongFloat roundedAsFloat = 0.0 ). |
|
734 |
self assert:( 0.5 asLongFloat roundedAsFloat = 1.0 ). |
|
735 |
self assert:( 0.6 asLongFloat roundedAsFloat = 1.0 ). |
|
736 |
self assert:( -0.4 asLongFloat roundedAsFloat = 0 ). |
|
737 |
self assert:( -0.5 asLongFloat roundedAsFloat = -1.0 ). |
|
738 |
self assert:( -0.6 asLongFloat roundedAsFloat = -1.0 ). |
|
| 192 | 739 |
|
| 1447 | 740 |
self assert:( 0.4 truncated ) class == SmallInteger. |
741 |
self assert:( 0.4 truncated = 0 ). |
|
742 |
self assert:( 0.5 truncated = 0 ). |
|
743 |
self assert:( 0.6 truncated = 0 ). |
|
744 |
self assert:( -0.4 truncated = 0 ). |
|
745 |
self assert:( -0.5 truncated = 0 ). |
|
746 |
self assert:( -0.6 truncated = 0 ). |
|
| 192 | 747 |
|
| 1447 | 748 |
self assert:( 0.4 truncatedAsFloat ) class == Float. |
749 |
self assert:( 0.4 truncatedAsFloat = 0.0 ). |
|
750 |
self assert:( 0.5 truncatedAsFloat = 0.0 ). |
|
751 |
self assert:( 0.6 truncatedAsFloat = 0.0 ). |
|
752 |
self assert:( -0.4 truncatedAsFloat = 0 ). |
|
753 |
self assert:( -0.5 truncatedAsFloat = 0.0 ). |
|
754 |
self assert:( -0.6 truncatedAsFloat = 0.0 ). |
|
| 192 | 755 |
|
| 1447 | 756 |
self assert:( 0.4 asShortFloat truncated ) class == SmallInteger. |
757 |
self assert:( 0.4 asShortFloat truncated = 0 ). |
|
758 |
self assert:( 0.5 asShortFloat truncated = 0 ). |
|
759 |
self assert:( 0.6 asShortFloat truncated = 0 ). |
|
760 |
self assert:( -0.4 asShortFloat truncated = 0 ). |
|
761 |
self assert:( -0.5 asShortFloat truncated = 0 ). |
|
762 |
self assert:( -0.6 asShortFloat truncated = 0 ). |
|
| 192 | 763 |
|
| 1447 | 764 |
self assert:( 0.4 asShortFloat truncatedAsFloat ) class == ShortFloat. |
765 |
self assert:( 0.4 asShortFloat truncatedAsFloat = 0.0 ). |
|
766 |
self assert:( 0.5 asShortFloat truncatedAsFloat = 0.0 ). |
|
767 |
self assert:( 0.6 asShortFloat truncatedAsFloat = 0.0 ). |
|
768 |
self assert:( -0.4 asShortFloat truncatedAsFloat = 0 ). |
|
769 |
self assert:( -0.5 asShortFloat truncatedAsFloat = 0.0 ). |
|
770 |
self assert:( -0.6 asShortFloat truncatedAsFloat = 0.0 ). |
|
| 192 | 771 |
|
| 1447 | 772 |
self assert:( 0.4 asLongFloat truncated ) class == SmallInteger. |
773 |
self assert:( 0.4 asLongFloat truncated = 0 ). |
|
774 |
self assert:( 0.5 asLongFloat truncated = 0 ). |
|
775 |
self assert:( 0.6 asLongFloat truncated = 0 ). |
|
776 |
self assert:( -0.4 asLongFloat truncated = 0 ). |
|
777 |
self assert:( -0.5 asLongFloat truncated = 0 ). |
|
778 |
self assert:( -0.6 asLongFloat truncated = 0 ). |
|
| 192 | 779 |
|
| 1447 | 780 |
self assert:( 0.4 asLongFloat truncatedAsFloat ) class == LongFloat. |
781 |
self assert:( 0.4 asLongFloat truncatedAsFloat = 0.0 ). |
|
782 |
self assert:( 0.5 asLongFloat truncatedAsFloat = 0.0 ). |
|
783 |
self assert:( 0.6 asLongFloat truncatedAsFloat = 0.0 ). |
|
784 |
self assert:( -0.4 asLongFloat truncatedAsFloat = 0 ). |
|
785 |
self assert:( -0.5 asLongFloat truncatedAsFloat = 0.0 ). |
|
786 |
self assert:( -0.6 asLongFloat truncatedAsFloat = 0.0 ). |
|
| 192 | 787 |
|
788 |
" |
|
789 |
self basicNew test07_Truncation |
|
790 |
" |
|
| 197 | 791 |
! |
792 |
||
793 |
test08_Representation |
|
| 1391 | 794 |
self assert: (Float unity class == Float). |
795 |
self assert: (ShortFloat unity class == ShortFloat). |
|
796 |
self assert: (LongFloat unity class == LongFloat). |
|
797 |
||
798 |
self assert: (Float unity = 1.0). |
|
799 |
self assert: (ShortFloat unity = 1.0). |
|
800 |
self assert: (LongFloat unity = 1.0). |
|
801 |
||
802 |
self assert: (Float zero class == Float). |
|
803 |
self assert: (ShortFloat zero class == ShortFloat). |
|
804 |
self assert: (LongFloat zero class == LongFloat). |
|
805 |
||
806 |
self assert: (Float zero = 0.0). |
|
807 |
self assert: (ShortFloat zero = 0.0). |
|
808 |
self assert: (LongFloat zero = 0.0). |
|
809 |
||
810 |
self assert:( LongFloat unity = 1 asLongFloat ). |
|
811 |
self assert:( ShortFloat unity = 1 asShortFloat ). |
|
812 |
self assert:( Float unity = 1 asFloat ). |
|
813 |
||
| 197 | 814 |
self assert:( 0.0 exponent = 0 ). |
815 |
self assert:( 1.0 exponent = 1 ). |
|
816 |
self assert:( 2.0 exponent = 2 ). |
|
817 |
self assert:( 3.0 exponent = 2 ). |
|
818 |
self assert:( 4.0 exponent = 3 ). |
|
819 |
self assert:( 0.5 exponent = 0 ). |
|
820 |
self assert:( 0.4 exponent = -1 ). |
|
821 |
self assert:( 0.25 exponent = -1 ). |
|
822 |
self assert:( 0.125 exponent = -2 ). |
|
823 |
self assert:( 0.00000011111 exponent = -23 ). |
|
824 |
||
| 1447 | 825 |
self assert:( 0.0 asShortFloat exponent = 0 ). |
| 197 | 826 |
self assert:( 1.0 asShortFloat exponent = 1 ). |
827 |
self assert:( 2.0 asShortFloat exponent = 2 ). |
|
828 |
self assert:( 3.0 asShortFloat exponent = 2 ). |
|
829 |
self assert:( 4.0 asShortFloat exponent = 3 ). |
|
830 |
self assert:( 0.5 asShortFloat exponent = 0 ). |
|
831 |
self assert:( 0.4 asShortFloat exponent = -1 ). |
|
832 |
self assert:( 0.25 asShortFloat exponent = -1 ). |
|
833 |
self assert:( 0.125 asShortFloat exponent = -2 ). |
|
834 |
self assert:( 0.00000011111 asShortFloat exponent = -23 ). |
|
835 |
||
| 1447 | 836 |
self assert:( 0.0 asLongFloat exponent = 0 ). |
| 197 | 837 |
self assert:( 1.0 asLongFloat exponent = 1 ). |
838 |
self assert:( 2.0 asLongFloat exponent = 2 ). |
|
839 |
self assert:( 3.0 asLongFloat exponent = 2 ). |
|
840 |
self assert:( 4.0 asLongFloat exponent = 3 ). |
|
841 |
self assert:( 0.5 asLongFloat exponent = 0 ). |
|
842 |
self assert:( 0.4 asLongFloat exponent = -1 ). |
|
843 |
self assert:( 0.25 asLongFloat exponent = -1 ). |
|
844 |
self assert:( 0.125 asLongFloat exponent = -2 ). |
|
845 |
self assert:( 0.00000011111 asLongFloat exponent = -23 ). |
|
846 |
||
847 |
" |
|
848 |
self basicNew test08_Representation |
|
849 |
" |
|
| 604 | 850 |
|
851 |
"Modified: / 02-08-2011 / 18:34:39 / cg" |
|
| 192 | 852 |
! ! |
853 |
||
854 |
!FloatTest class methodsFor:'documentation'! |
|
855 |
||
856 |
version |
|
857 |
^ '$Header$' |
|
|
756
0fcddf68c5a4
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
755
diff
changeset
|
858 |
! |
|
0fcddf68c5a4
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
755
diff
changeset
|
859 |
|
|
0fcddf68c5a4
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
755
diff
changeset
|
860 |
version_CVS |
|
0fcddf68c5a4
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
755
diff
changeset
|
861 |
^ '$Header$' |
|
1508
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
862 |
! |
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
863 |
|
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
864 |
version_HG |
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
865 |
|
|
3837de42f3fe
Disabled FloatTest>>test00_Precision for LargeFloat on Windows
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1500
diff
changeset
|
866 |
^ '$Changeset: <not expanded> $' |
| 192 | 867 |
! ! |
|
755
b1269691d037
class: RegressionTests::FloatTest
Claus Gittinger <cg@exept.de>
parents:
665
diff
changeset
|
868 |