Age | Commit message (Collapse) | Author |
|
tensor transpose
|
|
|
|
|
|
|
|
|
|
[Static] constrained meanCov to require at least one input vector, added matrix inverse to Domain
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
See #199 for details. The API exported by `Internal.Foreign` was
inherently unsafe.
|
|
|
|
|
|
|
|
on square matrices.
|
|
|
|
|
|
can be verified to be square and are therefore total, compared to the determinate function from the untyped packages.
|
|
|
|
|
|
API with sameNat
|
|
Noted that the numeric classes for Matrix and Vector which are defined elementwise are commonly referred to as the Hadamard (or Schur) product.
|
|
|
|
|
|
|
|
|
|
Conflicts:
packages/base/src/Internal/Matrix.hs
|
|
|
|
|
|
Use {-# LANGUAGE CPP #-} instead.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
instead of extract for mapX functions
|
|
columns and as inverses of toRows and toColumns
|
|
|
|
|
|
|
|
|
|
dependently typed vectors or matrices to be the same size when they were previously unknown at compile time
|
|
functions from neglect of extract
|
|
|
|
|