leftExactQuotient

Next: rightExactQuotient Up: NonCommutativeIntegralDomain Previous: NonCommutativeIntegralDomain Contents Index

leftExactQuotient

$\begin{usage} leftExactQuotient(x, y) \end{usage}$

Signature

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

$\begin{params} {\em x} & \% & The numerator\\ {\em y} & \% & The denominator\\\end{params}$

$\begin{retval} Returns either $q$\ such that $x = y\, q$\ if such a $q$\ exists, {\it failed}\xspace otherwise. \end{retval}$

See Also

rightExactQuotient(NonCommutativeIntegralDomain)

Manuel Bronstein 2000-12-13