RegressionTests__FloatTest.st
author Claus Gittinger <cg@exept.de>
Thu, 14 Apr 2005 21:21:30 +0200
changeset 263 c28dd8e5c799
parent 257 94924ee6840b
child 604 d3bb339b9ab8
permissions -rw-r--r--
*** empty log message ***
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     1
"{ Package: 'exept:regression' }"
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     2
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     3
"{ NameSpace: RegressionTests }"
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     4
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     5
TestCase subclass:#FloatTest
263
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
     6
	instanceVariableNames:''
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
     7
	classVariableNames:''
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
     8
	poolDictionaries:''
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
     9
	category:'tests-Regression'
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    10
!
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    11
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    12
194
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    13
!FloatTest methodsFor:'helpers'!
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    14
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    15
actualPrecisionOf:aFloatClass
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    16
    "get the actual number of valid bits in the mantissa.
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    17
     This does a real test (i.e. does not believe the compiled-in ifdefs)"
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    18
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    19
    |one half x count|
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    20
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    21
    one := aFloatClass unity.  "/ 1.0 in this class
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    22
    half := one coerce:0.5.
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    23
    x := one.    
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    24
    count := 0.
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    25
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    26
    [ one + x ~= one] whileTrue:[
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    27
        x := x * half.
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    28
        count := count + 1.
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    29
    ].
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    30
    ^ count
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    31
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    32
    "
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    33
     self basicNew actualPrecisionOf:ShortFloat 
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    34
     self basicNew actualPrecisionOf:Float      
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    35
     self basicNew actualPrecisionOf:LongFloat   
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    36
    "
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    37
! !
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    38
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    39
!FloatTest methodsFor:'tests'!
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    40
194
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    41
test00_Precision
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    42
    "computed precision vs. assumed precision."
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    43
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    44
    self assert:( Float precision == (self actualPrecisionOf:Float)).
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    45
    self assert:( ShortFloat precision == (self actualPrecisionOf:ShortFloat)).
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    46
    self assert:( LongFloat precision == (self actualPrecisionOf:LongFloat)).
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    47
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    48
    "
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    49
     self basicNew test00_Precision
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    50
    "
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    51
!
12598a62d57a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 192
diff changeset
    52
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    53
test01_Nan
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    54
    "NaN in all avaliable formats."
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    55
199
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    56
    |shouldBeFloatNaN shouldBeLongFloatNaN shouldBeShortFloatNaN|
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    57
199
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    58
    shouldBeFloatNaN := 0.0 uncheckedDivide: 0.0.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    59
    self assert:( shouldBeFloatNaN isMemberOf:Float ).
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    60
    self assert:( shouldBeFloatNaN isNaN ).
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    61
    self assert:( shouldBeFloatNaN isFinite not ).
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    62
199
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    63
    shouldBeShortFloatNaN := 0.0 asShortFloat uncheckedDivide: 0.0 asShortFloat.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    64
    self assert:( shouldBeShortFloatNaN isMemberOf:ShortFloat ).
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    65
    self assert:( shouldBeShortFloatNaN isNaN ).
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    66
    self assert:( shouldBeShortFloatNaN isFinite not ).
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    67
199
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    68
    shouldBeLongFloatNaN := 0.0 asLongFloat uncheckedDivide: 0.0 asLongFloat.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    69
    self assert:( shouldBeLongFloatNaN isMemberOf:LongFloat ).
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    70
    self assert:( shouldBeLongFloatNaN isNaN ).
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    71
    self assert:( shouldBeLongFloatNaN isFinite not ).
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    72
199
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    73
    shouldBeFloatNaN := 0.0 uncheckedDivide: 0.0.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    74
    self assert:( shouldBeFloatNaN asShortFloat isNaN ).
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    75
    self assert:( shouldBeFloatNaN asLongFloat isNaN ).
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    76
199
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    77
    shouldBeShortFloatNaN := 0.0 asShortFloat uncheckedDivide: 0.0.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    78
    self assert:( shouldBeShortFloatNaN asFloat isNaN ).
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    79
    self assert:( shouldBeShortFloatNaN asLongFloat isNaN ).
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    80
199
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    81
    shouldBeLongFloatNaN := 0.0 asLongFloat uncheckedDivide: 0.0.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    82
    self assert:( shouldBeLongFloatNaN asShortFloat isNaN ).
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    83
    self assert:( shouldBeLongFloatNaN asLongFloat isNaN ).
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    84
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    85
    shouldBeFloatNaN := 0.0 uncheckedDivide: 0.0.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    86
    self should:[ shouldBeFloatNaN asInteger ] raise:DomainError.
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    87
199
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    88
"/ mhmh - the following are not true (they silently return NaNs).
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    89
"/    self should:[ shouldBeFloatNaN + 1 ] raise:DomainError.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    90
"/    self should:[ shouldBeFloatNaN + 1.0 ] raise:DomainError.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    91
"/    self should:[ shouldBeFloatNaN + 1.0 asShortFloat ] raise:DomainError.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    92
"/    self should:[ shouldBeFloatNaN + 1.0 asLongFloat ] raise:DomainError.
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    93
"/
199
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    94
"/    self should:[ shouldBeFloatNaN - 1 ] raise:DomainError.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    95
"/    self should:[ shouldBeFloatNaN - 1.0 ] raise:DomainError.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    96
"/    self should:[ shouldBeFloatNaN - 1.0 asShortFloat ] raise:DomainError.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
    97
