rightExactQuotient

Next: Parsable Up: NonCommutativeIntegralDomain Previous: leftExactQuotient Contents Index

rightExactQuotient

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

Signature

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

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

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

See Also

leftExactQuotient(NonCommutativeIntegralDomain)

Manuel Bronstein 2000-12-13