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.
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 # | |
Holds a list of Process
and a matrix of projective
transformation, which they define.
Path !ProcessMatrix ![Process] |
Instances
Eq Path Source # | |
Ord Path Source # | |
Read Path Source # | |
Show Path Source # | |
Generic Path Source # | |
Semigroup Path Source # | |
Monoid Path Source # | |
Pretty Path Source # | |
Defined in Math.ExpPairs.Process | |
type Rep Path Source # | |
Defined in Math.ExpPairs.Process type Rep Path = D1 (MetaData "Path" "Math.ExpPairs.Process" "exp-pairs-0.2.0.0-KHgC3bMWFtS3BpPTx68RIa" False) (C1 (MetaCons "Path" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ProcessMatrix) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [Process]))) |