UnivariatePolynomialPopovLinearAlgebra

Next: hermite Up: Linear Algebra Previous: determinant Contents Index

UnivariatePolynomialPopovLinearAlgebra

$\begin{usage} import from UnivariatePolynomialPopovLinearAlgebra(F, FX, M) \end{usage}$

$\begin{params} {\em F} & \htmlref{\texttt{Field}}{Field} & The coefficient fie... ...{MatrixCategory}}{MatrixCategory} FX & A matrix type over $FX$\\\end{params}$

$\begin{descr} UnivariatePolynomialPopovLinearAlgebra(F, FX, M) provides basic l... ...ebra functionalities using weak Popov forms for matrices over $FX$. \end{descr}$

Exports

determinant: M $\to$ FX Determinant

hermite: M $\to$ M Hermite form

kernel: M $\to$ M Kernel

maxInvertibleSubmatrix: M $\to$ (AZ, AZ) Maximal minor

rank: M $\to$ MachineInteger Rank

span: M $\to$ AZ Span

where
AZ == Array MachineInteger

Subsections

hermite

Manuel Bronstein 2000-12-13

`determinant`:	M $\to$ FX	Determinant
`hermite`:	M $\to$ M	Hermite form
`kernel`:	M $\to$ M	Kernel
`maxInvertibleSubmatrix`:	M $\to$ (AZ, AZ)	Maximal minor
`rank`:	M $\to$ `MachineInteger`	Rank
`span`:	M $\to$ AZ	Span