Documentation
CompPoly
.
LinearAlgebra
.
PolynomialMatrix
.
MuldersStorjohannCorrectness
Search
return to top
source
Imports
Init
CompPoly.LinearAlgebra.PolynomialMatrix.MuldersStorjohannCorrectness.Fast
Imported by
Correctness Contract for Mulders-Storjohann Reduction
#
Correctness theorems for the executable Mulders-Storjohann shifted row reducer.