UnivariatePolynomialCRTLinearAlgebra

Next: degreeBound Up: Linear Algebra Previous: TwoStepFractionFreeGaussElimination Contents Index

UnivariatePolynomialCRTLinearAlgebra

$\begin{usage} import from UnivariatePolynomialCRTLinearAlgebra(R, RX, M) \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{CommutativeRing}}{CommutativeRing} &... ...{MatrixCategory}}{MatrixCategory} RX & A matrix type over $RX$\\\end{params}$

$\begin{descr} UnivariatePolynomialCRTLinearAlgebra(F, FX, M) provides basic lin... ...hinese Remainder Theorem from $RX$\ to $R$\ for matrices over $RX$. \end{descr}$

Exports

degreeBound: M $\to$ Integer) Degree bound for the determinant

determinant: M $\to$ RX Determinant

(M, RX) $\to$ RX

(M, RX, Integer) $\to$ RX

Subsections

degreeBound
determinant

Manuel Bronstein 2000-12-13

`degreeBound`:	M $\to$ `Integer`)	Degree bound for the determinant
`determinant`:	M $\to$ RX	Determinant
	(M, RX) $\to$ RX
	(M, RX, `Integer`) $\to$ RX