Linear algebra

Files in the linear algebra folder

module linear-algebra where

open import linear-algebra.constant-matrices public
open import linear-algebra.constant-vectors public
open import linear-algebra.diagonal-matrices-on-rings public
open import linear-algebra.functoriality-matrices public
open import linear-algebra.functoriality-vectors public
open import linear-algebra.matrices public
open import linear-algebra.matrices-on-rings public
open import linear-algebra.multiplication-matrices public
open import linear-algebra.scalar-multiplication-matrices public
open import linear-algebra.scalar-multiplication-vectors public
open import linear-algebra.scalar-multiplication-vectors-on-rings public
open import linear-algebra.transposition-matrices public
open import linear-algebra.vectors public
open import linear-algebra.vectors-on-commutative-rings public
open import linear-algebra.vectors-on-commutative-semirings public
open import linear-algebra.vectors-on-euclidean-domains public
open import linear-algebra.vectors-on-rings public
open import linear-algebra.vectors-on-semirings public