ToySolver.Text.SDPFile

• SDPA (Semidefinite Programming Algorithm) User's Manual http://sdpa.indsys.chuo-u.ac.jp/~fujisawa/sdpa_doc.pdf
• http://euler.nmt.edu/~brian/sdplib/FORMAT

The problem type

data Problem

Constructors

Problem

Fields

• blockStruct :: [Int]

  the block strcuture vector (bLOCKsTRUCT)

• costs :: [Scientific]

  Constant Vector

• matrices :: [Matrix]

  Constraint Matrices

Instances

Eq Problem

Defined in ToySolver.Text.SDPFile

Methods

(==) :: Problem -> Problem -> Bool

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

Ord Problem

Defined in ToySolver.Text.SDPFile

Methods

compare :: Problem -> Problem -> Ordering

(<) :: Problem -> Problem -> Bool

(<=) :: Problem -> Problem -> Bool

(>) :: Problem -> Problem -> Bool

(>=) :: Problem -> Problem -> Bool

max :: Problem -> Problem -> Problem

min :: Problem -> Problem -> Problem

Show Problem

Defined in ToySolver.Text.SDPFile

Methods

showsPrec :: Int -> Problem -> ShowS

show :: Problem -> String

showList :: [Problem] -> ShowS

type Matrix = [Block]

type Block = Map (Int, Int) Scientific

mDim :: Problem -> Int

the number of primal variables (mDim)

nBlock :: Problem -> Int

the number of blocks (nBLOCK)

blockElem :: Int -> Int -> Block -> Scientific

The solution type

data Solution

Constructors

Solution

Fields

• primalVector :: [Scientific]

  The primal variable vector x

• primalMatrix :: Matrix

  The primal variable matrix X

• dualMatrix :: Matrix

  The dual variable matrix Y

Instances

Eq Solution

Defined in ToySolver.Text.SDPFile

Methods

(==) :: Solution -> Solution -> Bool

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

Ord Solution

Defined in ToySolver.Text.SDPFile

Methods

compare :: Solution -> Solution -> Ordering

(<) :: Solution -> Solution -> Bool

(<=) :: Solution -> Solution -> Bool

(>) :: Solution -> Solution -> Bool

(>=) :: Solution -> Solution -> Bool

max :: Solution -> Solution -> Solution

min :: Solution -> Solution -> Solution

Show Solution

Defined in ToySolver.Text.SDPFile

Methods

showsPrec :: Int -> Solution -> ShowS

show :: Solution -> String

showList :: [Solution] -> ShowS

evalPrimalObjective :: Problem -> Solution -> Scientific

evalDualObjective :: Problem -> Solution -> Scientific

File I/O

readDataFile :: FilePath -> IO Problem

Parse a SDPA format file (.dat) or a SDPA sparse format file (.dat-s)..

writeDataFile :: FilePath -> Problem -> IO ()

Construction

type DenseMatrix = [DenseBlock]

type DenseBlock = [[Scientific]]

denseMatrix :: DenseMatrix -> Matrix

denseBlock :: DenseBlock -> Block

diagBlock :: [Scientific] -> Block

Rendering

renderData :: Problem -> Builder

renderSparseData :: Problem -> Builder

Parsing

type ParseError = ParseErrorBundle ByteString Void

parseData :: String -> ByteString -> Either ParseError Problem

Parse a SDPA format (.dat) string.

parseSparseData :: String -> ByteString -> Either ParseError Problem

Parse a SDPA sparse format (.dat-s) string.