Next: Package facexp, Previous: Introduction to simplification, Up: simplification [Contents][Index]
absimpパッケージは
absとsignum関数のために
組み込み整理ルールを拡張する
パターンマッチングルールを含みます。
absimpは、
組み込みassume関数で、また、
偶数や奇数に関してmodedeclare (m, even, n, odd)のような宣言によって
確立された関係を考慮します。
absimpは
absとsignumを使って
unitrampとunitstep関数を定義します。
load ("absimp")はこのパッケージをロードします。
demo (absimp)はこのパッケージのデモを表示します。
例:
(%i1) load ("absimp")$
(%i2) (abs (x))^2;
2
(%o2) x
(%i3) diff (abs (x), x);
x
(%o3) ------
abs(x)
(%i4) cosh (abs (x));
(%o4) cosh(x)
Next: Package facexp, Previous: Introduction to simplification, Up: simplification [Contents][Index]