diophantine

Next: divide,quo,rem Up: EuclideanDomain Previous: EuclideanDomain Contents Index

diophantine

$\begin{usage} diophantine(a, b, m) \end{usage}$

Signature

diophantine: (%, %, %) $\to$ Partial %

$\begin{params} {\em a} & \% & An element of the ring\\ {\em b} & \% & The rig... ...and side of the equation\\ {\em m} & \% & The nonzero modulus\\\end{params}$

$\begin{retval} If the diophantine equation $a x \equiv b \pmod m$\ has solution... ...ert$. Returns {\it failed}\xspace if the equation has no solution. \end{retval}$

Manuel Bronstein 2000-12-13