Copyright | (c) Masahiro Sakai 2017 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | exprimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Extensions |
|
- 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 #
Instances
Eq DualizeInfo Source # | |
Defined in ToySolver.SDP (==) :: DualizeInfo -> DualizeInfo -> Bool # (/=) :: DualizeInfo -> DualizeInfo -> Bool # | |
Read DualizeInfo Source # | |
Defined in ToySolver.SDP readsPrec :: Int -> ReadS DualizeInfo # readList :: ReadS [DualizeInfo] # readPrec :: ReadPrec DualizeInfo # readListPrec :: ReadPrec [DualizeInfo] # | |
Show DualizeInfo Source # | |
Defined in ToySolver.SDP showsPrec :: Int -> DualizeInfo -> ShowS # show :: DualizeInfo -> String # showList :: [DualizeInfo] -> ShowS # | |
BackwardTransformer DualizeInfo Source # | |
Defined in ToySolver.SDP | |
ForwardTransformer DualizeInfo Source # | |
Defined in ToySolver.SDP | |
Transformer DualizeInfo Source # | |
Defined in ToySolver.SDP type Source DualizeInfo Source # type Target DualizeInfo Source # | |
type Source DualizeInfo Source # | |
Defined in ToySolver.SDP | |
type Target DualizeInfo Source # | |
Defined in ToySolver.SDP |