C langage : n1570の委員会草案
、特にAnnex G
複雑な数学関数の動作に関するものを見ると、複雑な指数関数が無限遠で次のような動作をすることがわかります。
cexp(+infinity+I*infinity)=+/-infinity+I*NaN
(where the sign of the real part of the result is unspecified).
私の質問は:なぜですか?
数学的な観点から、実数部と虚数部の無限大に同じ方法でアプローチすると、極限は複素無限大になり (たとえば、 Wolfram Alphaを参照)、これは無限法と未定義の引数に対応します。
さらに、cexp
関数の振る舞いを見ると、実数部と虚数部がよく似ています( Wolfram Alphaの3Dプロットを参照)。
だから、私は期待していたでしょう:
cexp(+infinity+I*infinity)=+/-infinity+/-I*infinity
それ以外の:
cexp(+infinity+I*infinity)=+/-infinity+I*NaN
これには立派な理由があることは知っていますが、私には理解できません。誰かがこの背後にあるロジックを説明してもらえますか?
編集:ここにリンクの要約があります: