Data.Boltzmann.System.Tuner

General utilities managing the IO interface between Boltzmann Brain and the Paganini tuner script.

Documentation

data PSolver

Paganini convex program solvers.

Constructors

SCS

ECOS

CVXOPT

Instances

Show PSolver

Methods

showsPrec :: Int -> PSolver -> ShowS

show :: PSolver -> String

showList :: [PSolver] -> ShowS

data PArg

Paganini arguments.

Constructors

PArg

Fields

• solver :: PSolver
• precision :: Double
• maxiters :: Int
• sysType :: SystemType

Instances

Show PArg

Methods

showsPrec :: Int -> PArg -> ShowS

show :: PArg -> String

showList :: [PArg] -> ShowS

defaultArgs :: System a -> PArg

Determines default Paganini arguments. Note: It is assumed that the given system is either rational or algebraic. Otherwise, and error is raised.

writeSpecification :: System Int -> Handle -> IO ()

Writes the system specification into the given file handle. In paricular, to Paganini's standard input handle.

readPaganini :: System Int -> Parametrisation -> String -> IO (Either (ParseError Char Dec) (PSystem Double))

Parses the given input string as a Paganini tuning vector.

runPaganini :: System Int -> Parametrisation -> Maybe PArg -> IO (Either (ParseError Char Dec) (PSystem Double))

Communicates with Paganini and collects the respective tuning vector for the given system. If communication is not possible, for instance due to the missing Paganini script, the current process is terminated with an error message on the standard error output.

data Parametrisation

Parametrisation type.

Constructors

Cummulative

Cummulative branching probabilities.

Regular

Independent probability masses.