Age | Commit message (Collapse) | Author |
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
methods to Domain
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
replaced by several overloaded app variants in the style of
the module Internal.Foreign contributed by Mike Ledger.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|