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


toy(a_=b_):=toy(a)=toy(b);
toy(a_+b_):=toy(a)+toy(b);
toy(a_*b_):=toy(a)*toy(b);

toy(ds(y)):=y(1,x);
toy(ds(x,t_)):=x(1,t);
toy(ds(x,t_,n_)):= x(n,t);
toy(ds(y,t_)):=y(1,t);
toy(ds(y,t_,n_)):= y(n,t);
toy(ds(z,t_)):=z(1,t);
toy(ds(z,t_,n_)) := z(n,t);

toy(d(y(x_))):=y(1,x);
toy(d(y(x_),x_)):=y(1,x);
toy(d(y(x_),x_,p_)):=y(p,x);

toy(integrate(y(x_))):=y(-1,x);
toy(integrate(y(x_),x_)):=y(-1,x);
toy(integrate((x_-t_)^n_*y(t_),t_,a_,x_)):=y(n,x)+y(a);
toy(integrate(y(t_),t_,n_)):=y(-n,x);
toy(integrate(y(t_),t_,a_,x)):=y(-1,x)+y(a);

toy(integrates(y,x_)):=y(-1,x);
toy(integrates((x_-t_)^n_*y(t_),t_,0,x_)):=y(n,x);
toy(integrates((x_-t_)^n_*y,t_,0,x_)):=y(n,x);
toy(integrates(y,t_,n_)):=y(-n,x);
toy(integrates(y,t_,a_,x_)):=y(-1,x)-a;

toy(y'):=y(1,x);
toy(y''):=y(2,x);