multilinear-0.2.2.1: Comprehensive and efficient (multi)linear algebra implementation.

Copyright(c) Artur M. Brodzki 2018
LicenseBSD3
Maintainerartur@brodzki.org
Stabilityexperimental
PortabilityWindows/POSIX
Safe HaskellNone
LanguageHaskell2010

Multilinear.Form

Contents

Description

  • This module provides convenient constructors that generates a linear functionals
  • Finitely-dimensional functionals provide much greater performance that infinitely-dimensional
Synopsis

Generators

Finite functionals

fromIndices Source #

Arguments

:: Num a 
=> String

Index name (one character)

-> Int

Number of elements

-> (Int -> a)

Generator function - returns a linear functional component at index i

-> Tensor a

Generated linear functional

Generate linear functional as function of indices

const Source #

Arguments

:: Num a 
=> String

Index name (one character)

-> Int

Number of elements

-> a

Value of each element

-> Tensor a

Generated linear functional

Generate linear functional with all components equal to some v

randomDouble Source #

Arguments

:: ContGen d 
=> String

Index name (one character)

-> Int

Number of elements

-> d

Continuous probability distribution (as from Statistics.Distribution)

-> IO (Tensor Double)

Generated linear functional

Generate linear functional with random real components with given probability distribution. The functional is wrapped in the IO monad.

Available probability distributions:

randomDoubleSeed Source #

Arguments

:: (ContGen d, PrimMonad m) 
=> String

Index name (one character)

-> Int

Number of elements

-> d

Continuous probability distribution (as from Statistics.Distribution)

-> Int

Randomness seed

-> m (Tensor Double)

Generated linear functional

Generate linear functional with random real components with given probability distribution and given seed. The functional is wrapped in a monad.

Available probability distributions:

randomInt Source #

Arguments

:: DiscreteGen d 
=> String

Index name (one character)

-> Int

Number of elements

-> d

Discrete probability distribution (as from Statistics.Distribution)

-> IO (Tensor Int)

Generated linear functional

Generate linear functional with random integer components with given probability distribution. The functional is wrapped in the IO monad.

Available probability distributions:

randomIntSeed Source #

Arguments

:: (DiscreteGen d, PrimMonad m) 
=> String

Index name (one character)

-> Int

Number of elements

-> d

Discrete probability distribution (as from Statistics.Distribution)

-> Int

Randomness seed

-> m (Tensor Int)

Generated linear functional

Generate linear functional with random integer components with given probability distribution and given seed. The functional is wrapped in a monad.

Available probability distributions:

Infinite functionals

fromIndices' Source #

Arguments

:: Num a 
=> String

Index name (one character)

-> (Int -> a)

Generator function - returns a linear functional component at index i

-> Tensor a

Generated linear functional

Generate linear functional as function of indices

const' Source #

Arguments

:: Num a 
=> String

Index name (one character)

-> a

Value of each element

-> Tensor a

Generated linear functional

Generate linear functional with all components equal to some v