lift

Next: ordinaryPoint Up: UnivariatePolynomialCategory Previous: integrate Contents Index

lift

$\begin{usage} lift(D, x') \end{usage}$

Signature

lift: (Derivation R, %) $\to$ Derivation %

$\begin{params} {\em D} & \htmlref{\texttt{Derivation}}{Derivation} R & A derivation on R\\ {\em x'} & \% & The desired derivative of x\\\end{params}$

$\begin{retval} Returns the unique extension of the derivation $D$\ such that $D x = x'$. \end{retval}$

Manuel Bronstein 2000-12-13