orderquo

Next: LinearArithmeticType Up: IntegralDomain Previous: order Contents Index

orderquo

$\begin{usage} orderquo~a\\ (n, c) := orderquo(a)(b); \end{usage}$

Signature

orderquo: % $\to$ % $\to$ (Integer, %)

$\begin{params} {\em a} & \% & A nonunit element of the domain\\ {\em b} & \% & A nonzero element of the domain\\\end{params}$

$\begin{retval} orderquo(a)(b) returns $(n, c)$\ such that $b = c a^n$\ and $a \... ...ert~~c$, while orderquo(a) returns the map $b \to$~orderquo(a)(b). \end{retval}$

$\begin{remarks} orderquo(a) makes some precalculations based on a, so if you ne... ..., it is more efficient to compute orderquo(a) once and assign it. \end{remarks}$

See Also

order

Manuel Bronstein 2000-12-13