map

Next: UnivariateFreeFiniteAlgebraOverFraction Up: UnivariateFreeFiniteAlgebra2 Previous: UnivariateFreeFiniteAlgebra2 Contents Index

map

$\begin{usage} map~f\\ map(f)(p) \end{usage}$

Signature

map: (R $\to$ S) $\to$ Rx $\to$ Sy

$\begin{params} {\em f} & R $\to$\ S & A map\\ {\em p} & \% & A polynomial with coefficient in $R$\\\end{params}$

$\begin{descr} map(f)(p) returns \begin{displaymath} f(p) = \sum_i f(a_i) y^i \e... ...p = \sum_i a_i x^i$, while map(f) returns the mapping $p \to f(p)$. \end{descr}$

Manuel Bronstein 2000-12-13