~/jendhub

def Vec.nrm2

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

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

205def Vec.nrm2(+n: Nat, x: Vec<n>) -> IO(Result<&1, &1, U32 & String, F32>):
206  VecA{xs} = x
207  B.Blas.snrm2(U32.from_nat(n), xs)

Uses (10)

Used by (1)