exp-pairs-0.2.1.0: Linear programming over exponent pairs

Math.ExpPairs.ProcessMatrix

Description

Sequences of $$A$$- and $$B$$-processes of van der Corput's method of exponential sums. A good reference 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 Source #

Since $$B$$-process is involutive, a sequence of $$A$$- and $$B$$-processes can be rewritten as a sequence of A and BA.

Constructors

 A $$A$$-process BA $$BA$$-process
Instances
 Source # Instance detailsDefined in Math.ExpPairs.ProcessMatrix MethodsenumFrom :: Process -> [Process] #enumFromThen :: Process -> Process -> [Process] #enumFromTo :: Process -> Process -> [Process] #enumFromThenTo :: Process -> Process -> Process -> [Process] # Source # Instance detailsDefined in Math.ExpPairs.ProcessMatrix Methods(==) :: Process -> Process -> Bool #(/=) :: Process -> Process -> Bool # Source # Instance detailsDefined in Math.ExpPairs.ProcessMatrix Methods(<) :: Process -> Process -> Bool #(<=) :: Process -> Process -> Bool #(>) :: Process -> Process -> Bool #(>=) :: Process -> Process -> Bool # Source # Instance detailsDefined in Math.ExpPairs.ProcessMatrix Methods Source # Instance detailsDefined in Math.ExpPairs.ProcessMatrix MethodsshowList :: [Process] -> ShowS # Source # Instance detailsDefined in Math.ExpPairs.ProcessMatrix Associated Typestype Rep Process :: Type -> Type # Methodsto :: Rep Process x -> Process # Source # Instance detailsDefined in Math.ExpPairs.ProcessMatrix Methodspretty :: Process -> Doc ann #prettyList :: [Process] -> Doc ann # type Rep Process Source # Instance detailsDefined in Math.ExpPairs.ProcessMatrix type Rep Process = D1 (MetaData "Process" "Math.ExpPairs.ProcessMatrix" "exp-pairs-0.2.1.0-J4IGbuSTVwXCgBqjoU0P5n" False) (C1 (MetaCons "A" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BA" PrefixI False) (U1 :: Type -> Type))

Sequence of processes, represented as a matrix $$3 \times 3$$.

Instances
 Source # Instance detailsDefined in Math.ExpPairs.ProcessMatrix Methods Source # Instance detailsDefined in Math.ExpPairs.ProcessMatrix Methods Source # Instance detailsDefined in Math.ExpPairs.ProcessMatrix MethodsshowList :: [ProcessMatrix] -> ShowS # Source # Instance detailsDefined in Math.ExpPairs.ProcessMatrix Methodsstimes :: Integral b => b -> ProcessMatrix -> ProcessMatrix # Source # Instance detailsDefined in Math.ExpPairs.ProcessMatrix Methods Source # Instance detailsDefined in Math.ExpPairs.ProcessMatrix Methodspretty :: ProcessMatrix -> Doc ann #prettyList :: [ProcessMatrix] -> Doc ann #

Return process matrix for $$A$$-process.

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.