help links subscribe changes refresh edit

	FrontPage
SandBoxComplexFunctionTest ←	↑	→ SandBoxListLength

SandBoxF3lix

Edit detail for SandBoxF3lix revision 2 of 5

	1 2 3 4 5
Editor: f3lix Time: 2010/02/03 07:48:09 GMT-8
Note:

changed:
-
-simplify (1-e^x)^2 - (e^(2*x)- 2*e^x + 1)
myExpr := simplify (1-e^x)^2 - (e^(2*x)- 2*e^x + 1)

added:

\begin{axiom}

dumbRule := rule e^(a*b) == e^(b*a)

dumbRule myExpr
\end{axiom}

axiom

myExpr := simplify (1-e^x)^2 - (e^(2*x)- 2*e^x + 1)

$\label{eq1}-{e^{\left(2 \ x \right)}}+{{e^x}^2}$

(1)

Type: Expression(Integer)

axiom

dumbRule := rule e^(a*b) == e^(b*a)

$\label{eq2}{e^{\left(a \ b \right)}}\mbox{\rm = =}{e^{\left(a \ b \right)}}$

(2)

Type: RewriteRule(Integer,Integer,Expression(Integer))

axiom

dumbRule myExpr

$\label{eq3}0$

(3)

Type: Expression(Integer)