Synopsis

module block_householder: {
val qr [m] [n]: (block_size: i64) -> (A: [m][n]f64) -> ([m][m]f64, [m][n]f64)
}
val test_householder [m₁] [n₂] : (A: [m₁][n₂]f64) -> ([m₁][m₁]f64, [m₁][n₂]f64)
module gram_schmidt: {
val qr [m] [n]: (A: [m][n]f64) -> ([m][m]f64, [m][n]f64)
}
val test_gram_schmidt [m₀] [n₁] : (A: [m₀][n₁]f64) -> ([m₀][m₀]f64, [m₀][n₁]f64)

Description

↑module block_householder
↑val test_householder [m₁] [n₂]: (A: [m₁][n₂]f64) -> ([m₁][m₁]f64, [m₁][n₂]f64)
↑module gram_schmidt
↑val test_gram_schmidt [m₀] [n₁]: (A: [m₀][n₁]f64) -> ([m₀][m₀]f64, [m₀][n₁]f64)