"/    self should:[ shouldBeFloatNaN - 1.0 asLongFloat ] raise:DomainError.
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    98
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    99
    "/ but these are:
199
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   100
    self assert:( shouldBeFloatNaN + 1 ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   101
    self assert:( shouldBeFloatNaN + 1.0 ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   102
    self assert:( shouldBeFloatNaN + 1.0 asShortFloat ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   103
    self assert:( shouldBeFloatNaN + 1.0 asLongFloat ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   104
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   105
    self assert:( shouldBeFloatNaN - 1 ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   106
    self assert:( shouldBeFloatNaN - 1.0 ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   107
    self assert:( shouldBeFloatNaN - 1.0 asShortFloat ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   108
    self assert:( shouldBeFloatNaN - 1.0 asLongFloat ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   109
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   110
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   111
    shouldBeShortFloatNaN := 0.0 asShortFloat uncheckedDivide: 0.0.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   112
    self should:[ shouldBeShortFloatNaN asInteger ] raise:DomainError.
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   113
199
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   114
    self assert:( shouldBeShortFloatNaN + 1 ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   115
    self assert:( shouldBeShortFloatNaN + 1.0 ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   116
    self assert:( shouldBeShortFloatNaN + 1.0 asShortFloat ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   117
    self assert:( shouldBeShortFloatNaN + 1.0 asLongFloat ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   118
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   119
    self assert:( shouldBeShortFloatNaN - 1 ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   120
    self assert:( shouldBeShortFloatNaN - 1.0 ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   121
    self assert:( shouldBeShortFloatNaN - 1.0 asShortFloat ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   122
    self assert:( shouldBeShortFloatNaN - 1.0 asLongFloat ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   123
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   124
    shouldBeLongFloatNaN := 0.0 asLongFloat uncheckedDivide: 0.0.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   125
    self should:[ shouldBeLongFloatNaN asInteger ] raise:DomainError.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   126
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   127
    self assert:( shouldBeLongFloatNaN + 1 ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   128
    self assert:( shouldBeLongFloatNaN + 1.0 ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   129
    self assert:( shouldBeLongFloatNaN + 1.0 asShortFloat ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   130
    self assert:( shouldBeLongFloatNaN + 1.0 asLongFloat ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   131
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   132
    self assert:( shouldBeLongFloatNaN - 1 ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   133
    self assert:( shouldBeLongFloatNaN - 1.0 ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   134
    self assert:( shouldBeLongFloatNaN - 1.0 asShortFloat ) isNaN.
0a895cfee047 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 198
diff changeset
   135
    self assert:( shouldBeLongFloatNaN - 1.0 asLongFloat ) isNaN.
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   136
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   137
    "
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   138
     self basicNew test01_Nan
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   139
    "
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   140
!
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   141
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   142
test02_Inf
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   143
    "Infinity in all avaliable formats."
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   144
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   145
    |check posInf negInf|
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   146
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   147
    check := 
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   148
        [:v1 :v2 |
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   149
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   150
            posInf := v1 uncheckedDivide: v2.
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   151
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   152
            self assert:( posInf isMemberOf:v1 class ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   153
            self assert:( posInf isNaN not ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   154
            self assert:( posInf isFinite not ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   155
            self assert:( posInf isInfinite ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   156
            self assert:( posInf positive ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   157
            self assert:( posInf negative not ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   158
            self assert:( posInf isNegativeInfinity not).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   159
            self assert:( posInf isPositiveInfinity ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   160
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   161
            negInf := v1 negated uncheckedDivide: v2.
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   162
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   163
            self assert:( negInf isMemberOf:v1 class ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   164
            self assert:( negInf isNaN not ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   165
            self assert:( negInf isFinite not ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   166
            self assert:( negInf isInfinite ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   167
            self assert:( negInf positive not).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   168
            self assert:( negInf negative ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   169
            self assert:( negInf isNegativeInfinity ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   170
            self assert:( negInf isPositiveInfinity not ).
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   171
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   172
            self assert:( negInf + negInf = negInf).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   173
            self assert:( posInf + posInf = posInf).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   174
            self assert:( negInf + posInf) isNaN.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   175
            self assert:( posInf + negInf) isNaN.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   176
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   177
            self assert:( negInf - posInf = negInf).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   178
            self assert:( negInf - negInf) isNaN.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   179
            self assert:( posInf - negInf = posInf).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   180
            self assert:( posInf - posInf) isNaN.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   181
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   182
            self assert:( posInf + v1) = posInf.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   183
            self assert:( posInf - v1) = posInf.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   184
            self assert:( negInf + v1) = negInf.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   185
            self assert:( negInf - v1) = negInf.
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   186
        ].
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   187
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   188
    check value: 1.0 value: 0.0.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   189
    check value: 1.0 asShortFloat value: 0.0 asShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   190
    check value: 1.0 asLongFloat value: 0.0 asLongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   191
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   192
"/ these are not guaranteed to work with uncheckedDivide...
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   193
"/    check value: 1.0 value: 0.0 asShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   194
"/    check value: 1.0 value: 0.0 asLongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   195
"/
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   196
"/    check value: 1.0 asShortFloat value: 0.0.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   197
"/    check value: 1.0 asShortFloat value: 0.0 asLongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   198
"/
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   199
"/    check value: 1.0 asLongFloat value: 0.0 asShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   200
"/    check value: 1.0 asLongFloat value: 0.0.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   201
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   202
    "
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   203
     self basicNew test02_Inf
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   204
    "
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   205
!
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   206
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   207
test03_Conversion
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   208
    self assert:( 1.0 asTrueFraction == 1 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   209
    self assert:( 2.0 asTrueFraction == 2 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   210
    self assert:( 4.0 asTrueFraction == 4 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   211
    self assert:( 8.0 asTrueFraction == 8 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   212
    self assert:( 16.0 asTrueFraction == 16 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   213
    self assert:( 1048576.0 asTrueFraction == 1048576 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   214
    self assert:( 0.5 asTrueFraction = (1/2) ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   215
    self assert:( 0.25 asTrueFraction = (1/4) ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   216
    self assert:( 0.125 asTrueFraction = (1/8) ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   217
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   218
    self assert:( 1.0 asShortFloat asTrueFraction == 1 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   219
    self assert:( 2.0 asShortFloat asTrueFraction == 2 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   220
    self assert:( 4.0 asShortFloat asTrueFraction == 4 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   221
    self assert:( 8.0 asShortFloat asTrueFraction == 8 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   222
    self assert:( 16.0 asShortFloat asTrueFraction == 16 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   223
    self assert:( 1048576.0 asShortFloat asTrueFraction == 1048576 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   224
    self assert:( 0.5 asShortFloat asTrueFraction = (1/2) ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   225
    self assert:( 0.25 asShortFloat asTrueFraction = (1/4) ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   226
    self assert:( 0.125 asShortFloat asTrueFraction = (1/8) ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   227
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   228
    self assert:( 1.0 asLongFloat asTrueFraction == 1 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   229
    self assert:( 2.0 asLongFloat asTrueFraction == 2 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   230
    self assert:( 4.0 asLongFloat asTrueFraction == 4 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   231
    self assert:( 8.0 asLongFloat asTrueFraction == 8 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   232
    self assert:( 16.0 asLongFloat asTrueFraction == 16 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   233
    self assert:( 1048576.0 asLongFloat asTrueFraction == 1048576 ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   234
    self assert:( 0.5 asLongFloat asTrueFraction = (1/2) ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   235
    self assert:( 0.25 asLongFloat asTrueFraction = (1/4) ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   236
    self assert:( 0.125 asLongFloat asTrueFraction = (1/8) ).
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   237
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   238
    self assert: ((5/9) asFloat     - 0.555555555555) abs < 0.0000000001.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   239
    self assert: ((5/9) asLongFloat - 0.555555555555) abs < 0.0000000001.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   240
    self assert: ((Fraction basicNew setNumerator:500000000000 denominator:900000000000)
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   241
                        asLongFloat - 0.555555555555) abs <  0.000000000001.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   242
    self assert: ((Fraction basicNew setNumerator:500000000001 denominator:900000000000)
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   243
                        asLongFloat - 0.555555555555) abs >= 0.000000000001.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   244
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   245
    self assert: (8901234567890123456 asLongFloat asInteger = 8901234567890123456).    
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   246
    self assert: (-8901234567890123456 asLongFloat asInteger = -8901234567890123456).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   247
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   248
    self assert: (89012345678901234567 asLongFloat = 89012345678901234567).    
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   249
    self assert: (-89012345678901234567 asLongFloat = -89012345678901234567).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   250
    self assert: (89012345678901234567 negated asLongFloat = -89012345678901234567).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   251
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   252
    self assert: ((89012345678901234567 / 123456789123456789) asLongFloat  - (89012345678901234567 asLongFloat / 123456789123456789 asLongFloat) ) abs < 0.000000000001.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   253
    self assert: ((-89012345678901234567 / 123456789123456789) asLongFloat - (-89012345678901234567 asLongFloat / 123456789123456789 asLongFloat)) abs < 0.000000000001.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   254
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   255
    "
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   256
     self basicNew test03_Conversion
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   257
    "
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   258
!
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   259
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   260
test04_Arithmetic
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   261
    self assert:( 1.0 + 1.0 ) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   262
    self assert:( 1.0 + 1.0 asShortFloat) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   263
    self assert:( 1.0 + 1.0 asLongFloat) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   264
    self assert:( 1.0 + 1) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   265
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   266
    self assert:( 1.0 asShortFloat + 1.0 ) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   267
    self assert:( 1.0 asShortFloat + 1.0 asShortFloat) class == ShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   268
    self assert:( 1.0 asShortFloat + 1.0 asLongFloat) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   269
    self assert:( 1.0 asShortFloat + 1) class == ShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   270
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   271
    self assert:( 1.0 asLongFloat + 1.0 ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   272
    self assert:( 1.0 asLongFloat + 1.0 asShortFloat ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   273
    self assert:( 1.0 asLongFloat + 1.0 asFloat ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   274
    self assert:( 1.0 asLongFloat + 1 ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   275
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   276
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   277
    self assert:( 1.0 - 1.0 ) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   278
    self assert:( 1.0 - 1.0 asShortFloat) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   279
    self assert:( 1.0 - 1.0 asLongFloat) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   280
    self assert:( 1.0 - 1) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   281
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   282
    self assert:( 1.0 asShortFloat - 1.0 ) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   283
    self assert:( 1.0 asShortFloat - 1.0 asShortFloat) class == ShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   284
    self assert:( 1.0 asShortFloat - 1.0 asLongFloat) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   285
    self assert:( 1.0 asShortFloat - 1) class == ShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   286
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   287
    self assert:( 1.0 asLongFloat - 1.0 ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   288
    self assert:( 1.0 asLongFloat - 1.0 asShortFloat ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   289
    self assert:( 1.0 asLongFloat - 1.0 asFloat ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   290
    self assert:( 1.0 asLongFloat - 1 ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   291
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   292
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   293
    self assert:( 1.0 * 1.0 ) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   294
    self assert:( 1.0 * 1.0 asShortFloat) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   295
    self assert:( 1.0 * 1.0 asLongFloat) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   296
    self assert:( 1.0 * 1) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   297
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   298
    self assert:( 1.0 asShortFloat * 1.0 ) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   299
    self assert:( 1.0 asShortFloat * 1.0 asShortFloat) class == ShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   300
    self assert:( 1.0 asShortFloat * 1.0 asLongFloat) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   301
    self assert:( 1.0 asShortFloat * 1) class == ShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   302
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   303
    self assert:( 1.0 asLongFloat * 1.0 ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   304
    self assert:( 1.0 asLongFloat * 1.0 asShortFloat ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   305
    self assert:( 1.0 asLongFloat * 1.0 asFloat ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   306
    self assert:( 1.0 asLongFloat * 1 ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   307
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   308
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   309
    self assert:( 1.0 / 1.0 ) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   310
    self assert:( 1.0 / 1.0 asShortFloat) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   311
    self assert:( 1.0 / 1.0 asLongFloat) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   312
    self assert:( 1.0 / 1) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   313
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   314
    self assert:( 1.0 asShortFloat / 1.0 ) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   315
    self assert:( 1.0 asShortFloat / 1.0 asShortFloat) class == ShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   316
    self assert:( 1.0 asShortFloat / 1.0 asLongFloat) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   317
    self assert:( 1.0 asShortFloat / 1) class == ShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   318
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   319
    self assert:( 1.0 asLongFloat / 1.0 ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   320
    self assert:( 1.0 asLongFloat / 1.0 asShortFloat ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   321
    self assert:( 1.0 asLongFloat / 1.0 asFloat ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   322
    self assert:( 1.0 asLongFloat / 1 ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   323
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   324
    "
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   325
     self basicNew test04_Arithmetic
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   326
    "
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   327
!
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   328
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   329
test05_Comparing
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   330
    |check v1 v2 v1b|
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   331
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   332
    check := [:iv1 :iv2|
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   333
        #(yourself asInteger asFloat asShortFloat asLongFloat asLargeFloat) do:[:conv1 |
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   334
            v1 := (iv1 perform:conv1).
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   335
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   336
            self assert:( v1 = nil ) not.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   337
            self assert:( nil = v1 ) not.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   338
            self assert:( v1 ~= nil ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   339
            self assert:( nil ~= v1 ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   340
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   341
            #(yourself asInteger asFloat asShortFloat asLongFloat asLargeFloat) do:[:conv2 |
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   342
                v1b := (iv1 perform:conv2).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   343
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   344
                self assert:( v1 = v1b ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   345
                self assert:( v1 <= v1b ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   346
                self assert:( v1 >= v1b ).
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   347
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   348
                v2 := (iv2 perform:conv2).
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   349
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   350
                self assert:( v1 < v2 ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   351
                self assert:( v1 <= v2 ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   352
                self assert:( v2 >= v1 ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   353
                self assert:( v2 > v1 ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   354
            ]
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   355
        ].
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   356
    ].
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   357
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   358
    check value:2 value:3.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   359
    check value:0 value:1.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   360
    check value:-1 value:0.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   361
    check value:-3 value:-2.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   362
    check value:-3 value:3.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   363
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   364
    check value:-30 value:1.
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   365
    check value:-1 value:30.
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   366
263
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   367
    self assert:( 200000000000000000000.0 = 200000000000000000001 ).
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   368
200
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   369
    self assert:( 200000000000000000000.0 = 200000000000000000000 ).
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   370
    self assert:( 200000000000000000000.0 asLongFloat = 200000000000000000000 ).
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   371
    self assert:( 2000000.0 asShortFloat = 2000000 ).
200
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   372
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   373
    self assert:( 200000000000000000000 = 200000000000000000000.0).
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   374
    self assert:( 200000000000000000000 = 200000000000000000000.0 asLongFloat ).
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   375
    self assert:( 2000000 = 2000000.0 asShortFloat ).
200
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   376
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   377
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   378
    self assert:( 200000000000000000000.0 < 200000100000000000000 ).
202
41cedb131719 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 201
diff changeset
   379
    self assert:( 200000000000000000000.0 asLongFloat < 200000000000100000000 ).
200
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   380
    self assert:( 200000000000000000000.0 asShortFloat < 200001000000000000000 ).
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   381
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   382
    self assert:( 200000000000000000000 < 200001000000000000000.0).
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   383
    self assert:( 200000000000000000000 < 200001000000000000000.0 asLongFloat ).
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   384
    self assert:( 200000000000000000000 < 200001000000000000000.0 asShortFloat ).
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   385
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   386
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   387
    self assert:( 200000000000000000000.0 <= 200000100000000000000 ).
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   388
    self assert:( 200000000000000000000.0 <= 200000000000000000000 ).
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   389
    self assert:( 200000000000000000000.0 asLongFloat <= 200000000000000000001 ).
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   390
    self assert:( 200000000000000000000.0 asLongFloat <= 200000000000000000000 ).
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   391
    self assert:( 2000000.0 asShortFloat <= 200000100000000000000 ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   392
    self assert:( 2000000.0 asShortFloat <= 2000000 ).
200
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   393
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   394
    self assert:( 200000000000000000000 <= 200001000000000000000.0).
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   395
    self assert:( 200000000000000000000 <= 200000000000000000000.0).
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   396
    self assert:( 200000000000000000000 <= 200001000000000000000.0 asLongFloat ).
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   397
    self assert:( 200000000000000000000 <= 200000000000000000000.0 asLongFloat ).
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   398
    self assert:( 2000000 <= 2000000.0 asShortFloat ).
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   399
    self assert:( 2000000 <= 2000000.0 asShortFloat ).
200
081859450ba4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   400
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   401
    "
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   402
     self basicNew test05_Comparing
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   403
    "
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   404
!
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   405
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   406
test06_MiscMath
263
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   407
    |epsilon|
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   408
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   409
    epsilon := 0.000001.
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   410
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   411
    #(
263
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   412
        sqrt       0.5       0.707107
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   413
        exp        0.5       1.64872
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   414
        ln         0.5       -0.693147
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   415
        log10      0.5       -0.30103
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   416
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   417
        sin        0.5      0.479426
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   418
        cos        0.5      0.877583
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   419
        tan        0.5      0.546302 
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   420
        arcSin     0.5      0.523599
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   421
        arcCos     0.5      1.0472
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   422
        arcTan     0.5      0.463648  
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   423
        sinh       0.5      0.521095
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   424
        cosh       0.5      1.12763
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   425
        tanh       0.5      0.462117
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   426
        arcSinh    0.5      0.481212
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   427
        arcCosh    1.5      1.24983
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   428
        arcTanh    0.5      0.549306
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   429
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   430
        sin        0.0      0.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   431
        cos        0.0      1.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   432
        tan        0.0      0.0  
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   433
        sinh       0.0      0.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   434
        cosh       0.0      1.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   435
        tanh       0.0      0.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   436
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   437
        sin        1.0      0.841471
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   438
        cos        1.0      0.540302
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   439
        tan        1.0      1.55741
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   440
        sinh       1.0      1.1752
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   441
        cosh       1.0      1.54308
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   442
        tanh       1.0      0.761594
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   443
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   444
        sin        3.14159  0.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   445
        cos        3.14159  -1.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   446
        tan        3.14159  0.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   447
        sinh       3.14159  11.5487 
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   448
        cosh       3.14159  11.5919   
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   449
        tanh       3.14159  0.996272
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   450
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   451
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   452
        tan        0.785398 1.0         "pi/4  -> should be 1"
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   453
        arcCos     -1.0     3.14159     "should be pi"
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   454
        arcSin     1.0      1.5708      "should be pi/2 (1.5708)"
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   455
        arcTan     1.0      0.785398    "should be pi/4 (.785398)"
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   456
    ) inGroupsOf:3 do:[:op :x :expected|
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   457
        |rslt rsltShortFloat rsltLongFloat rsltLargeFloat|
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   458
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   459
        rslt := x perform:op.
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   460
        rsltShortFloat := x asShortFloat perform:op.
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   461
        rsltLongFloat := x asLongFloat perform:op.
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   462
"/        rsltLargeFloat := arg asLargeFloat perform:op.
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   463
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   464
        self assert:(rslt class == Float).
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   465
        self assert:(rsltShortFloat class == Float).  "/ ???
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   466
        self assert:(rsltLongFloat class == LongFloat).
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   467
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   468
        self assert:( rslt - rsltShortFloat ) < epsilon.
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   469
        self assert:( rslt - rsltLongFloat ) < epsilon.
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   470
"/        self assert:( rslt - rsltLargeFloat ) < epsilon.
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   471
        self assert:( rslt - rslt asShortFloat ) < epsilon.
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   472
        self assert:( rslt - rslt asLongFloat ) < epsilon.
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   473
"/        self assert:( rslt - rslt asLargeFloat ) < epsilon.
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   474
    ].
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   475
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   476
    self should:[ -2 arcSin ] raise:DomainError.
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   477
    self should:[ -2 arcCos ] raise:DomainError.
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   478
    self should:[ -1 arcTanh ] raise:DomainError.
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   479
263
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   480
    #(
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   481
        0.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   482
        0.5
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   483
        1.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   484
        2.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   485
        1.57079
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   486
     ) do:[:x |
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   487
        self assert:( x sin arcSin - x < epsilon).
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   488
        self assert:( x cos arcCos - x < epsilon).
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   489
        self assert:( x tan arcTan - x < epsilon).
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   490
    ].
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   491
263
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   492
    #(
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   493
        -1.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   494
        -0.5
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   495
        0.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   496
        0.5
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   497
        1.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   498
     ) do:[:x |
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   499
        self assert:( x arcSin sin - x < epsilon).
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   500
        self assert:( x arcCos cos - x < epsilon).
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   501
        self assert:( x arcTan tan - x < epsilon).
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   502
    ].
203
10c8e5197b62 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 202
diff changeset
   503
263
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   504
    #(
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   505
        0.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   506
        0.5
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   507
        1.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   508
        2.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   509
        10
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   510
     ) do:[:x |
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   511
        self assert:( x cosh arcCosh - x < epsilon).
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   512
    ].
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   513
    #(
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   514
        -10
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   515
        -2
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   516
        -1
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   517
        -0.5
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   518
        0.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   519
        0.5
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   520
        1.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   521
        2.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   522
        10
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   523
     ) do:[:x |
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   524
        self assert:( x sinh arcSinh - x < epsilon).
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   525
        self assert:( x tanh arcTanh - x < epsilon).
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   526
    ].
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   527
198
1416c2f26d02 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 197
diff changeset
   528
263
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   529
    #(
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   530
        -0.99
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   531
        -0.5
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   532
        0.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   533
        0.5
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   534
        0.99
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   535
     ) do:[:x |
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   536
        self assert:( x arcTanh - (( ( (1+x)/(1-x) ) ln ) / 2 ) ) < epsilon.
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   537
    ].
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   538
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   539
    #(
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   540
        -10
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   541
        -5
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   542
        -2.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   543
        -1.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   544
        0.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   545
        1.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   546
        2.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   547
        10
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   548
     ) do:[:x |
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   549
        self assert:( x arcSinh sinh - x < epsilon).
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   550
    ].
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   551
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   552
    #(
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   553
        1.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   554
        2.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   555
        10.0
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   556
     ) do:[:x |
c28dd8e5c799 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 257
diff changeset
   557
        self assert:( x arcCosh cosh - x < epsilon).
198
1416c2f26d02 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 197
diff changeset
   558
    ].
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   559
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   560
    "
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   561
     self basicNew test06_MiscMath
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   562
    "
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   563
!
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   564
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   565
test07_Truncation
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   566
    |check|
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   567
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   568
    check := [:num |
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   569
        self assert:( num fractionPart + num truncated ) = num.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   570
        self assert:( num fractionPart + num truncated ) class == num class.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   571
    ].
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   572
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   573
    check value:1.6.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   574
    check value:-1.6.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   575
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   576
    check value:1.6 asShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   577
    check value:-1.6 asShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   578
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   579
    check value:1.6 asLongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   580
    check value:-1.6 asLongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   581
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   582
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   583
    self assert:( 1.6 ceiling ) = 2.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   584
    self assert:( 1.6 asShortFloat ceiling ) = 2.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   585
    self assert:( 1.6 asLongFloat ceiling ) = 2.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   586
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   587
    self assert:( 1.6 ceilingAsFloat ) = 2.0.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   588
    self assert:( 1.6 ceilingAsFloat ) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   589
    self assert:( 1.6 asShortFloat ceilingAsFloat ) = 2.0 asShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   590
    self assert:( 1.6 asShortFloat ceilingAsFloat ) class == ShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   591
    self assert:( 1.6 asLongFloat ceilingAsFloat ) = 2.0 asLongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   592
    self assert:( 1.6 asLongFloat ceilingAsFloat ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   593
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   594
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   595
    self assert:( 1.6 floor ) = 1.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   596
    self assert:( 1.6 asShortFloat floor ) = 1.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   597
    self assert:( 1.6 asLongFloat floor ) = 1.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   598
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   599
    self assert:( 1.6 floorAsFloat ) = 1.0.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   600
    self assert:( 1.6 floorAsFloat ) class == Float.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   601
    self assert:( 1.6 asShortFloat floorAsFloat ) = 1.0 asShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   602
    self assert:( 1.6 asShortFloat floorAsFloat ) class == ShortFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   603
    self assert:( 1.6 asLongFloat floorAsFloat ) = 1.0 asLongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   604
    self assert:( 1.6 asLongFloat floorAsFloat ) class == LongFloat.
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   605
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   606
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   607
    self assert:( 0.4 rounded ) class == SmallInteger.    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   608
    self assert:( 0.4 rounded = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   609
    self assert:( 0.5 rounded = 1 ).     
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   610
    self assert:( 0.6 rounded = 1 ).     
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   611
    self assert:( -0.4 rounded = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   612
    self assert:( -0.5 rounded = -1 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   613
    self assert:( -0.6 rounded = -1 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   614
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   615
    self assert:( 0.4 roundedAsFloat ) class == Float.    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   616
    self assert:( 0.4 roundedAsFloat  = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   617
    self assert:( 0.5 roundedAsFloat  = 1.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   618
    self assert:( 0.6 roundedAsFloat  = 1.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   619
    self assert:( -0.4 roundedAsFloat = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   620
    self assert:( -0.5 roundedAsFloat = -1.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   621
    self assert:( -0.6 roundedAsFloat = -1.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   622
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   623
    self assert:( 0.4 asShortFloat rounded ) class == SmallInteger.    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   624
    self assert:( 0.4 asShortFloat rounded = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   625
    self assert:( 0.5 asShortFloat rounded = 1 ).     
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   626
    self assert:( 0.6 asShortFloat rounded = 1 ).     
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   627
    self assert:( -0.4 asShortFloat rounded = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   628
    self assert:( -0.5 asShortFloat rounded = -1 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   629
    self assert:( -0.6 asShortFloat rounded = -1 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   630
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   631
    self assert:( 0.4 asShortFloat roundedAsFloat ) class == ShortFloat.    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   632
    self assert:( 0.4 asShortFloat roundedAsFloat  = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   633
    self assert:( 0.5 asShortFloat roundedAsFloat  = 1.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   634
    self assert:( 0.6 asShortFloat roundedAsFloat  = 1.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   635
    self assert:( -0.4 asShortFloat roundedAsFloat = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   636
    self assert:( -0.5 asShortFloat roundedAsFloat = -1.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   637
    self assert:( -0.6 asShortFloat roundedAsFloat = -1.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   638
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   639
    self assert:( 0.4 asLongFloat rounded ) class == SmallInteger.    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   640
    self assert:( 0.4 asLongFloat rounded = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   641
    self assert:( 0.5 asLongFloat rounded = 1 ).     
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   642
    self assert:( 0.6 asLongFloat rounded = 1 ).     
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   643
    self assert:( -0.4 asLongFloat rounded = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   644
    self assert:( -0.5 asLongFloat rounded = -1 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   645
    self assert:( -0.6 asLongFloat rounded = -1 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   646
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   647
    self assert:( 0.4 asLongFloat roundedAsFloat ) class == LongFloat.    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   648
    self assert:( 0.4 asLongFloat roundedAsFloat  = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   649
    self assert:( 0.5 asLongFloat roundedAsFloat  = 1.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   650
    self assert:( 0.6 asLongFloat roundedAsFloat  = 1.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   651
    self assert:( -0.4 asLongFloat roundedAsFloat = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   652
    self assert:( -0.5 asLongFloat roundedAsFloat = -1.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   653
    self assert:( -0.6 asLongFloat roundedAsFloat = -1.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   654
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   655
    self assert:( 0.4 truncated ) class == SmallInteger.    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   656
    self assert:( 0.4 truncated = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   657
    self assert:( 0.5 truncated = 0 ).     
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   658
    self assert:( 0.6 truncated = 0 ).     
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   659
    self assert:( -0.4 truncated = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   660
    self assert:( -0.5 truncated = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   661
    self assert:( -0.6 truncated = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   662
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   663
    self assert:( 0.4 truncatedAsFloat ) class == Float.    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   664
    self assert:( 0.4 truncatedAsFloat  = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   665
    self assert:( 0.5 truncatedAsFloat  = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   666
    self assert:( 0.6 truncatedAsFloat  = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   667
    self assert:( -0.4 truncatedAsFloat = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   668
    self assert:( -0.5 truncatedAsFloat = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   669
    self assert:( -0.6 truncatedAsFloat = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   670
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   671
    self assert:( 0.4 asShortFloat truncated ) class == SmallInteger.    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   672
    self assert:( 0.4 asShortFloat truncated = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   673
    self assert:( 0.5 asShortFloat truncated = 0 ).     
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   674
    self assert:( 0.6 asShortFloat truncated = 0 ).     
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   675
    self assert:( -0.4 asShortFloat truncated = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   676
    self assert:( -0.5 asShortFloat truncated = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   677
    self assert:( -0.6 asShortFloat truncated = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   678
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   679
    self assert:( 0.4 asShortFloat truncatedAsFloat ) class == ShortFloat.    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   680
    self assert:( 0.4 asShortFloat truncatedAsFloat  = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   681
    self assert:( 0.5 asShortFloat truncatedAsFloat  = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   682
    self assert:( 0.6 asShortFloat truncatedAsFloat  = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   683
    self assert:( -0.4 asShortFloat truncatedAsFloat = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   684
    self assert:( -0.5 asShortFloat truncatedAsFloat = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   685
    self assert:( -0.6 asShortFloat truncatedAsFloat = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   686
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   687
    self assert:( 0.4 asLongFloat truncated ) class == SmallInteger.    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   688
    self assert:( 0.4 asLongFloat truncated = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   689
    self assert:( 0.5 asLongFloat truncated = 0 ).     
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   690
    self assert:( 0.6 asLongFloat truncated = 0 ).     
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   691
    self assert:( -0.4 asLongFloat truncated = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   692
    self assert:( -0.5 asLongFloat truncated = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   693
    self assert:( -0.6 asLongFloat truncated = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   694
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   695
    self assert:( 0.4 asLongFloat truncatedAsFloat ) class == LongFloat.    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   696
    self assert:( 0.4 asLongFloat truncatedAsFloat  = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   697
    self assert:( 0.5 asLongFloat truncatedAsFloat  = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   698
    self assert:( 0.6 asLongFloat truncatedAsFloat  = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   699
    self assert:( -0.4 asLongFloat truncatedAsFloat = 0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   700
    self assert:( -0.5 asLongFloat truncatedAsFloat = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   701
    self assert:( -0.6 asLongFloat truncatedAsFloat = 0.0 ).    
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   702
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   703
    "
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   704
     self basicNew test07_Truncation
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   705
    "
197
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   706
!
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   707
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   708
test08_Representation
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   709
    self assert:( 0.0 exponent = 0 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   710
    self assert:( 1.0 exponent = 1 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   711
    self assert:( 2.0 exponent = 2 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   712
    self assert:( 3.0 exponent = 2 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   713
    self assert:( 4.0 exponent = 3 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   714
    self assert:( 0.5 exponent = 0 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   715
    self assert:( 0.4 exponent = -1 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   716
    self assert:( 0.25 exponent = -1 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   717
    self assert:( 0.125 exponent = -2 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   718
    self assert:( 0.00000011111 exponent = -23 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   719
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   720
    self assert:( 0.0 asShortFloat exponent = 0 ).      
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   721
    self assert:( 1.0 asShortFloat exponent = 1 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   722
    self assert:( 2.0 asShortFloat exponent = 2 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   723
    self assert:( 3.0 asShortFloat exponent = 2 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   724
    self assert:( 4.0 asShortFloat exponent = 3 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   725
    self assert:( 0.5 asShortFloat exponent = 0 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   726
    self assert:( 0.4 asShortFloat exponent = -1 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   727
    self assert:( 0.25 asShortFloat exponent = -1 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   728
    self assert:( 0.125 asShortFloat exponent = -2 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   729
    self assert:( 0.00000011111 asShortFloat exponent = -23 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   730
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   731
    self assert:( 0.0 asLongFloat exponent = 0 ).      
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   732
    self assert:( 1.0 asLongFloat exponent = 1 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   733
    self assert:( 2.0 asLongFloat exponent = 2 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   734
    self assert:( 3.0 asLongFloat exponent = 2 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   735
    self assert:( 4.0 asLongFloat exponent = 3 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   736
    self assert:( 0.5 asLongFloat exponent = 0 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   737
    self assert:( 0.4 asLongFloat exponent = -1 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   738
    self assert:( 0.25 asLongFloat exponent = -1 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   739
    self assert:( 0.125 asLongFloat exponent = -2 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   740
    self assert:( 0.00000011111 asLongFloat exponent = -23 ).
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   741
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   742
    "
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   743
     self basicNew test08_Representation
ca25ba718565 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 195
diff changeset
   744
    "
192
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   745
! !
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   746
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   747
!FloatTest class methodsFor:'documentation'!
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   748
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   749
version
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   750
    ^ '$Header$'
403ba5cd66c4 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   751
! !