DESol は微分方程式の解を表現するデータ構造です。これは、 solve に対する RootOf のように、 dsolve に対応しています。

DESol データ構造は微分方程式を操作するのを容易にしてくれます。これによって、もっとも顕著なものを挙げただけでも diff, int, evalf, series, simplify などの Maple の他の操作の鍵となり得ます。

DESol は（ D を使う）演算子あるいは（ diff(...,x) を使う）式として使えます。以下は DESol によって実行されるいくつかの演算の実例です。

de1 := DESol( D(y)-y, y );

D(de1)-de1;

de2 := DESol( diff(y(x),x)-y(x), y(x) );

de1(x)-de2;

diff(de2,x)-de2;

unapply(de2,x)-de1;

alias( de3 = DESol( D(D(y))-a*x*D(y)+y, y )): D(x) := 1: D(a) := 0:
D(D(D(de3)));

collect( D(D(D(D(de3)))), D(de3), factor);

int( de3(x), x);

int( 1/ln(de3(x)),x );

alias( de5 = DESol( D(D(y))/D(y)=y ) ):
D(D(de5))/D(de5)-de5;

D(D(D(de5)));

D(x) := 'D(x)':
de6 := DESol( diff(x(t),t,t) = g/l*sin(x(t)), x(t), {x(0)=0, D(x)(0)=v0} );

de7 := int(de6,t);

diff(de7,t,t,t)-g/l*sin(diff(de7,t));

de8 := int(1/(de2+1),x);

normal( diff(de8,x)-1/(de2+1));

DESol( y(x)^2-y(x)+1, y(x) );

DESol( y(x)-x, y(x));

de9 := DESol( diff(y(x),x,x)*diff(y(x),x)-1, y(x) );

diff(de9,x);

de10 := unapply(de9,x);

D(de10);