Next: Package facexp, Previous: Introduction to simplification, Up: simplification [Contents][Index]
The absimp
package contains pattern-matching rules that
extend the built-in simplification rules for the abs
and signum
functions.
absimp
respects relations
established with the built-in assume
function and by declarations such
as mode_declare (m, even, n, odd)
for even or odd integers.
absimp
defines unitramp
and unitstep
functions
in terms of abs
and signum
.
load ("absimp")
loads this package.
demo ("absimp")
shows a demonstration of this package.
Examples:
(%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]