~/jendhub

def Mat.svd.fin

bend-blas-lapack@0.0.0.1 · mat.bend:279

import bend-blas-lapack@0.0.0.1/mat.bend as Mat
import Base

279def Mat.svd.fin(-m: Nat, -n: Nat, s: Array<F32>, uv: Array<F32> & Array<F32>) -> IO(Result<&1, &1, U32 & String, Vec<Nat.min(m, n)> & (Mat<m, Nat.min(m, n)> & Mat<Nat.min(m, n), n>)>):
280  match uv:
281    case (u, vt):
282      IO.pure(Result<&1, &1, U32 & String, Vec<Nat.min(m, n)> & (Mat<m, Nat.min(m, n)> & Mat<Nat.min(m, n), n>)>, Done{(VecA{s}, (MatA{u}, MatA{vt}))})

Uses (13)

Used by (1)