すべての初等関数がexp-minus-logで表せるわけではない

記事

• ある論文が「すべての初等関数はexp-minus-log（EML）に帰着できる」と主張していることを批判
• EMLでは√xのような多項式の根を表現できないと指摘——これらは古典的な意味で初等関数に含まれる
• 論文が「初等関数」の定義を標準より狭く取っていると論じる

ディスカッション

• 元論文の著者もその制限を認めている；論争は数学的なものではなく定義の問題
• コメント欄は二分：「ゴールポストを動かしている」と見る意見と、「有効なスコープの批判だ」とする意見が拮抗
• Rischアルゴリズム（記号的不定積分を解く古典的アルゴリズム）との関連も言及
• EMLの実装例がリンクされており、場合分けのミラーリング問題で三角関数が失敗するケースが紹介された

HNで議論を読む

原文（英語）: Not all elementary functions can be expressed with exp-minus-log