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

Edit detail for Pattern Matching revision 1 of 1

1
Editor: 127.0.0.1
Time: 2007/11/15 20:19:30 GMT-8
Note: transferred from axiom-developer

changed:
-
Say, I have
\begin{axiom}
test:=D(sin(z)^2, z)
\end{axiom}

What is the easiest way to see, if the output has sin(z) ?
\begin{axiom}
member?(sin(z),kernels(test))
\end{axiom}



Say, I have

fricas
test:=D(sin(z)^2, z)

\label{eq1}2 \ {\cos \left({z}\right)}\ {\sin \left({z}\right)}(1)
Type: Expression(Integer)

What is the easiest way to see, if the output has sin(z) ?

fricas
member?(sin(z),kernels(test))

\label{eq2} \mbox{\rm true} (2)
Type: Boolean