help links subscribe changes refresh edit

	SandBoxLorentzTransformation
SandBox Idempotent Observers ←	↑

realElementary

Edit detail for realElementary revision 1 of 1

	1
Editor: Bill Page Time: 2013/10/07 13:32:14 GMT+0
Note: normal forms

changed:
-
\begin{axiom}
realElementary sinh x
realElementary cosh x
\end{axiom}


\begin{axiom}
fix == rule
  a/(?b*exp(x)) == a/b*exp(-x)
\end{axiom}


\begin{axiom}
simplify fix realElementary sinh x
simplify fix realElementary cosh x
\end{axiom}

fricas

(1) -> realElementary sinh x

$\label{eq1}\frac{{{{e}^{x}}^{2}}- 1}{2 \ {{e}^{x}}}$

(1)

Type: Expression(Integer)

fricas

realElementary cosh x

$\label{eq2}\frac{{{{e}^{x}}^{2}}+ 1}{2 \ {{e}^{x}}}$

(2)

Type: Expression(Integer)

fricas

fix == rule
  a/(?b*exp(x)) == a/b*exp(-x)

Type: Void

fricas

simplify fix realElementary sinh x

fricas

Compiling body of rule fix to compute value of type RewriteRule(
      Integer,Integer,Expression(Integer))

$\label{eq3}\frac{{{e}^{x}}-{{e}^{- x}}}{2}$

(3)

Type: Expression(Integer)

fricas

simplify fix realElementary cosh x

$\label{eq4}\frac{{{e}^{x}}+{{e}^{- x}}}{2}$

(4)

Type: Expression(Integer)