Copyright | (c) Andrew Lelechenko 2014-2015 |
---|---|
License | GPL-3 |
Maintainer | andrew.lelechenko@gmail.com |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
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
- data Process
- data ProcessMatrix
- aMatrix :: ProcessMatrix
- baMatrix :: ProcessMatrix
- evalMatrix :: Num t => ProcessMatrix -> (t, t, t) -> (t, t, t)
Documentation
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
.
Instances
Enum Process Source # | |
Eq Process Source # | |
Ord Process Source # | |
Defined in Math.ExpPairs.ProcessMatrix | |
Read Process Source # | |
Show Process Source # | |
Generic Process Source # | |
Pretty Process Source # | |
Defined in Math.ExpPairs.ProcessMatrix | |
type Rep Process Source # | |
data ProcessMatrix Source #
Sequence of processes, represented as a matrix 3x3.
Instances
aMatrix :: ProcessMatrix Source #
Return process matrix for A
-process.
baMatrix :: ProcessMatrix Source #
Return process matrix for BA
-process.
evalMatrix :: Num t => ProcessMatrix -> (t, t, t) -> (t, t, t) Source #
Apply a projective transformation, defined by Path
,
to a given point in two-dimensional projective space.