RegressionTests__QuadFloatTest.st
author Claus Gittinger <cg@exept.de>
Fri, 22 Nov 2019 04:41:42 +0100
changeset 2415 bca220d828bc
parent 2412 7dfe3409e4bd
child 2416 0c9cb936ffe1
permissions -rw-r--r--
#FEATURE by exept class: RegressionTests::QuadFloatTest added: #test00_Bits
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2415
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
     1
"{ Encoding: utf8 }"
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
     2
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     3
"{ Package: 'stx:goodies/regression' }"
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     4
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     5
"{ NameSpace: RegressionTests }"
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     6
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     7
TestCase subclass:#QuadFloatTest
2411
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
     8
	instanceVariableNames:'longFloatToQuadFloatSupported'
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
     9
	classVariableNames:''
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
    10
	poolDictionaries:''
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
    11
	category:'tests-Regression-Numbers'
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    12
!
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    13
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    14
!QuadFloatTest class methodsFor:'documentation'!
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    15
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    16
documentation
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    17
"
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    18
    documentation to be added.
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    19
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    20
    class:
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    21
        <a short class summary here, describing what instances represent>
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    22
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    23
    responsibilities:    
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    24
        <describing what my main role is>
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    25
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    26
    collaborators:    
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    27
        <describing with whom and how I talk to>
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    28
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    29
    API:
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    30
        <public api and main messages>
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    31
        
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    32
    example:
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    33
        <a one-line examples on how to use - can also be in a separate example method>
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    34
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    35
    implementation:
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    36
        <implementation points>
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    37
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    38
    [author:]
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    39
        Claus Gittinger
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    40
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    41
    [instance variables:]
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    42
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    43
    [class variables:]
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    44
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    45
    [see also:]
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    46
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    47
"
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    48
! !
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    49
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    50
!QuadFloatTest class methodsFor:'helpers'!
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    51
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    52
actualPrecisionOf:aFloatClass
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    53
    "get the actual number of valid bits in the mantissa.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    54
     This does a real test (i.e. does not believe the compiled-in ifdefs)"
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    55
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    56
    |one x count|
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    57
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    58
    one := aFloatClass unity.  "/ 1.0 in this class
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    59
    x := one.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    60
    count := 0.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    61
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    62
    [one + x > one] whileTrue:[
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    63
        x := x / 2.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    64
        count := count + 1.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    65
    ].
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    66
    ^ count
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    67
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    68
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    69
     self actualPrecisionOf:ShortFloat
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    70
     self actualPrecisionOf:Float
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    71
     self actualPrecisionOf:LongFloat
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    72
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    73
! !
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    74
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    75
!QuadFloatTest methodsFor:'helpers'!
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    76
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    77
setUp
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    78
    Error handle:[:ex |
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    79
        longFloatToQuadFloatSupported := false.
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    80
    ] do:[    
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    81
        0.0 asLongFloat asQuadFloat isZero.
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    82
        longFloatToQuadFloatSupported := true.
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    83
    ].
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    84
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    85
    "Created: / 08-06-2019 / 13:42:50 / Claus Gittinger"
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    86
! !
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
    87
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    88
!QuadFloatTest methodsFor:'tests'!
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    89
2415
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
    90
test00_Bits
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
    91
    "check wellknown iee bit patterns"
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
    92
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
    93
    |bytes q|
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
    94
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
    95
    self assert:(0.0 asQuadFloat = 0.0 asQuadFloat).
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
    96
    self assert:(0 asQuadFloat = 0.0 asQuadFloat).
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
    97
    self assert:(0 asShortFloat asQuadFloat = 0.0 asQuadFloat).
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
    98
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
    99
    self assert:(1.0 asQuadFloat = 1.0 asQuadFloat).
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   100
    self assert:(1 asQuadFloat = 1.0 asQuadFloat).
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   101
    self assert:(1 asShortFloat asQuadFloat = 1.0 asQuadFloat).
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   102
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   103
    self assert:(2.0 asQuadFloat = 2.0 asQuadFloat).
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   104
    self assert:(2 asQuadFloat = 2.0 asQuadFloat).
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   105
    self assert:(2 asShortFloat asQuadFloat = 2.0 asQuadFloat).
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   106
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   107
    self assert:(32.0 asQuadFloat = 32.0 asQuadFloat).
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   108
    self assert:(32 asQuadFloat = 32.0 asQuadFloat).
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   109
    self assert:(32 asShortFloat asQuadFloat = 32.0 asQuadFloat).
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   110
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   111
    q := 0.0 asQuadFloat.
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   112
    bytes := 1 to:q byteSize collect:[:i | q byteAt:i].
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   113
    self assert:(bytes = #(0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   114
                           0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00)).
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   115
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   116
    "
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   117
     self basicNew test00_Bits
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   118
    "
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   119
!
bca220d828bc #FEATURE by exept
Claus Gittinger <cg@exept.de>
parents: 2412
diff changeset
   120
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   121
test00_Precision
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   122
    "computed precision vs. assumed precision."
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   123
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   124
    |a b|
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   125
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   126
    self skipIf:(ExternalAddress pointerSize == 4) description:'only suported on 64bit machines'.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   127
    
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   128
    self assert:( (a := QuadFloat precision) = (b := self class actualPrecisionOf:QuadFloat))
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   129
                description:('QuadFloat precision: %1 ~~ actual: %2' bindWith:a with:b).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   130
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   131
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   132
     self basicNew test00_Precision
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   133
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   134
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   135
    "Modified: / 03-05-2012 / 18:47:21 / cg"
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   136
    "Modified: / 07-06-2019 / 03:22:43 / Claus Gittinger"
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   137
!
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   138
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   139
test01_Nan
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   140
    "NaN"
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   141
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   142
    |shouldBeQuadFloatNaN|
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   143
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   144
    self skipIf:(ExternalAddress pointerSize == 4) description:'only supported on 64bit machines'.
