next up previous contents index
Next: Solutions of Differential and Up: UnivariateSkewPolynomialCategoryTools Previous: rightExactQuotient   Contents   Index


times


\begin{usage}
times(p, q, $\sigma$, $\delta$)
\end{usage}


Signature


\begin{params}
{\em p} & C & A skew polynomial\\
{\em q} & C & A skew polynom...
...\
{\em$\delta$} & R $\to$\ R & The $\sigma$-derivation to use\\\end{params}

\begin{retval}
Returns the product $p q$\ as skew-polynomials.
\end{retval}



Manuel Bronstein 2000-12-13