UnivariateFreeFiniteAlgebra2

Next: map Up: Univariate Polynomials and Series Previous: times Contents Index

UnivariateFreeFiniteAlgebra2

$\begin{usage} import from UnivariateFreeFiniteAlgebra2(R,Rx,S,Sy) \end{usage}$

$\begin{params} {\em R, S} & \htmlref{\texttt{SumitType}}{SumitType} & Coeffici... ...nivariateFreeFiniteAlgebra} S & A free finite algebra over $R$\\\end{params}$

$\begin{descr} UnivariateFreeFiniteAlgebra2(R,Rx,S,Sy) provides tools for lifting maps $R \to S$\ to maps $Rx \to Sy$. \end{descr}$

Exports

map: (R $\to$ S) $\to$ Rx $\to$ Sy Lift a mapping

Subsections

Manuel Bronstein 2000-12-13