# convert to ds(y,x,n), derivative holder;


tods(a_=b_):=tods(a)-tods(b)=0;
tods(a_ * b_):=tods(a) * tods(b);
tods(a_ + b_):=tods(a) + tods(b);

tods(integrate(y(x_),x_)):=integrates(y,x);
tods(integrate(y(x_),x_,n_)):=integrates(y,x,n);
tods(integrate(y(x_),x_,a_,b_)):=integrates(y,x,a,b);
tods(integrate(y(x_),x_,n_,a_,b_)):=integrates(y,x,n,a,b);

tods(d(y(x_),x_)):= ds(y,x);
tods(d(y(x_),x_,n_)):= ds(y,x,n);
tods(x(n_,t_)) := ds(x,t,n);
tods(y(n_,t_)) := ds(y,t,n);
tods(z(n_,t_)) := ds(z,t,n);

tods(y(x_)):=y;

tods(y'):=ds(y,x);
tods(y''):=ds(y,x,2);