Math.ExpPairs

Documentation

optimize :: [RationalForm Rational] -> [Constraint Rational] -> OptimizeResult

data LinearForm t

Constructors

LinearForm t t t

Instances

Eq t => Eq (LinearForm t)

Num t => Num (LinearForm t)

(Num t, Eq t, Show t) => Show (LinearForm t)

Num t => Monoid (LinearForm t)

data RationalForm t

Constructors

RationalForm (LinearForm t) (LinearForm t)

Instances

Num t => Fractional (RationalForm t)

Num t => Num (RationalForm t)

(Eq t, Num t, Show t) => Show (RationalForm t)

data IneqType

Constructors

Strict

NonStrict

Instances

Eq IneqType

Show IneqType

data Constraint t

Constructors

Constraint (LinearForm t) IneqType

Instances

(Eq t, Num t, Show t) => Show (Constraint t)

type InitPair = InitPair' Rational

data Path

Instances

Eq Path

Ord Path

Read Path

Show Path

Monoid Path

simulateOptimize :: Rational -> OptimizeResult

simulateOptimize' :: RationalInf -> OptimizeResult

data RatioInf t

Extends a rational type with positive and negative infinities.

Constructors

InfMinus

Finite (Ratio t)

InfPlus

Instances

Eq t => Eq (RatioInf t)

Integral t => Fractional (RatioInf t)

Integral t => Num (RatioInf t)

Integral t => Ord (RatioInf t)

Integral t => Real (RatioInf t)

(Integral t, Show t) => Show (RatioInf t)

type RationalInf = RatioInf Integer

Arbitrary-precision rational numbers with positive and negative infinities

data OptimizeResult

Instances

Eq OptimizeResult

Ord OptimizeResult

Show OptimizeResult

optimalValue :: OptimizeResult -> RationalInf

optimalPair :: OptimizeResult -> InitPair

optimalPath :: OptimizeResult -> Path