Sponsored links: Algebra eBooks
 

Help Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

The Maxima on-line user's manual

Algebra Calculator

Search:

Radcan Calculator

Radcan

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.

mye: x = x;
radcan(mye);
( is(((subst( mye, (x^2-1)/(x-1)-1 = x )))));
(is ((radcan(subst(mye,  (x^2-1)/(x-1)-1 = x )))));
solve(mye,x);

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.

Examples:

          (%i1) radcan((log(x+x^2)-log(x))^a/log(1+x)^(a/2));
                                                     a/2
          (%o1)                            log(x + 1)

          (%i2) radcan((log(1+2*a^x+a^(2*x))/log(1+a^x)));
          (%o2)                                  2

          (%i3) radcan((%e^x-1)/(1+%e^(x/2)));
                                               x/2
          (%o3)                              %e    - 1

There are also some inexact matches for radcan. Try ?? radcan to see them.

(%o1)                                true
(%i2) 

Radcan Example

Related Examples

radcan

radcan(fv = ((1 + rat...

Calculate

radcan-solve-subst

mye: (x^2-1)/(x-1)=y;

radcan(mye);

( (((subst( mye, x = ...

Calculate

radcan

f:(a^m)^n;

radcan(f);

(a^m)^n;

Calculate

radcan

p: 12*x^2-2*x+3;

q: 3*x-2;

radcan(p/q);

Calculate

radcan

log10(x):=log(x)/log(...

v:log10(100);

v:radcan(v);

Calculate

radcan-radexpand-rhs-solve

u:2*v/(1+v^2/c^2);

t:m*u/(1-u^2/c^2)^(-1...

s:solve(t,N);

Calculate

radcan-solve-sqrt

f:(sqrt(3)+1)/sinB=2/...

B:radcan(solve(f,sinB));

Calculate

radcan

radcan(fv = ((1 + rat...

Calculate

radcan-radexpand-rhs-solve

u:2*v/(1+v^2/c^2);

t:m*u/(1-u^2/c^2)^(-1...

s:solve(t,N);

Calculate

radcan-sqrt

/* the side of regula...

/* the side of regula...

/* which after simpli...

Calculate