| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | Safe-Inferred |
| 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
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.