help links subscribe changes refresh edit

	FrontPage
SandBoxComplexFunctionTest ←	↑	→ SandBoxListLength

SandBoxF3lix

Edit detail for SandBoxF3lix revision 3 of 5

	1 2 3 4 5
Editor: mantepse Time: 2010/02/03 07:52:58 GMT-8
Note:

added:

From mantepse Wed Feb 3 07:52:51 -0800 2010
From: mantepse
Date: Wed, 03 Feb 2010 07:52:51 -0800
Subject: 
Message-ID: <20100203075251-0800@axiom-wiki.newsynthesis.org>

\begin{axiom}
simplify((1-e^x)^2 - (e^(2*x)- 2*e^x + 1))
simplify((1-%e^x)^2 - (%e^(2*x)- 2*%e^x + 1))
\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)

... --mantepse, Wed, 03 Feb 2010 07:52:51 -0800 reply

axiom

simplify((1-e^x)^2 - (e^(2*x)- 2*e^x + 1))

$\label{eq1}0$

(1)

Type: Expression(Integer)

axiom

simplify((1-%e^x)^2 - (%e^(2*x)- 2*%e^x + 1))

$\label{eq2}0$

(2)

Type: Expression(Integer)