Math.ExpPairs.ProcessMatrix

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.

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

Ord Process

Read Process

Show Process

Generic Process

Memoizable Process

Pretty Process

type Rep Process

data ProcessMatrix

Instances

Eq ProcessMatrix

Num ProcessMatrix

Show ProcessMatrix

Monoid ProcessMatrix

Pretty ProcessMatrix

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.