ToySolver.SDP

References:

• Convert Semidefinite program forms - Mathematics Stack Exchange https://math.stackexchange.com/questions/732658/convert-semidefinite-program-forms

Documentation

dualize :: Problem -> (Problem, DualizeInfo)

Given a primal-dual pair (P), (D), it returns another primal-dual pair (P'), (D') such that (P) is equivalent to (D') and (D) is equivalent to (P').

data DualizeInfo

Constructors

DualizeInfo Int [Int]

Instances

Eq DualizeInfo

Defined in ToySolver.SDP

Methods

(==) :: DualizeInfo -> DualizeInfo -> Bool

(/=) :: DualizeInfo -> DualizeInfo -> Bool

Read DualizeInfo

Defined in ToySolver.SDP

Methods

readsPrec :: Int -> ReadS DualizeInfo

readList :: ReadS [DualizeInfo]

readPrec :: ReadPrec DualizeInfo

readListPrec :: ReadPrec [DualizeInfo]

Show DualizeInfo

Defined in ToySolver.SDP

Methods

showsPrec :: Int -> DualizeInfo -> ShowS

show :: DualizeInfo -> String

showList :: [DualizeInfo] -> ShowS

BackwardTransformer DualizeInfo

Defined in ToySolver.SDP

Methods

transformBackward :: DualizeInfo -> Target DualizeInfo -> Source DualizeInfo

ForwardTransformer DualizeInfo

Defined in ToySolver.SDP

Methods

transformForward :: DualizeInfo -> Source DualizeInfo -> Target DualizeInfo

Transformer DualizeInfo

Defined in ToySolver.SDP

Associated Types

type Source DualizeInfo :: Type

type Target DualizeInfo :: Type

type Source DualizeInfo

Defined in ToySolver.SDP

type Source DualizeInfo = Solution

type Target DualizeInfo

Defined in ToySolver.SDP

type Target DualizeInfo = Solution