specialization

Next: SumitType Up: Specializable Previous: Specializable Contents Index

specialization

$\begin{usage} specialization~R \end{usage}$

Signature

specialization: (Image:CommutativeRing) $\to$ PartialFunction(%,Image)

$\begin{params} {\em R} & \htmlref{\texttt{CommutativeRing}}{CommutativeRing} & A ring\\ \end{params}$

$\begin{retval} Returns a partial map from \% into R. \end{retval}$

Manuel Bronstein 2000-12-13