var ('y,b,c')
y=-cos(x)
b=diff(y,x,2)-y
c=2*cos(x)
bool(b == c)

Kreyszig-2.8.10-U (last edited 2010-12-18 05:22:36 by YASHWANTH)