Maxima Function
radcan (expr)
Simplifies expr, which can contain logs, exponentials, and
radicals, by converting it into a form which is canonical over a large
class of expressions and a given ordering of variables; that is, all
functionally equivalent forms are mapped into a unique form. For a
somewhat larger class of expressions, radcan
produces a regular form.
Two equivalent expressions in this class do not necessarily have the
same appearance, but their difference can be simplified by radcan
to
zero.
For some expressions radcan
is quite time consuming. This
is the cost of exploring certain relationships among the components of
the expression for simplifications based on factoring and
partial-fraction expansions of exponents.
When %e_to_numlog
is true
,
%e^(r*log(expr))
simplifies to expr^r
if r
is a rational number.
When radexpand
is false
, certain transformations are inhibited.
radcan (sqrt (1-x))
remains sqrt (1-x)
and is not simplified to %i sqrt (x-1)
.
radcan (sqrt (x^2 - 2*x + 11))
remains sqrt (x^2 - 2*x + 1)
and is not simplified to x - 1
.
example (radcan)
displays some examples.