Floats.out 6.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141
  1. EXECUTED_PROGRAM
  2. ret > ExitSuccess
  3. out > NaN ≡ᵇ NaN = false = false
  4. out > -NaN ≡ᵇ NaN = false = false
  5. out > NaN ≡ᵇ -NaN = false = false
  6. out > -NaN ≡ᵇ -NaN = false = false
  7. out > Infinity ≡ᵇ Infinity = true = true
  8. out > -Infinity ≡ᵇ Infinity = false = false
  9. out > Infinity ≡ᵇ -Infinity = false = false
  10. out > -Infinity ≡ᵇ -Infinity = true = true
  11. out > MaxFloat ≡ᵇ MaxFloat = true = true
  12. out > MinFloat ≡ᵇ MinFloat = true = true
  13. out > 1.0 ≡ᵇ 1.5 = false = false
  14. out > 1.0 ≡ᵇ 1.0 = true = true
  15. out > 1.5 ≡ᵇ 1.5 = true = true
  16. out > NaN ≤ᵇ NaN = false = false
  17. out > -NaN ≤ᵇ NaN = false = false
  18. out > NaN ≤ᵇ -NaN = false = false
  19. out > -NaN ≤ᵇ -NaN = false = false
  20. out > NaN ≤ᵇ 5.0 = false = false
  21. out > -NaN ≤ᵇ 5.0 = false = false
  22. out > 5.0 ≤ᵇ -NaN = false = false
  23. out > -5.0 ≤ᵇ -NaN = false = false
  24. out > NaN ≤ᵇ Infinity = false = false
  25. out > -NaN ≤ᵇ Infinity = false = false
  26. out > Infinity ≤ᵇ -NaN = false = false
  27. out > -Infinity ≤ᵇ -NaN = false = false
  28. out > Infinity ≤ᵇ Infinity = true = true
  29. out > -Infinity ≤ᵇ Infinity = true = true
  30. out > Infinity ≤ᵇ -Infinity = false = false
  31. out > -Infinity ≤ᵇ -Infinity = true = true
  32. out > MaxFloat ≤ᵇ MaxFloat = true = true
  33. out > MinFloat ≤ᵇ MinFloat = true = true
  34. out > 1.0 ≤ᵇ 1.5 = true = true
  35. out > 1.0 ≤ᵇ 1.0 = true = true
  36. out > 1.5 ≤ᵇ 1.5 = true = true
  37. out > NaN <ᵇ NaN = false = false
  38. out > -NaN <ᵇ NaN = false = false
  39. out > NaN <ᵇ -NaN = false = false
  40. out > -NaN <ᵇ -NaN = false = false
  41. out > NaN <ᵇ 5.0 = false = false
  42. out > -NaN <ᵇ 5.0 = false = false
  43. out > 5.0 <ᵇ -NaN = false = false
  44. out > -5.0 <ᵇ -NaN = false = false
  45. out > NaN <ᵇ Infinity = false = false
  46. out > -NaN <ᵇ Infinity = false = false
  47. out > Infinity <ᵇ -NaN = false = false
  48. out > -Infinity <ᵇ -NaN = false = false
  49. out > Infinity <ᵇ Infinity = false = false
  50. out > -Infinity <ᵇ Infinity = true = true
  51. out > Infinity <ᵇ -Infinity = false = false
  52. out > -Infinity <ᵇ -Infinity = false = false
  53. out > MaxFloat <ᵇ MaxFloat = false = false
  54. out > MinFloat <ᵇ MinFloat = false = false
  55. out > 1.0 <ᵇ 1.5 = true = true
  56. out > 1.0 <ᵇ 1.0 = false = false
  57. out > 1.5 <ᵇ 1.5 = false = false
  58. out > isNaN NaN = true = true
  59. out > isNaN -NaN = true = true
  60. out > isNaN Infinity = false = false
  61. out > isNaN -Infinity = false = false
  62. out > isNaN 0.0 = false = false
  63. out > isNaN -0.0 = false = false
  64. out > isNaN 1.0 = false = false
  65. out > isNaN 1.5 = false = false
  66. out > isInfinite NaN = false = false
  67. out > isInfinite -NaN = false = false
  68. out > isInfinite Infinity = true = true
  69. out > isInfinite -Infinity = true = true
  70. out > isInfinite 0.0 = false = false
  71. out > isInfinite -0.0 = false = false
  72. out > isInfinite 1.0 = false = false
  73. out > isInfinite 1.5 = false = false
  74. out > isNegativeZero NaN = false = false
  75. out > isNegativeZero -NaN = false = false
  76. out > isNegativeZero Infinity = false = false
  77. out > isNegativeZero -Infinity = false = false
  78. out > isNegativeZero 0.0 = false = false
  79. out > isNegativeZero -0.0 = true = true
  80. out > isNegativeZero 1.0 = false = false
  81. out > isNegativeZero 1.5 = false = false
  82. out > isSafeInteger 1.0 = true = true
  83. out > isSafeInteger 1.5 = false = false
  84. out > isSafeInteger MaxFloat = false = false
  85. out > isSafeInteger MinFloat = false = false
  86. out > isSafeInteger MaxSafeIntF = true = true
  87. out > show NaN = NaN = NaN
  88. out > show -NaN = NaN = NaN
  89. out > show 0.0 = 0.0 = 0.0
  90. out > show -0.0 = -0.0 = -0.0
  91. out > show Infinity = Infinity = Infinity
  92. out > show -Infinity = -Infinity = -Infinity
  93. out > show 1.0 = 1.0 = 1.0
  94. out > show 1.5 = 1.5 = 1.5
  95. out > round 1.0 = (just (1)) = (just (1))
  96. out > round 1.5 = (just (2)) = (just (2))
  97. out > round NaN = nothing = nothing
  98. out > round -NaN = nothing = nothing
  99. out > round Infinity = nothing = nothing
  100. out > round -Infinity = nothing = nothing
  101. out > round MinFloat = (just (0)) = (just (0))
  102. out > floor 1.0 = (just (1)) = (just (1))
  103. out > floor 1.5 = (just (1)) = (just (1))
  104. out > floor NaN = nothing = nothing
  105. out > floor -NaN = nothing = nothing
  106. out > floor Infinity = nothing = nothing
  107. out > floor -Infinity = nothing = nothing
  108. out > floor MinFloat = (just (0)) = (just (0))
  109. out > ceiling 1.0 = (just (1)) = (just (1))
  110. out > ceiling 1.5 = (just (2)) = (just (2))
  111. out > ceiling NaN = nothing = nothing
  112. out > ceiling -NaN = nothing = nothing
  113. out > ceiling Infinity = nothing = nothing
  114. out > ceiling -Infinity = nothing = nothing
  115. out > ceiling MinFloat = (just (1)) = (just (1))
  116. out > decode NaN = nothing = nothing
  117. out > decode Infinity = nothing = nothing
  118. out > decode -Infinity = nothing = nothing
  119. out > decode 1.0 = (just ((1 , 0))) = (just ((1 , 0)))
  120. out > decode 1.5 = (just ((3 , -1))) = (just ((3 , -1)))
  121. out > decode MinFloat = (just ((1 , -1022))) = (just ((1 , -1022)))
  122. out > encode (pos 1) (pos 0) = (just (1.0)) = (just (1.0))
  123. out > encode (pos 3) (negsuc 0) = (just (1.5)) = (just (1.5))
  124. out > toRatio NaN = (0 , 0) = (0 , 0)
  125. out > toRatio Infinity = (1 , 0) = (1 , 0)
  126. out > toRatio -Infinity = (-1 , 0) = (-1 , 0)
  127. out > toRatio 1.0 = (1 , 1) = (1 , 1)
  128. out > toRatio 1.5 = (3 , 2) = (3 , 2)
  129. out > fromRatio (pos 0) (pos 0) = NaN = NaN
  130. out > fromRatio (pos 1) (pos 0) = Infinity = Infinity
  131. out > fromRatio (negsuc 0) (pos 0) = -Infinity = -Infinity
  132. out > fromRatio (pos 1) (pos 1) = 1.0 = 1.0
  133. out > fromRatio (pos 3) (pos 2) = 1.5 = 1.5
  134. out > e^ 1.0 = 2.718281828459045 = 2.718281828459045
  135. out > sin (asin 0.6) = 0.6 = 0.6
  136. out > cos (acos 0.6) = 0.6 = 0.6
  137. out > tan (atan 0.4) = 0.4 = 0.4
  138. out > tan (atan2 0.4 1.0) = 0.4 = 0.4
  139. out >