[ruby-dev:42181] Re: Math モジュールの互換性(was: Math::atan2(0, 0) on ruby 1.9.2)

久保です。

Mathモジュールの関数の互換性の調査第二回です。全26個の関数のうち
第一回は最初の7個(atan2, cos, sin, tan, acos, asin, atan)で、第二回の
今回は次の7個(cosh, sinh, tanh, acosh, asinh, atanh, exp)です。

チェック項目は以下の2つ。

(1) SUSv3準拠環境での 1.9.1 と trunk の非互換

(2) trunk でのプラットフォーム間の非互換の可能性

    普通に考えれば当然の動作と言えるものも SUSv3 ではオプションの動作
    になっている模様。当然じゃない動作をする実装もあるからなのか？

詳しくは ruby-dev:42155 を参照。
http://blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-dev/42155

8. cosh
=======

8.1. SUSv3準拠環境での 1.9.1 と trunk の非互換
----------------------------------------------

ソースコードの変更がないので非互換なし

8.2. trunk でのプラットフォーム間の非互換の可能性
-------------------------------------------------

 1. cosh(NaN)   -> NaN
 2. cosh(+0.0)  -> 1.0
 3. cosh(-0.0)  -> 1.0
 4. cosh(+Inf)  -> +Inf
 5. cosh(-Inf)  -> +Inf

SUSv3 では上記すべてオプションの動作となっている。SUSv2 では、1, 4, 5
は定義されているが、2, 3 の記述はない。

9. sinh
=======

9.1. SUSv3準拠環境での 1.9.1 と trunk の非互換
----------------------------------------------

ソースコードの変更がないので非互換なし

9.2. trunk でのプラットフォーム間の非互換の可能性
-------------------------------------------------

 1. sinh(NaN)   -> NaN
 2. sinh(+0.0)  -> +0.0
 3. sinh(-0.0)  -> -0.0
 4. sinh(+Inf)  -> +Inf
 5. sinh(-Inf)  -> -Inf
 6. sinh(非正規数) -> SUSv3 では 引数の値、SUSv2 では 0.0

SUSv3 では上記すべてオプションの動作となっている。SUSv2 では、1, 6
は定義されているが、2, 3, 4, 5 の記述はない。

10. tanh
========

10.1. SUSv3準拠環境での 1.9.1 と trunk の非互換
-----------------------------------------------

ソースコードの変更がないので非互換なし

10.2. trunk でのプラットフォーム間の非互換の可能性
--------------------------------------------------

 1. tanh(NaN)   -> NaN
 2. tanh(+0.0)  -> +0.0
 3. tanh(-0.0)  -> -0.0
 4. tanh(+Inf)  -> +1.0
 5. tanh(-Inf)  -> -1.0
 6. tanh(非正規数) -> SUSv3 では 引数の値、SUSv2 では 0.0

SUSv3 では上記すべてオプションの動作となっている。SUSv2 では、1, 6
は定義されているが、2, 3, 4, 5 の記述はない。

11. acosh
=========

11.1. SUSv3準拠環境での 1.9.1 と trunk の非互換
-----------------------------------------------

ソースコードの変更はあるが、挙動の変化なし。

11.2. trunk でのプラットフォーム間の非互換の可能性
--------------------------------------------------

 1. acosh(NaN)   -> NaN
 2. acosh(+1.0)  -> +0.0
 3. acosh(+Inf)  -> +Inf

SUSv3 では上記すべてオプションの動作となっている。SUSv2 では、1
は定義されているが、2, 3 の記述はない。

12. asinh
=========

12.1. SUSv3準拠環境での 1.9.1 と trunk の非互換
-----------------------------------------------

ソースコードの変更がないので非互換なし

12.2. trunk でのプラットフォーム間の非互換の可能性
--------------------------------------------------

 1. asinh(NaN)   -> NaN
 2. asinh(+0.0)  -> +0.0
 3. asinh(-0.0)  -> -0.0
 4. asinh(+Inf)  -> +Inf
 5. asinh(-Inf)  -> -Inf
 6. asinh(非正規数) -> SUSv3 では 引数の値

SUSv3 では上記すべてオプションの動作となっている。SUSv2 では、1
は定義されているが、2, 3, 4, 5, 6 の記述はない。

13. atanh
=========

13.1. SUSv3準拠環境での 1.9.1 と trunk の非互換
-----------------------------------------------

                           1.9.1        trunk
    ---------------- ----------------  -------
 1. atanh(非正規数)  Errno::ERANGE(*5)  引数の値
 2. atanh(+1.0)      Errno::ERANGE      +Inf
 3. atanh(-1.0)      Errno::ERANGE      -Inf

*5 仕様書には "a range error may occur" と書かれている。例外を上げるか、
   trunk と同じ動作をするかは実装に依存する。

13.2. trunk でのプラットフォーム間の非互換の可能性
--------------------------------------------------

 1. atanh(NaN)   -> NaN
 2. atanh(+0.0)  -> +0.0
 3. atanh(-0.0)  -> -0.0
 4. atanh(非正規数) -> SUSv3 では 引数の値

SUSv3 では上記すべてオプションの動作となっている。SUSv2 では、1
は定義されているが、2, 3, 4 の記述はない。

14. exp
=======

14.1. SUSv3準拠環境での 1.9.1 と trunk の非互換
-----------------------------------------------

ソースコードの変更がないので非互換なし

14.2. trunk でのプラットフォーム間の非互換の可能性
--------------------------------------------------

 1. exp(NaN)   ->  NaN
 2. exp(+0.0)  ->  1.0
 3. exp(-0.0)  ->  1.0
 4. exp(+Inf)  -> +Inf
 5. exp(-Inf)  -> +0.0

SUSv3 では上記すべてオプションの動作となっている。SUSv2 では、1
は定義されているが、2, 3, 4, 5 の記述はない。

---------------------
今回はここまで。