help links subscribe changes refresh edit

	FrontPage
SandBoxComplexFunctionTest ←	↑	→ SandBoxListLength

SandBoxF3lix

Edit detail for SandBoxF3lix revision 4 of 5

	1 2 3 4 5
Editor: Bill Page Time: 2010/02/03 07:53:39 GMT-8
Note: looks funny in LaTeX but is ok

added:

From BillPage Wed Feb 3 07:53:37 -0800 2010
From: Bill Page
Date: Wed, 03 Feb 2010 07:53:37 -0800
Subject: looks funny in LaTeX but is ok
Message-ID: <20100203075337-0800@axiom-wiki.newsynthesis.org>

\begin{axiom}
)set output algebra on
)set output tex off
\end{axiom}

\begin{axiom}
simplify (1-e^x)^2 - (e^(2*x)- 2*e^x + 1)
unparse(%::InputForm)
\end{axiom}

\begin{axiom}
)set output algebra off
)set output tex on
\end{axiom}

fricas

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

$\label{eq1}-{{e}^{2 \ x}}+{{{e}^{x}}^{2}}$

(1)

Type: Expression(Integer)

fricas

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

$\label{eq2}{{e}^{a \ b}}\mbox{\rm = =}{{e}^{a \ b}}$

(2)

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

fricas

dumbRule myExpr

$\label{eq3}0$

(3)

Type: Expression(Integer)

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

fricas

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

$\label{eq4}0$

(4)

Type: Expression(Integer)

fricas

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

$\label{eq5}0$

(5)

Type: Expression(Integer)

looks funny in LaTeX? but is ok --Bill Page, Wed, 03 Feb 2010 07:53:37 -0800 reply

fricas

)set output algebra on

fricas

)set output tex off

fricas

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

           2x     x 2
   (6)  - e   + (e )

Type: Expression(Integer)

fricas

unparse(%::InputForm)

   (7)  "-1*e^(2*x)+(e^x)^2"

Type: String

fricas

)set output algebra off

fricas

)set output tex on