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

fromIndices :: (Num a, Unbox a, Multilinear t a) => String -> Int -> (Int -> a) -> t a
const :: (Num a, Unbox a, Multilinear t a) => String -> Int -> a -> t a

Generators

Arguments

:: (Num a, Unbox a, Multilinear t a)
=> String	Index name (one character)
-> Int	Number of elements
-> (Int -> a)	Generator function - returns a linear functional component at index `i`
-> t a	Generated linear functional

Generate linear functional as function of indices

Arguments

:: (Num a, Unbox a, Multilinear t a)
=> String	Index name (one character)
-> Int	Number of elements
-> a	Value of each element
-> t a	Generated linear functional

Generate linear functional with all components equal to some v