help links subscribe changes refresh edit

	SandBox
SandBoxExpression ←	↑	→ SandBoxFORMAN

SandBoxExpressionExpression

Edit detail for SandBoxExpressionExpression revision 1 of 1

	1
Editor: Bill Page Time: 2015/04/21 22:31:44 GMT+0
Note:

changed:
-
\begin{axiom}
x:=coerce('x)$Expression(Expression Integer)
ground(x)
variables x
ex1:=sin(x)$Expression(Expression Integer)
kernels ex1
\end{axiom}

\begin{axiom}
differentiate(ex1,'x)
\end{axiom}

\begin{axiom}
numer ex1
\end{axiom}

\begin{axiom}
f:=operator 'f
f(x)
opdiff:=operator(operator('%diff)$CommonOperators)$Expression(Expression Integer)
%x:=coerce('%x)$Expression(Expression Integer)
l1:=concat(concat([f(%x)],[%x]),[x])
\end{axiom}

\begin{axiom}
kernel(opdiff,l1,3)$Kernel(Expression(Expression Integer))
ex2:=coerce(%)$Expression(Expression Integer)
\end{axiom}

\begin{axiom}
kernels ex1
kernels ex2
variables ex2
\end{axiom}

\begin{axiom}
differentiate(f(x),'x)
kernels %
\end{axiom}

fricas

(1) -> x:=coerce('x)$Expression(Expression Integer)

$\label{eq1}x$

(1)

Type: Expression(Expression(Integer))

fricas

ground(x)

$\label{eq2}x$

(2)

Type: Expression(Integer)

fricas

variables x

$\label{eq3}\left[ \right]$

(3)

Type: List(Symbol)

fricas

ex1:=sin(x)$Expression(Expression Integer)

$\label{eq4}\sin \left({x}\right)$

(4)

Type: Expression(Expression(Integer))

fricas

kernels ex1

$\label{eq5}\left[ \right]$

(5)

Type: List(Kernel(Expression(Expression(Integer))))

fricas

differentiate(ex1,'x)

$\label{eq6}0$

(6)

Type: Expression(Expression(Integer))

fricas

numer ex1

$\label{eq7}\sin \left({x}\right)$

(7)

Type: SparseMultivariatePolynomial?(Expression(Integer),Kernel(Expression(Expression(Integer))))

fricas

f:=operator 'f

$\label{eq8}f$

(8)

Type: BasicOperator?

fricas

f(x)

$\label{eq9}f \left({x}\right)$

(9)

Type: Expression(Expression(Integer))

fricas

opdiff:=operator(operator('%diff)$CommonOperators)$Expression(Expression Integer)

$\label{eq10}\%diff$

(10)

Type: BasicOperator?

fricas

%x:=coerce('%x)$Expression(Expression Integer)

$\label{eq11}\%x$

(11)

Type: Expression(Expression(Integer))

fricas

l1:=concat(concat([f(%x)],[%x]),[x])

$\label{eq12}\left[{f \left({\%x}\right)}, \: \%x , \: x \right]$

(12)

Type: List(Expression(Expression(Integer)))

fricas

kernel(opdiff,l1,3)$Kernel(Expression(Expression Integer))

$\label{eq13}{f^{\prime}}\left({x}\right)$

(13)

Type: Kernel(Expression(Expression(Integer)))

fricas

ex2:=coerce(%)$Expression(Expression Integer)

$\label{eq14}{f^{\prime}}\left({x}\right)$

(14)

Type: Expression(Expression(Integer))

fricas

kernels ex1

$\label{eq15}\left[ \right]$

(15)

Type: List(Kernel(Expression(Expression(Integer))))

fricas

kernels ex2

$\label{eq16}\left[{{f^{\prime}}\left({x}\right)}\right]$

(16)

Type: List(Kernel(Expression(Expression(Integer))))

fricas

variables ex2

   >> Error detected within library code:
   not a kernel

fricas

differentiate(f(x),'x)

$\label{eq17}0$

(17)

Type: Expression(Expression(Integer))

fricas

kernels %

$\label{eq18}\left[ \right]$

(18)

Type: List(Kernel(Expression(Expression(Integer))))