2275
5e0cef4e132a #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2274
diff changeset
   145
2283
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   146
    self assert:( QuadFloat NaN isNaN ).
2306
b56639f91a77 #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2284
diff changeset
   147
    self assert:( QuadFloat NaN isFinite not ).
b56639f91a77 #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2284
diff changeset
   148
    self assert:( QuadFloat NaN asFloat isNaN ).
b56639f91a77 #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2284
diff changeset
   149
    self assert:( QuadFloat NaN asShortFloat isNaN ).
b56639f91a77 #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2284
diff changeset
   150
    self should:[ QuadFloat NaN asInteger isNaN ] raise:Error.
2283
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   151
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   152
    shouldBeQuadFloatNaN := 0.0 asQuadFloat uncheckedDivide: 0.0 asQuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   153
    self assert:( shouldBeQuadFloatNaN isMemberOf:QuadFloat ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   154
    self assert:( shouldBeQuadFloatNaN isNaN ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   155
    self assert:( shouldBeQuadFloatNaN isFinite not ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   156
    self assert:( shouldBeQuadFloatNaN asFloat isNaN ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   157
    self assert:( shouldBeQuadFloatNaN asShortFloat isNaN ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   158
2306
b56639f91a77 #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2284
diff changeset
   159
    self assert:(QuadFloat zero isZero).
b56639f91a77 #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2284
diff changeset
   160
    self assert:(0.0 asQuadFloat isZero).
b56639f91a77 #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2284
diff changeset
   161
    
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   162
    shouldBeQuadFloatNaN := 0.0 asQuadFloat uncheckedDivide: 0.0.
2306
b56639f91a77 #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2284
diff changeset
   163
    self assert:( shouldBeQuadFloatNaN isMemberOf:QuadFloat ).
b56639f91a77 #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2284
diff changeset
   164
    self assert:( shouldBeQuadFloatNaN isNaN ).
b56639f91a77 #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2284
diff changeset
   165
    self assert:( shouldBeQuadFloatNaN isFinite not ).
b56639f91a77 #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2284
diff changeset
   166
    self assert:( shouldBeQuadFloatNaN asFloat isNaN ).
b56639f91a77 #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2284
diff changeset
   167
    self assert:( shouldBeQuadFloatNaN asShortFloat isNaN ).
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   168
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   169
    self assert:( shouldBeQuadFloatNaN + 1 ) isNaN.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   170
    self assert:( shouldBeQuadFloatNaN + 1.0 ) isNaN.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   171
    self assert:( shouldBeQuadFloatNaN + 1.0 asShortFloat ) isNaN.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   172
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   173
    self assert:( shouldBeQuadFloatNaN - 1 ) isNaN.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   174
    self assert:( shouldBeQuadFloatNaN - 1.0 ) isNaN.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   175
    self assert:( shouldBeQuadFloatNaN - 1.0 asShortFloat ) isNaN.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   176
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   177
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   178
     self basicNew test01_Nan
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   179
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   180
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   181
    "Modified: / 20-06-2017 / 14:00:08 / cg"
2306
b56639f91a77 #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2284
diff changeset
   182
    "Modified: / 10-06-2019 / 21:50:19 / Claus Gittinger"
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   183
!
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   184
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   185
test01b_Nan
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   186
    "NaN against longFloat"
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   187
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   188
    |shouldBeQuadFloatNaN|
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   189
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   190
    self skipIf:(ExternalAddress pointerSize == 4) description:'only supported on 64bit machines'.
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   191
    self skipIf:(longFloatToQuadFloatSupported not) description:'longFloat to quadFloat not yet supported'.
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   192
    
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   193
    self assert:( QuadFloat NaN isNaN ).
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   194
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   195
    shouldBeQuadFloatNaN := 0.0 asQuadFloat uncheckedDivide: 0.0 asQuadFloat.
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   196
    self assert:( shouldBeQuadFloatNaN isNaN ).
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   197
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   198
    self assert:( shouldBeQuadFloatNaN asLongFloat isNaN ).
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   199
    self assert:( shouldBeQuadFloatNaN + 1.0 asLongFloat ) isNaN.
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   200
    self assert:( shouldBeQuadFloatNaN - 1.0 asLongFloat ) isNaN.
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   201
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   202
    "
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   203
     self basicNew test01b_Nan
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   204
    "
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   205
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   206
    "Created: / 08-06-2019 / 13:38:12 / Claus Gittinger"
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   207
!
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   208
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   209
test02_Inf
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   210
    "Infinity"
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   211
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   212
    |check posInf negInf|
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   213
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   214
    self skipIf:(ExternalAddress pointerSize == 4) description:'only supported on 64bit machines'.
2275
5e0cef4e132a #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2274
diff changeset
   215
2308
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   216
    self assert:(QuadFloat NaN isNaN).
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   217
    self assert:(QuadFloat NaN isFinite not).  
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   218
    self assert:(QuadFloat NaN isInfinite not).  
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   219
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   220
    self assert:(QuadFloat infinity isNaN not). 
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   221
    self assert:(QuadFloat infinity isFinite not). 
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   222
    self assert:(QuadFloat infinity isInfinite). 
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   223
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   224
    self assert:(QuadFloat negativeInfinity isNaN not). 
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   225
    self assert:(QuadFloat negativeInfinity isFinite not). 
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   226
    self assert:(QuadFloat negativeInfinity isInfinite). 
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   227
    
2310
c66807298c8b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2308
diff changeset
   228
    self assert:(QuadFloat infinity negated = QuadFloat negativeInfinity). 
c66807298c8b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2308
diff changeset
   229
    self assert:(QuadFloat negativeInfinity negated = QuadFloat infinity). 
c66807298c8b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2308
diff changeset
   230
2307
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   231
    { QuadFloat }
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   232
    do:[:cls |
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   233
        posInf := cls infinity.
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   234
        self assert:( posInf isInfinite ).
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   235
        self assert:( posInf isFinite not ).
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   236
        self assert:( posInf > 0 ).
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   237
        self assert:( posInf >= 0 ).
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   238
        self assert:( posInf < 0 ) not.
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   239
        self assert:( posInf <= 0 ) not.
2310
c66807298c8b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2308
diff changeset
   240
        self assert:( posInf positive ).
c66807298c8b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2308
diff changeset
   241
        self assert:( posInf negative not ).
2307
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   242
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   243
        negInf := cls negativeInfinity.
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   244
        self assert:( negInf isInfinite ).
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   245
        self assert:( negInf isFinite not ).
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   246
        self assert:( negInf < 0 ).
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   247
        self assert:( negInf <= 0 ).
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   248
        self assert:( negInf > 0 ) not.
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   249
        self assert:( negInf >= 0 ) not.
2310
c66807298c8b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2308
diff changeset
   250
        self assert:( negInf positive not ).
c66807298c8b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2308
diff changeset
   251
        self assert:( negInf negative ).
c66807298c8b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2308
diff changeset
   252
c66807298c8b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2308
diff changeset
   253
        self assert:( posInf negated = negInf ).
c66807298c8b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2308
diff changeset
   254
        self assert:( negInf negated = posInf ).
2307
e1ca9218474d #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2306
diff changeset
   255
    ].
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   256
    check :=
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   257
        [:v1 :v2 |
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   258
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   259
            posInf := v1 uncheckedDivide: v2.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   260
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   261
            self assert:( posInf isMemberOf:v1 class ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   262
            self assert:( posInf isNaN not ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   263
            self assert:( posInf isFinite not ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   264
            self assert:( posInf isInfinite ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   265
            self assert:( posInf positive ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   266
            self assert:( posInf negative not ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   267
            self assert:( posInf isNegativeInfinity not).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   268
            self assert:( posInf isPositiveInfinity ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   269
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   270
            negInf := v1 negated uncheckedDivide: v2.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   271
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   272
            self assert:( negInf isMemberOf:v1 class ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   273
            self assert:( negInf isNaN not ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   274
            self assert:( negInf isFinite not ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   275
            self assert:( negInf isInfinite ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   276
            self assert:( negInf positive not).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   277
            self assert:( negInf negative ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   278
            self assert:( negInf isNegativeInfinity ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   279
            self assert:( negInf isPositiveInfinity not ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   280
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   281
            self assert:( negInf + negInf = negInf).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   282
            self assert:( posInf + posInf = posInf).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   283
            self assert:( negInf + posInf) isNaN.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   284
            self assert:( posInf + negInf) isNaN.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   285
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   286
            self assert:( negInf - posInf = negInf).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   287
            self assert:( negInf - negInf) isNaN.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   288
            self assert:( posInf - negInf = posInf).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   289
            self assert:( posInf - posInf) isNaN.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   290
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   291
            self assert:( posInf + v1) = posInf.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   292
            self assert:( posInf - v1) = posInf.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   293
            self assert:( negInf + v1) = negInf.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   294
            self assert:( negInf - v1) = negInf.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   295
        ].
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   296
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   297
    check value: 1.0 asQuadFloat value: 0.0 asQuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   298
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   299
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   300
     self basicNew test02_Inf
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   301
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   302
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   303
    "Modified: / 20-06-2017 / 14:03:08 / cg"
2310
c66807298c8b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2308
diff changeset
   304
    "Modified: / 10-06-2019 / 23:42:43 / Claus Gittinger"
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   305
!
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   306
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   307
test03_Conversion
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   308
    self skipIf:(ExternalAddress pointerSize == 4) description:'only supported on 64bit machines'.
2275
5e0cef4e132a #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2274
diff changeset
   309
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   310
    self assert:( 1.0 asQuadFloat asTrueFraction == 1 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   311
    self assert:( 2.0 asQuadFloat asTrueFraction == 2 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   312
    self assert:( 4.0 asQuadFloat asTrueFraction == 4 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   313
    self assert:( 8.0 asQuadFloat asTrueFraction == 8 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   314
    self assert:( 16.0 asQuadFloat asTrueFraction == 16 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   315
    self assert:( 1048576.0 asQuadFloat asTrueFraction == 1048576 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   316
    self assert:( 0.5 asQuadFloat asTrueFraction = (1/2) ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   317
    self assert:( 0.25 asQuadFloat asTrueFraction = (1/4) ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   318
    self assert:( 0.125 asQuadFloat asTrueFraction = (1/8) ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   319
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   320
    self assert: ((5/9) asQuadFloat - 0.555555555555) abs < 0.0000000001.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   321
    self assert: ((Fraction basicNew setNumerator:500000000000 denominator:900000000000)
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   322
                        asQuadFloat - 0.555555555555) abs <  0.000000000001.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   323
    self assert: ((Fraction basicNew setNumerator:500000000001 denominator:900000000000)
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   324
                        asQuadFloat - 0.555555555555) abs >= 0.000000000001.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   325
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   326
    self assert: (89012345678901234567 asQuadFloat = 89012345678901234567).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   327
    self assert: (-89012345678901234567 asQuadFloat = -89012345678901234567).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   328
    self assert: (89012345678901234567 negated asQuadFloat = -89012345678901234567).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   329
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   330
    self assert: ((89012345678901234567 / 123456789123456789) asQuadFloat  - (89012345678901234567 asQuadFloat / 123456789123456789 asQuadFloat) ) abs < 0.000000000001.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   331
    self assert: ((-89012345678901234567 / 123456789123456789) asQuadFloat - (-89012345678901234567 asQuadFloat / 123456789123456789 asQuadFloat)) abs < 0.000000000001.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   332
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   333
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   334
     self basicNew test03_Conversion
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   335
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   336
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   337
    "Modified: / 09-08-2011 / 21:01:57 / cg"
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   338
    "Modified: / 08-06-2019 / 13:53:32 / Claus Gittinger"
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   339
!
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   340
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   341
test04_Arithmetic
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   342
    self skipIf:(ExternalAddress pointerSize == 4) description:'only supported on 64bit machines'.
2275
5e0cef4e132a #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2274
diff changeset
   343
2311
fd628a61a55d #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2310
diff changeset
   344
    self assert:( 1.0 asQuadFloat negated = -1.0 asQuadFloat).
fd628a61a55d #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2310
diff changeset
   345
fd628a61a55d #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2310
diff changeset
   346
    self assert:( 1.0 + 1.0 asQuadFloat) class == QuadFloat.
fd628a61a55d #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2310
diff changeset
   347
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   348
    self assert:( 1.0 asQuadFloat + 1.0 ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   349
    self assert:( 1.0 asQuadFloat + 1.0 asShortFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   350
    self assert:( 1.0 asQuadFloat + 1.0 asFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   351
    self assert:( 1.0 asQuadFloat + 1 ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   352
2308
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   353
    self assert:( 1.0 + 1.0 asQuadFloat) class == QuadFloat.
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   354
    self assert:( 1.0 asShortFloat + 1.0 asQuadFloat) class == QuadFloat.
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   355
    self assert:( 1.0 asLongFloat + 1.0 asQuadFloat) class == QuadFloat.
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   356
    self assert:( 1 + 1.0 asQuadFloat) class == QuadFloat.
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   357
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   358
    self assert:( 1.0 asQuadFloat + 1.0 ) = 2.0 asQuadFloat.
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   359
    self assert:( 1.0 asQuadFloat + 1.0 asShortFloat ) = 2.0 asQuadFloat.
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   360
    self assert:( 1.0 asQuadFloat + 1.0 asFloat ) = 2.0 asQuadFloat.
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   361
    "/ self assert:( 1.0 asQuadFloat + 1 ) = 2.0 asQuadFloat.
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   362
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   363
    self assert:( 1.0 + 1.0 asQuadFloat) = 2.0 asQuadFloat.
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   364
    self assert:( 1.0 asShortFloat + 1.0 asQuadFloat) = 2.0 asQuadFloat.
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   365
    "/ self assert:( 1.0 asLongFloat + 1.0 asQuadFloat) = 2.0 asQuadFloat.
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   366
    "/ self assert:( 1 + 1.0 asQuadFloat) = 2.0 asQuadFloat.
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   367
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   368
    self assert:( 1.0 - 1.0 asQuadFloat) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   369
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   370
    self assert:( 1.0 asQuadFloat - 1.0 ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   371
    self assert:( 1.0 asQuadFloat - 1.0 asShortFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   372
    self assert:( 1.0 asQuadFloat - 1.0 asFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   373
    self assert:( 1.0 asQuadFloat - 1 ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   374
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   375
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   376
    self assert:( 1.0 * 1.0 asQuadFloat) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   377
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   378
    self assert:( 1.0 asQuadFloat * 1.0 ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   379
    self assert:( 1.0 asQuadFloat * 1.0 asShortFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   380
    self assert:( 1.0 asQuadFloat * 1.0 asFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   381
    self assert:( 1.0 asQuadFloat * 1 ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   382
2283
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   383
    self assert:(1.0 asQuadFloat = 1.0 asQuadFloat).
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   384
    self assert:(1.0 asQuadFloat = 1.0 ).
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   385
    self assert:(1.0 asQuadFloat = 1.0 asShortFloat).
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   386
    "/ self assert:(1.0 asQuadFloat = 1.0 asLongFloat).
2308
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   387
    "/ self assert:(1.0 asQuadFloat = 1).
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   388
    "/ self assert:(1.0 asQuadFloat = 1 asQuadFloat).
2283
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   389
    
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   390
    self assert:( 1.0 / 1.0 asQuadFloat) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   391
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   392
    self assert:( 1.0 asQuadFloat / 1.0 ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   393
    self assert:( 1.0 asQuadFloat / 1.0 asShortFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   394
    self assert:( 1.0 asQuadFloat / 1.0 asFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   395
    self assert:( 1.0 asQuadFloat / 1 ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   396
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   397
    self assert:( 1.0 / 2.0 asQuadFloat) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   398
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   399
    self assert:( 1.0 asQuadFloat / 2.0 ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   400
    self assert:( 1.0 asQuadFloat / 2.0 asShortFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   401
    self assert:( 1.0 asQuadFloat / 2.0 asFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   402
    self assert:( 1.0 asQuadFloat / 2 ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   403
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   404
    self assert:( 5.0 rem: 2.0 asQuadFloat) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   405
    self assert:( 5.0 asShortFloat rem: 2.0 asQuadFloat) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   406
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   407
    self assert:( 5.0 asQuadFloat rem: 2.0 ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   408
    self assert:( 5.0 asQuadFloat rem: 2.0 asShortFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   409
    self assert:( 5.0 asQuadFloat rem: 2.0 asFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   410
    self assert:( 5.0 asQuadFloat rem: 2 ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   411
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   412
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   413
     self basicNew test04_Arithmetic
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   414
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   415
2308
ab276629818b #QUALITY by cg
Claus Gittinger <cg@exept.de>
parents: 2307
diff changeset
   416
    "Modified: / 10-06-2019 / 23:27:18 / Claus Gittinger"
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   417
!
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   418
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   419
test05_Comparing
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   420
    |convArray check v1 v2 v1b|
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   421
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   422
    self skipIf:(ExternalAddress pointerSize == 4) description:'only supported on 64bit machines'.
2275
5e0cef4e132a #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2274
diff changeset
   423
2283
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   424
    self assert:(QuadFloat zero = QuadFloat zero).
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   425
    self assert:(QuadFloat zero = 0.0 asQuadFloat).
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   426
    self assert:((0.0 asQuadFloat) = QuadFloat zero).
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   427
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   428
    self assert:(QuadFloat unity = QuadFloat unity).
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   429
    self assert:(QuadFloat unity = 1.0 asQuadFloat).
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   430
    self assert:((1.0 asQuadFloat) = QuadFloat unity).
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   431
    
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   432
    self assert:(QuadFloat zero ~= QuadFloat unity).
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   433
    self assert:(QuadFloat zero < QuadFloat unity).
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   434
    self assert:(QuadFloat zero <= QuadFloat unity).
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   435
    self assert:(QuadFloat unity > QuadFloat zero).
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   436
    self assert:(QuadFloat unity >= QuadFloat zero).
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   437
    
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   438
    convArray := OrderedCollection new.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   439
    convArray addAll:#(yourself asInteger asFloat asShortFloat asLongFloat).
2283
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   440
false ifTrue:[
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   441
    (Smalltalk at:#LargeFloat) notNil ifTrue:[
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   442
        convArray add:#asLongFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   443
    ].
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   444
    (Smalltalk at:#QuadFloat) notNil ifTrue:[
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   445
        convArray add:#asQuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   446
    ].
2283
20d45da12d79 #BUGFIX by cg
Claus Gittinger <cg@exept.de>
parents: 2275
diff changeset
   447
].
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   448
    check := [:iv1 :iv2|
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   449
        convArray do:[:conv1 |
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   450
            v1 := (iv1 perform:conv1).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   451
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   452
            self assert:( v1 = nil ) not.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   453
            self assert:( nil = v1 ) not.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   454
            self assert:( v1 ~= nil ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   455
            self assert:( nil ~= v1 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   456
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   457
            convArray do:[:conv2 |
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   458
                v1b := (iv1 perform:conv2).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   459
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   460
                self assert:( v1 = v1b ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   461
                self assert:( v1 <= v1b ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   462
                self assert:( v1 >= v1b ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   463
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   464
                v2 := (iv2 perform:conv2).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   465
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   466
                self assert:( v1 < v2 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   467
                self assert:( v1 <= v2 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   468
                self assert:( v2 >= v1 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   469
                self assert:( v2 > v1 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   470
            ]
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   471
        ].
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   472
    ].
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   473
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   474
    check value:2 value:3.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   475
    check value:0 value:1.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   476
    check value:-1 value:0.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   477
    check value:-3 value:-2.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   478
    check value:-3 value:3.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   479
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   480
    check value:-30 value:1.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   481
    check value:-1 value:30.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   482
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   483
    "/ showing that float precision is limited...
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   484
    
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   485
    "/ test fails when stc code, jit code works
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   486
    false "(Helper 
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   487
        isStcCompiledMethod:#'test05_Comparing'
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   488
        in:self)" ifTrue:[ 
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   489
            "/ stc-compiled code handles not slightly differently
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   490
            "/ listed compares will fail
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   491
            'FloatTest >> test05_Comparing: test with 200000000000000000000 or similiar are skipped due would fail when stc code' infoPrintCR.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   492
        ] ifFalse:[    
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   493
            self assert:( 200000000000000000000.0 = 200000000000000000001.0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   494
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   495
            self assert:( 200000000000000000000.0 = 200000000000000000001 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   496
            self assert:( 200000000000000000000.0 = 200000000000000000000 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   497
            self assert:( 200000000000000000000.0 asLongFloat = 200000000000000000000 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   498
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   499
            self assert:( 200000000000000000000 = 200000000000000000000.0).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   500
            self assert:( 200000000000000000000 = 200000000000000000000.0 asLongFloat ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   501
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   502
            self assert:( 200000000000000000000.0 < 200000100000000000000 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   503
            self assert:( 200000000000000000000.0 asLongFloat < 200000000000100000000 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   504
            self assert:( 200000000000000000000.0 asShortFloat < 200001000000000000000 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   505
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   506
            self assert:( 200000000000000000000 < 200001000000000000000.0).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   507
            self assert:( 200000000000000000000 < 200001000000000000000.0 asLongFloat ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   508
            self assert:( 200000000000000000000 < 200001000000000000000.0 asShortFloat ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   509
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   510
            self assert:( 200000000000000000000.0 <= 200000100000000000000 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   511
            self assert:( 200000000000000000000.0 <= 200000000000000000000 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   512
            self assert:( 200000000000000000000.0 asLongFloat <= 200000000000000000001 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   513
            self assert:( 200000000000000000000.0 asLongFloat <= 200000000000000000000 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   514
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   515
            self assert:( 200000000000000000000 <= 200001000000000000000.0).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   516
            self assert:( 200000000000000000000 <= 200000000000000000000.0).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   517
            self assert:( 200000000000000000000 <= 200001000000000000000.0 asLongFloat ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   518
            self assert:( 200000000000000000000 <= 200000000000000000000.0 asLongFloat ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   519
        ].
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   520
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   521
    self assert:( 2000000.0 asShortFloat = 2000000 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   522
    self assert:( 2000000 = 2000000.0 asShortFloat ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   523
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   524
    self assert:( 2000000.0 asShortFloat <= 200000100000000000000 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   525
    self assert:( 2000000.0 asShortFloat <= 2000000 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   526
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   527
    self assert:( 2000000 <= 2000000.0 asShortFloat ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   528
    self assert:( 2000000 <= 2000000.0 asShortFloat ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   529
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   530
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   531
     self basicNew test05_Comparing
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   532
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   533
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   534
    "Modified: / 08-06-2019 / 13:53:38 / Claus Gittinger"
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   535
!
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   536
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   537
test06_MiscMath
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   538
    |epsilon|
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   539
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   540
    self skipIf:(ExternalAddress pointerSize == 4) description:'only supported on 64bit machines'.
2275
5e0cef4e132a #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2274
diff changeset
   541
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   542
    epsilon := 0.000001.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   543
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   544
    #(
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   545
        sqrt       0.5       0.707107
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   546
        sqrt       4         2.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   547
        exp        0.5       1.64872
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   548
        ln         0.5       -0.693147
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   549
        log10      0.5       -0.30103
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   550
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   551
        sin        0.5      0.479426
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   552
        cos        0.5      0.877583
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   553
        tan        0.5      0.546302
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   554
        arcSin     0.5      0.523599
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   555
        arcCos     0.5      1.0472
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   556
        arcTan     0.5      0.463648
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   557
        sinh       0.5      0.521095
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   558
        cosh       0.5      1.12763
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   559
        tanh       0.5      0.462117
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   560
        arcSinh    0.5      0.481212
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   561
        arcCosh    1.5      1.24983
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   562
        arcTanh    0.5      0.549306
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   563
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   564
        sin        0.0      0.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   565
        cos        0.0      1.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   566
        tan        0.0      0.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   567
        sinh       0.0      0.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   568
        cosh       0.0      1.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   569
        tanh       0.0      0.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   570
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   571
        sin        1.0      0.841471
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   572
        cos        1.0      0.540302
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   573
        tan        1.0      1.55741
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   574
        sinh       1.0      1.1752
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   575
        cosh       1.0      1.54308
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   576
        tanh       1.0      0.761594
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   577
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   578
        sin        3.14159  0.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   579
        cos        3.14159  -1.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   580
        tan        3.14159  0.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   581
        sinh       3.14159  11.5487
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   582
        cosh       3.14159  11.5919
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   583
        tanh       3.14159  0.996272
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   584
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   585
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   586
        tan        0.785398 1.0         "pi/4  -> should be 1"
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   587
        arcCos     -1.0     3.14159     "should be pi"
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   588
        arcSin     1.0      1.5708      "should be pi/2 (1.5708)"
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   589
        arcTan     1.0      0.785398    "should be pi/4 (.785398)"
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   590
    ) inGroupsOf:3 do:[:op :x :expected|
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   591
        |rslt rsltQuadFloat|
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   592
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   593
        rslt := x perform:op.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   594
        rsltQuadFloat := x asQuadFloat perform:op.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   595
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   596
        self assert:(rslt class == Float).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   597
        self assert:(rsltQuadFloat class == QuadFloat).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   598
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   599
        self assert:( rslt - rsltQuadFloat ) < epsilon.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   600
        self assert:( rslt - rslt asShortFloat ) < epsilon.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   601
        self assert:( rslt - rslt asLongFloat ) < epsilon.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   602
        self assert:( rslt - rslt asQuadFloat ) < epsilon.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   603
    ].
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   604
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   605
    self should:[ -2 arcSin ] raise:DomainError.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   606
    self should:[ -2 arcCos ] raise:DomainError.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   607
    self should:[ -1 arcTanh ] raise:DomainError.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   608
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   609
    #(
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   610
        0.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   611
        0.5
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   612
        1.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   613
        2.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   614
        1.57079
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   615
     ) do:[:x |
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   616
        self assert:( x sin arcSin - x < epsilon).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   617
        self assert:( x cos arcCos - x < epsilon).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   618
        self assert:( x tan arcTan - x < epsilon).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   619
    ].
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   620
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   621
    #(
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   622
        -1.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   623
        -0.5
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   624
        0.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   625
        0.5
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   626
        1.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   627
     ) do:[:x |
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   628
        self assert:( x arcSin sin - x < epsilon).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   629
        self assert:( x arcCos cos - x < epsilon).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   630
        self assert:( x arcTan tan - x < epsilon).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   631
    ].
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   632
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   633
    #(
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   634
        0.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   635
        0.5
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   636
        1.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   637
        2.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   638
        10
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   639
     ) do:[:x |
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   640
        self assert:( x cosh arcCosh - x < epsilon).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   641
    ].
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   642
    #(
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   643
        -10
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   644
        -2
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   645
        -1
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   646
        -0.5
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   647
        0.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   648
        0.5
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   649
        1.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   650
        2.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   651
        10
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   652
     ) do:[:x |
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   653
        self assert:( x sinh arcSinh - x < epsilon).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   654
        self assert:( x tanh arcTanh - x < epsilon).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   655
    ].
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   656
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   657
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   658
    #(
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   659
        -0.99
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   660
        -0.5
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   661
        0.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   662
        0.5
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   663
        0.99
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   664
     ) do:[:x |
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   665
        self assert:( x arcTanh - (( ( (1+x)/(1-x) ) ln ) / 2 ) ) < epsilon.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   666
    ].
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   667
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   668
    #(
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   669
        -10
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   670
        -5
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   671
        -2.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   672
        -1.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   673
        0.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   674
        1.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   675
        2.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   676
        10
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   677
     ) do:[:x |
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   678
        self assert:( x arcSinh sinh - x < epsilon).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   679
    ].
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   680
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   681
    #(
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   682
        1.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   683
        2.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   684
        10.0
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   685
     ) do:[:x |
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   686
        self assert:( x arcCosh cosh - x < epsilon).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   687
    ].
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   688
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   689
    self assert:(2.0 raisedTo:2) = 4.0.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   690
    self assert:(2 raisedTo:2.0) = 4.0.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   691
    self assert:(2.0 raisedTo:2.0) = 4.0.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   692
    
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   693
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   694
     self basicNew test06_MiscMath
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   695
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   696
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   697
    "Modified: / 02-07-2017 / 00:51:05 / cg"
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   698
    "Modified: / 08-06-2019 / 13:53:42 / Claus Gittinger"
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   699
!
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   700
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   701
test07_Truncation
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   702
    |check|
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   703
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   704
    self skipIf:(ExternalAddress pointerSize == 4) description:'only supported on 64bit machines'.
2275
5e0cef4e132a #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2274
diff changeset
   705
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   706
    self assert:( 1.6 asQuadFloat ceiling ) = 2.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   707
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   708
    self assert:( 1.6 asQuadFloat ceilingAsFloat ) = 2.0 asQuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   709
    self assert:( 1.6 asQuadFloat ceilingAsFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   710
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   711
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   712
    self assert:( 1.6 asQuadFloat floor ) = 1.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   713
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   714
    self assert:( 1.6 asQuadFloat floorAsFloat ) = 1.0 asQuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   715
    self assert:( 1.6 asQuadFloat floorAsFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   716
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   717
    self assert:( -1.6 asQuadFloat floor ) = -2.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   718
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   719
    self assert:( -1.6 asQuadFloat floorAsFloat ) = -2.0 asQuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   720
    self assert:( -1.6 asQuadFloat floorAsFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   721
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   722
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   723
    self assert:( 0.4 asQuadFloat rounded ) class == SmallInteger.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   724
    self assert:( 0.4 asQuadFloat rounded = 0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   725
    self assert:( 0.5 asQuadFloat rounded = 1 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   726
    self assert:( 0.6 asQuadFloat rounded = 1 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   727
    self assert:( -0.4 asQuadFloat rounded = 0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   728
    self assert:( -0.5 asQuadFloat rounded = -1 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   729
    self assert:( -0.6 asQuadFloat rounded = -1 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   730
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   731
    self assert:( 0.4 asQuadFloat roundedAsFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   732
    self assert:( 0.4 asQuadFloat roundedAsFloat  = 0.0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   733
    self assert:( 0.5 asQuadFloat roundedAsFloat  = 1.0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   734
    self assert:( 0.6 asQuadFloat roundedAsFloat  = 1.0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   735
    self assert:( -0.4 asQuadFloat roundedAsFloat = 0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   736
    self assert:( -0.5 asQuadFloat roundedAsFloat = -1.0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   737
    self assert:( -0.6 asQuadFloat roundedAsFloat = -1.0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   738
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   739
    self assert:( 0.4 asQuadFloat truncated ) class == SmallInteger.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   740
    self assert:( 0.4 asQuadFloat truncated = 0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   741
    self assert:( 0.5 asQuadFloat truncated = 0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   742
    self assert:( 0.6 asQuadFloat truncated = 0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   743
    self assert:( -0.4 asQuadFloat truncated = 0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   744
    self assert:( -0.5 asQuadFloat truncated = 0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   745
    self assert:( -0.6 asQuadFloat truncated = 0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   746
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   747
    self assert:( 0.4 asQuadFloat truncatedAsFloat ) class == QuadFloat.
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   748
    self assert:( 0.4 asQuadFloat truncatedAsFloat  = 0.0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   749
    self assert:( 0.5 asQuadFloat truncatedAsFloat  = 0.0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   750
    self assert:( 0.6 asQuadFloat truncatedAsFloat  = 0.0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   751
    self assert:( -0.4 asQuadFloat truncatedAsFloat = 0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   752
    self assert:( -0.5 asQuadFloat truncatedAsFloat = 0.0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   753
    self assert:( -0.6 asQuadFloat truncatedAsFloat = 0.0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   754
2412
7dfe3409e4bd #BUGFIX by exept
Claus Gittinger <cg@exept.de>
parents: 2411
diff changeset
   755
    check := [:num |
7dfe3409e4bd #BUGFIX by exept
Claus Gittinger <cg@exept.de>
parents: 2411
diff changeset
   756
        self assert:( num fractionPart + num truncated ) = num.
7dfe3409e4bd #BUGFIX by exept
Claus Gittinger <cg@exept.de>
parents: 2411
diff changeset
   757
        self assert:( num fractionPart + num truncated ) class == num class.
7dfe3409e4bd #BUGFIX by exept
Claus Gittinger <cg@exept.de>
parents: 2411
diff changeset
   758
    ].
7dfe3409e4bd #BUGFIX by exept
Claus Gittinger <cg@exept.de>
parents: 2411
diff changeset
   759
7dfe3409e4bd #BUGFIX by exept
Claus Gittinger <cg@exept.de>
parents: 2411
diff changeset
   760
    check value:1.6 asQuadFloat.
7dfe3409e4bd #BUGFIX by exept
Claus Gittinger <cg@exept.de>
parents: 2411
diff changeset
   761
    check value:-1.6 asQuadFloat.
7dfe3409e4bd #BUGFIX by exept
Claus Gittinger <cg@exept.de>
parents: 2411
diff changeset
   762
7dfe3409e4bd #BUGFIX by exept
Claus Gittinger <cg@exept.de>
parents: 2411
diff changeset
   763
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   764
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   765
     self basicNew test07_Truncation
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   766
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   767
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   768
    "Modified: / 08-06-2019 / 13:53:46 / Claus Gittinger"
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   769
!
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   770
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   771
test08_Representation
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   772
    self skipIf:(ExternalAddress pointerSize == 4) description:'only supported on 64bit machines'.
2275
5e0cef4e132a #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2274
diff changeset
   773
5e0cef4e132a #FEATURE by cg
Claus Gittinger <cg@exept.de>
parents: 2274
diff changeset
   774
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   775
    self assert: (QuadFloat unity class == QuadFloat).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   776
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   777
    self assert: (QuadFloat unity = 1.0).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   778
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   779
    self assert: (QuadFloat zero class == QuadFloat).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   780
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   781
    self assert: (QuadFloat zero = 0.0).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   782
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   783
    self assert:( QuadFloat unity = 1 asLongFloat ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   784
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   785
    self assert:( 0.0 asQuadFloat exponent = 0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   786
    self assert:( 1.0 asQuadFloat exponent = 1 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   787
    self assert:( 2.0 asQuadFloat exponent = 2 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   788
    self assert:( 3.0 asQuadFloat exponent = 2 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   789
    self assert:( 4.0 asQuadFloat exponent = 3 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   790
    self assert:( 0.5 asQuadFloat exponent = 0 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   791
    self assert:( 0.4 asQuadFloat exponent = -1 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   792
    self assert:( 0.25 asQuadFloat exponent = -1 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   793
    self assert:( 0.125 asQuadFloat exponent = -2 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   794
    self assert:( 0.00000011111 asQuadFloat exponent = -23 ).
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   795
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   796
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   797
     self basicNew test08_Representation
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   798
    "
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   799
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   800
    "Modified: / 02-08-2011 / 18:34:39 / cg"
2284
5774f8229f2b #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 2283
diff changeset
   801
    "Modified: / 08-06-2019 / 13:53:48 / Claus Gittinger"
2411
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   802
!
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   803
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   804
test09_InstanceCreation
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   805
    |qI qD d i|
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   806
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   807
    i := 1.
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   808
    qI := i asQuadFloat.
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   809
    d := 1.0.
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   810
    qD := d asQuadFloat.
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   811
    self assert:(qI = qD).
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   812
    self assert:(qI asFloat = 1.0).
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   813
    self assert:(qD asFloat = 1.0).
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   814
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   815
    "
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   816
     self basicNew test09_InstanceCreation
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   817
    "
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   818
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   819
    "Modified: / 03-05-2012 / 18:47:21 / cg"
4e2559b4b988 #QUALITY by exept
Claus Gittinger <cg@exept.de>
parents: 2311
diff changeset
   820
    "Modified: / 07-06-2019 / 03:22:43 / Claus Gittinger"
2274
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   821
! !
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   822
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   823
!QuadFloatTest class methodsFor:'documentation'!
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   824
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   825
version_CVS
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   826
    ^ '$Header$'
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   827
! !
f6f8656d6a84 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   828