next up previous contents index
Next: UnivariateFreeAlgebra Up: UnivariateFactorialPolynomial Previous: UnivariateFactorialPolynomial   Contents   Index


coerce,expand


\begin{usage}
p::\%\\ coerce~p\\ expand~q
\end{usage}

\begin{signatures}
coerce: & Rx $\to$\ \%\\
expand: & \% $\to$\ Rx\\\end{signatures}

\begin{params}
{\em p} & Rx & A polynomial\\
{\em q} & \% & A factorial polynomial\\\end{params}

\begin{descr}
p::\% converts $p$\ from the power basis $(x^n)_{n \ge 0}$\ to
th...
...e n}})_{n \ge 0}$, while expand(q)
performs the reverse conversion.
\end{descr}


Manuel Bronstein 2000-12-13