monicSparseLeftMultiple,sparseLeftMultiple

Next: rightDivide,rightQuotient,rightRemainder Up: UnivariateSkewPolynomialCategory Previous: monicRightDivide Contents Index

monicSparseLeftMultiple,sparseLeftMultiple

$\begin{usage} monicSparseLeftMultiple(p, n)\\ sparseLeftMultiple(p,n) \end{usage}$

Signature

monicSparseLeftMultiple,sparseLeftMultiple: (%, Integer) $\to$ %

$\begin{params} {\em p} & \% & A skew--polynomial\\ {\em n} & \htmlref{\texttt{Integer}}{Integer} & A positive integer\\\end{params}$

$\begin{retval} Returns a nonzero $q = \sum_{i=0}^m a_i x^i$of minimal degree such that $q(x^n) = a p$\ for some skew--polynomial $a$. \end{retval}$

$\begin{remarks} $p$\ must be monic in a call to monicSparseLeftMultiple. The fu... ...e is only provided when $R$\ has \htmlref{\texttt{Field}}{Field}. \end{remarks}$

Manuel Bronstein 2000-12-13