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.

f(x):=16*(1-x^5)/(1-x);
f(0.5);
gp(x):=(sqrt(f(x))+sum(x^k,k,2,28))/2;
gm(x):=(sqrt(f(x))-sum(x^k,k,2,28))/2;
float(subst(0.5,x,gp(x)*gm(x)));
tp(x):=taylor(gp(x),x,0,4);
float(tp(x));
tm(x):=taylor(gm(x),x,0,4);
float(tm(x));
float(subst(0.5,x,tp(x)));
float(subst(0.5,x,tm(x)));
h(x):=float(tp(x))^(1/3)-float(tm(x))^(1/3);
radcan(expand(float(ratsimp(h(x)))));
float(subst(0.5,x,h(x))/sqrt(3));

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-sqrt

radcan((x^7-3.5*x^6+1...

Calculate

radcan-sqrt

f:a^5*b;

f1:f^(1/3);

f2:radcan(f1);

Calculate

radcan-solve

eq1 : U = (a*x^r+(1-a...

x: M/(px+py*(px/py*(1...

y: x*(px/py*(1-a)/a)^...

Calculate

radcan-sqrt

radcan(sqrt(200));

Calculate

radcan

radcan(rand_with_proh...

Calculate

radcan-sqrt

AB: 5;

BC: sqrt(106);

CA: sqrt(41);

Calculate

radcan

radcan([u,v,0]);

Calculate

radcan

log4(x) := log(x) / l...

truncate(radcan(log4(...

Calculate

radcan-sqrt

a: [-2,-4,0];

b: [-8,-4,3];

p: a.b;

Calculate

radcan

radcan((a^17+b^6)^23);

Calculate