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

Copyright (c) Artur M. Brodzki 2018 BSD3 artur@brodzki.org experimental Windows/POSIX None Haskell2010

Multilinear.Form

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

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

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

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:

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:

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:

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

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

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