仮定と一致するようにラジカルを正規化する方法

Question

Sage docsでは、関数canonicalize_radical()は、無限大の振る舞いに基づいてブランチを選択すると言います。自分の言葉で言えば、これは、そのことを意味します。

変換中は前提となりません。これにより、あなたの前提条件と矛盾する支店選択が生じる可能性があります。

これは単純に言えば、悪いことです。

xを返し、動作がassume(x>0)である単純な例です。少なくとも、異なる仮定のために行動が異なることが予想される。

セージを使用して、常に前提と一致する方法でこれを一貫して行う方法はありますか？ここでの主な目標は単純化です。そのために私が気付いていない別の機能があるかもしれません。

Answer 1

Sage TracサーバーとSageデベロッパーリストとMaximaデベロッパーリストの長い対応があります。それで今はcanonicalize_radicalと呼ばれています。 Maximaのドキュメントは、これがの式のいくつかのクラスで標準であり、の関数（多値であるかどうか）ではないことが非常に明確です。それはおそらくあなたが探している答えではありませんが、Maximaの人々はそれが枝のカットのために望むことができる最高の音であるようにします。

SympyとSageの他の部分にも多くの他の簡略化ルーチンがあります...