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


tox(a_=b_):=tox(a)=tox(b);
tox(ds(x)):=x(1,t);
tox(ds(x,t_)) := x(1,t);
tox(ds(x,t_,n_)) := x(n,t);
tox(d(x(t_),t_)):=x(1,t);
tox(d(x(t_),t_,p_)):=x(p,t);
tox(integrate(y(x_),x_)):=x(-1,x);
tox(integrates(y,x_)):=x(-1,x);
tox(integrate((x_-t_)^n_*y(t_),t_,0,x_)):=y(n,x);
tox(integrates((x_-t_)^n_*y(t_),t_,0,x_)):=y(n,x);
tox(integrates((x_-t_)^n_*y,t_,0,x_)):=y(n,x);
tox(integrate(y(t_),t_,a_,x_)):=y(-1,x);
tox(integrates(y,t_,a_,x_)):=y(-1,x);