divSumProd

Next: exactQuotient Up: CommutativeRing Previous: divDiffProd Contents Index

divSumProd

$\begin{usage} divSumProd(a1, a2, b1, b2, c1, c2, q) \end{usage}$

Signature

divSumProd: (%, %, %, %, %, %, %) $\to$ %

$\begin{params} {\em a1, a2, b1, b2, c1, c2, q} & \% & Elements of the ring \end{params}$

$\begin{retval} divSumProd(a1, a2, b1, b2, c1, c2, q) returns $(a1\,a2 + b1\,b2 + c1\,c2)/q$.\end{retval}$

Manuel Bronstein 2000-12-13