relativeSize

Next: Commutative Algebra Up: SumitType Previous: extree Contents Index

relativeSize

$\begin{usage} relativeSize~x \end{usage}$

Signature

relativeSize: % $\to$ MachineInteger

$\begin{params} {\em x} & \% & An element of the type\\ \end{params}$

$\begin{retval} Returns some measure of the complexity of x. \end{retval}$

$\begin{remarks} % latex2html id marker 19654This measure does not have to be ... ...ed for selection strategies, for example in Gaussian elimination. \end{remarks}$

Manuel Bronstein 2000-12-13