login  home  contents  what's new  discussion  bug reports help  links  subscribe  changes  refresh  edit

# 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 x:=coerce('x)$Expression(Expression Integer)
 (1)
Type: Expression(Expression(Integer))
fricas
ground(x)
 (2)
Type: Expression(Integer)
fricas
variables x
 (3)
Type: List(Symbol)
fricas
ex1:=sin(x)$Expression(Expression Integer)  (4) Type: Expression(Expression(Integer)) fricas kernels ex1  (5) Type: List(Kernel(Expression(Expression(Integer)))) fricas differentiate(ex1,'x)  (6) Type: Expression(Expression(Integer)) fricas numer ex1  (7) Type: SparseMultivariatePolynomial?(Expression(Integer),Kernel(Expression(Expression(Integer)))) fricas f:=operator 'f  (8) Type: BasicOperator? fricas f(x)  (9) Type: Expression(Expression(Integer)) fricas opdiff:=operator(operator('%diff)$CommonOperators)$Expression(Expression Integer)  (10) Type: BasicOperator? fricas %x:=coerce('%x)$Expression(Expression Integer)
 (11)
Type: Expression(Expression(Integer))
fricas
l1:=concat(concat([f(%x)],[%x]),[x])
 (12)
Type: List(Expression(Expression(Integer)))

fricas
kernel(opdiff,l1,3)$Kernel(Expression(Expression Integer))  (13) Type: Kernel(Expression(Expression(Integer))) fricas ex2:=coerce(%)$Expression(Expression Integer)
 (14)
Type: Expression(Expression(Integer))

fricas
kernels ex1
 (15)
Type: List(Kernel(Expression(Expression(Integer))))
fricas
kernels ex2
 (16)
Type: List(Kernel(Expression(Expression(Integer))))
fricas
variables ex2
>> Error detected within library code:
not a kernel

fricas
differentiate(f(x),'x)
 (17)
Type: Expression(Expression(Integer))
fricas
kernels %
 (18)
Type: List(Kernel(Expression(Expression(Integer))))