help links subscribe changes refresh edit

	FriCAS Problems
Nature of expressions ←	↑	→ Piecewise Functions

Pattern Matching

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

(1) -> 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