| Copyright | (c) Masahiro Sakai 2017 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | exprimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
ToySolver.SDP
Description
References:
- Convert Semidefinite program forms - Mathematics Stack Exchange https://math.stackexchange.com/questions/732658/convert-semidefinite-program-forms
Synopsis
- dualize :: Problem -> (Problem, DualizeInfo)
- data DualizeInfo = DualizeInfo Int [Int]
Documentation
dualize :: Problem -> (Problem, DualizeInfo) Source #
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 Source #
Constructors
| DualizeInfo Int [Int] |
Instances
| Eq DualizeInfo Source # | |
Defined in ToySolver.SDP | |
| Read DualizeInfo Source # | |
Defined in ToySolver.SDP Methods readsPrec :: Int -> ReadS DualizeInfo # readList :: ReadS [DualizeInfo] # readPrec :: ReadPrec DualizeInfo # readListPrec :: ReadPrec [DualizeInfo] # | |
| Show DualizeInfo Source # | |
Defined in ToySolver.SDP Methods showsPrec :: Int -> DualizeInfo -> ShowS # show :: DualizeInfo -> String # showList :: [DualizeInfo] -> ShowS # | |
| BackwardTransformer DualizeInfo Source # | |
Defined in ToySolver.SDP Methods transformBackward :: DualizeInfo -> Target DualizeInfo -> Source DualizeInfo Source # | |
| ForwardTransformer DualizeInfo Source # | |
Defined in ToySolver.SDP Methods transformForward :: DualizeInfo -> Source DualizeInfo -> Target DualizeInfo Source # | |
| Transformer DualizeInfo Source # | |
Defined in ToySolver.SDP | |
| type Source DualizeInfo Source # | |
Defined in ToySolver.SDP | |
| type Target DualizeInfo Source # | |
Defined in ToySolver.SDP | |