quotient SciMax Toolbox radexpand

SciMax Toolbox >> radcan

radcan

Maxima Function

Calling Sequence

radcan (expr)

Description

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.

quotient SciMax Toolbox radexpand