UnivariatePolynomialQuotient

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

UnivariatePolynomialQuotient

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

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

$\begin{descr} UnivariatePolynomialQuotient(R, Rx) is the category of extensions... ...egory} for extensions where the modulus is known to be irreducible. \end{descr}$

Exports

Algebra R

CommutativeRing

compose: % $\to$ % $\to$ % Modular composition

definingPolynomial: $\to$ Rx Defining polynomial

lift: % $\to$ Rx Conversion to a polynomial

reduce: Rx $\to$ % Reduction of a polynomial

if R has FiniteCharacteristic then
FiniteCharacteristic

if R has FiniteSet then
FiniteSet

if R has RationalRootRing then
RationalRootRing

Subsections

compose
definingPolynomial
lift
reduce
value

Manuel Bronstein 2000-12-13

`Algebra` R
`CommutativeRing`
`compose`:	% $\to$ % $\to$ %	Modular composition
`definingPolynomial`:	$\to$ Rx	Defining polynomial
`lift`:	% $\to$ Rx	Conversion to a polynomial
`reduce`:	Rx $\to$ %	Reduction of a polynomial