| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | None |
| Language | Haskell2010 |
OAlg.Entity.Matrix.Proposition
Contents
Description
propositions on matrices.
Synopsis
- prpMatrix :: Distributive x => XOrtOrientation (Matrix x) -> XOrtSite 'From (Matrix x) -> XOrtSite 'To (Matrix x) -> Statement
- prpMatrixZ :: Statement
- prpHomCoMatrixOp :: Statement
Proposition
prpMatrix :: Distributive x => XOrtOrientation (Matrix x) -> XOrtSite 'From (Matrix x) -> XOrtSite 'To (Matrix x) -> Statement Source #
validity of the algebraic structure of matrices.
prpMatrixZ :: Statement Source #
validity of the algebraic structure of block matrices of Z.
prpHomCoMatrixOp :: Statement Source #
validity of HomCo.