jonathanfishbein1 / linear-algebra / SymmetricMatrix

A module for Symmetric Matrix

Types


type SymmetricMatrix a
    = SymmetricMatrix (NormalMatrix a)

Symmetric Matrix type

Constructors

identity : Field a -> Basics.Int -> SymmetricMatrix a

Create Square Identity Matrix with n dimension

Matrix Predicates and Properties

dimension : SymmetricMatrix a -> Basics.Int

Dimension of the matrix

isSymmetric : NormalMatrix a -> Result String (NormalMatrix a)

Predicate to determine if Matrix is symmetric

Unitary Operations

scalarMultiplication : Field a -> a -> SymmetricMatrix a -> SymmetricMatrix a

Scalar multiplication over a Square Matrix

adjoint : SymmetricMatrix (ComplexNumbers.ComplexNumber number) -> SymmetricMatrix (ComplexNumbers.ComplexNumber number)

Perform the adjoint operation on a Complex Numbered Matrix

Binary Operations

multiplyIfCan : RowVector.InnerProductSpace a -> SymmetricMatrix a -> SymmetricMatrix a -> Result String (SymmetricMatrix a)

Square Matrix Square Matrix multiplication

multiplyMatrixVector : RowVector.InnerProductSpace a -> SymmetricMatrix a -> ColumnVector a -> Result String (ColumnVector a)

Multiply a ColumnVector by a Matrix

subtract : Field a -> SymmetricMatrix a -> SymmetricMatrix a -> SymmetricMatrix a

Subtract two Square Matrices

Manipulation

getAt : ( Basics.Int, Basics.Int ) -> SymmetricMatrix a -> Maybe a

Get the value in a matrix at the specified row and column

setAt : ( Basics.Int, Basics.Int ) -> a -> SymmetricMatrix a -> SymmetricMatrix a

Set the value in a Symmetric Matrix at the specified row and column