SimpleAlgebraicExtensionCategory

Next: UnivariatePolynomialMod Up: Commutative Algebra Previous: SimpleAlgebraicExtension Contents Index

SimpleAlgebraicExtensionCategory

$\begin{usage} SimpleAlgebraicExtensionCategory(R, Rx):Category \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{IntegralDomain}}{IntegralDomain} & T... ...0}}{UnivariatePolynomialCategory0} R & The type of the modulus\\\end{params}$

$\begin{descr} SimpleAlgebraicExtensionCategory(R, Rx) is the category of extens... ...uotient} for extensions where the modulus is known to be reducible. \end{descr}$

$\begin{remarks} It is possible to use this category with a reducible modulus, b... ...f{\texttt{ReducibleModulusException}}{ReducibleModulusException}. \end{remarks}$

Exports

IntegralDomain

UnivariatePolynomialQuotient(R, Rx)

if R has Field then
Field

if R has FiniteField then
FiniteField

Manuel Bronstein 2000-12-13