AERN2.Linear.Matrix.Type

Documentation

data Matrix a

Constructors

Matrix

Fields

• width :: Integer
• entries :: Vector a

Instances

Functor Matrix

Defined in AERN2.Linear.Matrix.Type

Methods

fmap :: (a -> b) -> Matrix a -> Matrix b

(<$) :: a -> Matrix b -> Matrix a

Show a => Show (Matrix a)

Defined in AERN2.Linear.Matrix.Type

Methods

showsPrec :: Int -> Matrix a -> ShowS

show :: Matrix a -> String

showList :: [Matrix a] -> ShowS

(HasAccuracy a, HasPrecision a) => HasAccuracy (Matrix a)

Defined in AERN2.Linear.Matrix.Type

Methods

getAccuracy :: Matrix a -> Accuracy

getFiniteAccuracy :: Matrix a -> Accuracy

HasPrecision a => HasPrecision (Matrix a)

Defined in AERN2.Linear.Matrix.Type

Methods

getPrecision :: Matrix a -> Precision

CanTestErrorsPresent a => CanTestErrorsPresent (Matrix a)

Defined in AERN2.Linear.Matrix.Type

Methods

hasError :: Matrix a -> Bool

CanIntersectAsymmetric (Matrix (CN MPBall)) (Matrix (CN MPBall))

Defined in AERN2.Linear.Matrix.Type

Associated Types

type IntersectionType (Matrix (CN MPBall)) (Matrix (CN MPBall))

Methods

intersect :: Matrix (CN MPBall) -> Matrix (CN MPBall) -> IntersectionType (Matrix (CN MPBall)) (Matrix (CN MPBall))

(CanAddSameType a, CanMulSameType a, HasIntegers a) => CanMulAsymmetric (Matrix a) (Vector a)

Defined in AERN2.Linear.Matrix.Type

Associated Types

type MulType (Matrix a) (Vector a)

Methods

mul :: Matrix a -> Vector a -> MulType (Matrix a) (Vector a)

(CanAddSameType a, CanMulSameType a, HasIntegers a) => CanMulAsymmetric (Matrix a) (Matrix a)

Defined in AERN2.Linear.Matrix.Type

Associated Types

type MulType (Matrix a) (Matrix a)

Methods

mul :: Matrix a -> Matrix a -> MulType (Matrix a) (Matrix a)

CanAddSameType a => CanAddAsymmetric (Matrix a) (Matrix a)

Defined in AERN2.Linear.Matrix.Type

Associated Types

type AddType (Matrix a) (Matrix a)

Methods

add :: Matrix a -> Matrix a -> AddType (Matrix a) (Matrix a)

CanSubSameType a => CanSub (Matrix a) (Matrix a)

Defined in AERN2.Linear.Matrix.Type

Associated Types

type SubType (Matrix a) (Matrix a)

Methods

sub :: Matrix a -> Matrix a -> SubType (Matrix a) (Matrix a)

type IntersectionType (Matrix (CN MPBall)) (Matrix (CN MPBall))

Defined in AERN2.Linear.Matrix.Type

type IntersectionType (Matrix (CN MPBall)) (Matrix (CN MPBall)) = Matrix (CN MPBall)

type MulType (Matrix a) (Vector a)

Defined in AERN2.Linear.Matrix.Type

type MulType (Matrix a) (Vector a) = Vector a

type MulType (Matrix a) (Matrix a)

Defined in AERN2.Linear.Matrix.Type

type MulType (Matrix a) (Matrix a) = Matrix a

type AddType (Matrix a) (Matrix a)

Defined in AERN2.Linear.Matrix.Type

type AddType (Matrix a) (Matrix a) = Matrix a

type SubType (Matrix a) (Matrix a)

Defined in AERN2.Linear.Matrix.Type

type SubType (Matrix a) (Matrix a) = Matrix a

height :: Matrix a -> Integer

get :: Matrix a -> Integer -> Integer -> a

identity :: HasIntegers a => Integer -> Integer -> Matrix a

diag :: HasIntegers a => Integer -> Integer -> a -> Matrix a

rows :: Matrix a -> [Vector a]

columns :: Matrix a -> Vector (Vector a)

create :: Integer -> Integer -> (Integer -> Integer -> a) -> Matrix a

imap :: (Integer -> Integer -> a -> a) -> Matrix a -> Matrix a

inftyNorm :: (CanAddSameType a, CanSubSameType a, CanAbsSameType a, HasIntegers a, CanMinMaxSameType a) => Matrix a -> a