ToySolver.Text.SDPFile

References:

• 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 :: [Rational]

Constant Vector

matrices :: [Matrix]

Constraint Matrices

Instances

Eq Problem

Ord Problem

Show Problem

type Matrix = [Block]

type Block = Map (Int, Int) Rational

mDim :: Problem -> Int

the number of primal variables (mDim)

nBlock :: Problem -> Int

the number of blocks (nBLOCK)

blockElem :: Int -> Int -> Block -> Rational

Construction

type DenseMatrix = [DenseBlock]

type DenseBlock = [[Rational]]

denseMatrix :: DenseMatrix -> Matrix

denseBlock :: DenseBlock -> Block

diagBlock :: [Rational] -> Block

Rendering

render :: Problem -> ShowS

renderSparse :: Problem -> ShowS

Parsing

parseDataString :: SourceName -> String -> Either ParseError Problem

Parse a SDPA format (.dat) string.

parseDataFile :: FilePath -> IO (Either ParseError Problem)

Parse a SDPA format file (.dat).

parseSparseDataString :: SourceName -> String -> Either ParseError Problem

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

parseSparseDataFile :: FilePath -> IO (Either ParseError Problem)

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