exp-pairs-0.1.5.2: Linear programming over exponent pairs

Copyright(c) Andrew Lelechenko 2014-2015
LicenseGPL-3
Maintainerandrew.lelechenko@gmail.com
Stabilityexperimental
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Math.ExpPairs.ProcessMatrix

Description

Provides types for sequences of A- and B-processes of van der Corput. A good account on this topic can be found in Graham S. W., Kolesnik G. A. Van Der Corput's Method of Exponential Sums, Cambridge University Press, 1991, especially Ch. 5.

Synopsis

Documentation

data Process #

Since B^2 = id, B Corput16 = Corput16, B Hux05 = Hux05 and B HuxW87b1 = ???, the sequence of A- and B-processes, applied to initPairs can be rewritten as a sequence of A and BA.

Constructors

A

A-process

BA

BA-process

Instances

Enum Process # 
Eq Process # 

Methods

(==) :: Process -> Process -> Bool #

(/=) :: Process -> Process -> Bool #

Ord Process # 
Read Process # 
Show Process # 
Generic Process # 

Associated Types

type Rep Process :: * -> * #

Methods

from :: Process -> Rep Process x #

to :: Rep Process x -> Process #

Pretty Process # 

Methods

pretty :: Process -> Doc #

prettyList :: [Process] -> Doc #

type Rep Process # 
type Rep Process = D1 (MetaData "Process" "Math.ExpPairs.ProcessMatrix" "exp-pairs-0.1.5.2-KDQQQzUDZKwLYnWmNWApiy" False) ((:+:) (C1 (MetaCons "A" PrefixI False) U1) (C1 (MetaCons "BA" PrefixI False) U1))

aMatrix :: ProcessMatrix #

Return process matrix for A-process.

baMatrix :: ProcessMatrix #

Return process matrix for BA-process.

evalMatrix :: Num t => ProcessMatrix -> (t, t, t) -> (t, t, t) #

Apply a projective transformation, defined by Path, to a given point in two-dimensional projective space.