You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
And so I don't see how ols is supposed to typecheck:
ols::Matrixmn->Vectorn->Vector?
ols a b = solve r (transpose q {- :: Matrix n m -}`multiplyV` b) -- mismatch b should have type Vector mwhere (q,r) = qr a -- q :: Matrix m n, r :: Matrix n n
Is the comment for ols wrong? Should it read "/b/ has the same length as columnsrows in /A/"?
The text was updated successfully, but these errors were encountered:
I have been porting part of this library to Idris and so I have been looking at it
with more precise types in mind. Which leads me to:
solve :: Matrix m m -> Vector m -> Vector m
qr :: Matrix m n -> (Matrix m n, Matrix n n)
(Note the
r <- M.replicate n n 0
anda <- M.thaw mat
(akaq
))multiplyV :: Matrix m n -> Vector n -> Vector m
And so I don't see how
ols
is supposed to typecheck:Is the comment for
ols
wrong? Should it read "/b/ has the same length ascolumnsrows in /A/"?The text was updated successfully, but these errors were encountered: