solve(eqn,varlist) コマンドは、与えられた関数に  を代入して得られる方程式（= 0 としたもの）を解き、 を  の関数として求めようとします。成功すれば、元の方程式の解を媒介変数表示（つまり、）で与えます。

注意： このコマンドでは  の形式の解は求まりません。この方法では、非多項方程式の媒介変数表示解を求めることができる場合があります。多項方程式系の有理パラメータ化を見つける方法については algcurves[parametrization] をご覧ください。

solve( u^2+v^2-1, [u(s)=-1,v(s)=0] );

tacnode := 2*x^4-3*x^2*y+y^4-2*y^3+y^2;

tacsol := solve( tacnode, [x(t),y(t)] );

solve( x^x - y^y, [x(t),y(t)]);

Corless, Robert M. Essential Maple 7. Chap. 3. Springer-Verlag.

Hardy, G. H. Pure Mathematics. Cambridge University Press, 1952.