The MOSEK Python optimizer API manual Version 7.0 (Revision 141)
Optimizer API for Python - Documentation - Mosek Optimizer API for Python - Documentation - Mosek
242 APPENDIX A. API REFERENCE Description: Let (s x n) ∗ be the value of variable (s x n) for the specified solution. For simplicity let us assume that s x n is a member of quadratic cone, then the violation is computed as follows { max(0, ‖(s x n ) 2;n ‖ ∗ − (s x n) ∗ 1)/ √ 2, (s x n) ∗ ≥ − ‖(s x n) ∗ 2:n‖ , ‖(s x n) ∗ ‖ , otherwise. Both when the solution is a certificate of primal infeasibility or when it is a dual feasibible solution the violation should be small. A.2.70 Task.getdviolvar() Task.getdviolvar( whichsol, sub, viol) Computes the violation of a dual solution associated with a set of x variables. Arguments sub : int[] An array of indexes of x variables. viol : double[] viol[k] is the maximal violation of the solution for the constraints (s x l ) sub[k] (s x u) sub[k] ≥ 0. whichsol : soltype Selects a solution. ≥ 0 and Description: The violation fo dual solution associated with the j’th variable is computed as follows where max(ρ((s x l ) ∗ i , (b x l ) i ), ρ((s x u) ∗ i , −(b x u) i ), | ∑ j = 0 numcon−1 a ij y i + (s x l ) ∗ i − (s x u) ∗ i − τc j |) { − x, l > −∞, ρ(x, l) = |x|, otherwise τ = 0 if the the solution is certificate of dual infeasibility and τ = 1 otherwise. The formula for computing the violation is only shown for linear case but is generalized approriately for the more general problems.
A.2. CLASS TASK 243 A.2.71 Task.getinfeasiblesubproblem() inftask = Task.getinfeasiblesubproblem(whichsol) Obtains an infeasible sub problem. Arguments inftask : Task A new task containing the infeasible subproblem. whichsol : soltype Which solution to use when determining the infeasible subproblem. Description: See also Given the solution is a certificate of primal or dual infeasibility then a primal or dual infeasible subproblem is obtained respectively. The subproblem tend to be much smaller than the original problem and hence it easier to locate the infeasibility inspecting the subproblem than the original problem. For the procedure to be useful then it is important to assigning meaningful names to constraints, variables etc. in the original task because those names will be duplicated in the subproblem. The function is only applicable to linear and conic quadrtic optimization problems. For more information see Section 13.2. • iparam.infeas prefer primal Controls which certificate is used if both primal- and dualcertificate of infeasibility is available. • Task.relaxprimal Deprecated. A.2.72 Task.getinti() Task.getinti( whichsol, sub, inti) Deprecated. Arguments inti : double[] inti[i] contains integer infeasibility of variable sub[i].
- Page 213 and 214: 15.4. SENSITIVITY ANALYSIS FOR LINE
- Page 215 and 216: 15.5. SENSITIVITY ANALYSIS FROM THE
- Page 217 and 218: 15.6. SENSITIVITY ANALYSIS WITH THE
- Page 219 and 220: 15.6. SENSITIVITY ANALYSIS WITH THE
- Page 221 and 222: Appendix A API reference This chapt
- Page 223 and 224: 201 • Task.relaxprimal Obtain inf
- Page 225 and 226: A.1. EXCEPTIONS 203 • Task.putvar
- Page 227 and 228: A.2. CLASS TASK 205 Arguments which
- Page 229 and 230: A.2. CLASS TASK 207 See also • Ro
- Page 231 and 232: A.2. CLASS TASK 209 Description: Ap
- Page 233 and 234: A.2. CLASS TASK 211 Description: If
- Page 235 and 236: A.2. CLASS TASK 213 A.2.16 Task.com
- Page 237 and 238: A.2. CLASS TASK 215 subj : int[] In
- Page 239 and 240: A.2. CLASS TASK 217 firsti : int In
- Page 241 and 242: A.2. CLASS TASK 219 A.2.27 Task.get
- Page 243 and 244: A.2. CLASS TASK 221 valijkl : Descr
- Page 245 and 246: A.2. CLASS TASK 223 A.2.33 Task.get
- Page 247 and 248: A.2. CLASS TASK 225 idx : long Inde
- Page 249 and 250: A.2. CLASS TASK 227 A.2.41 Task.get
- Page 251 and 252: A.2. CLASS TASK 229 i : int Index o
- Page 253 and 254: A.2. CLASS TASK 231 A.2.49 Task.get
- Page 255 and 256: A.2. CLASS TASK 233 conetype : cone
- Page 257 and 258: A.2. CLASS TASK 235 Description: Ob
- Page 259 and 260: A.2. CLASS TASK 237 sub : int[] Ind
- Page 261 and 262: A.2. CLASS TASK 239 A.2.64 Task.get
- Page 263: A.2. CLASS TASK 241 Computes the vi
- Page 267 and 268: A.2. CLASS TASK 245 A.2.75 Task.get
- Page 269 and 270: A.2. CLASS TASK 247 A.2.80 Task.get
- Page 271 and 272: A.2. CLASS TASK 249 A.2.86 Task.get
- Page 273 and 274: A.2. CLASS TASK 251 A.2.92 Task.get
- Page 275 and 276: A.2. CLASS TASK 253 k : int Index o
- Page 277 and 278: A.2. CLASS TASK 255 A.2.103 Task.ge
- Page 279 and 280: A.2. CLASS TASK 257 normalize : int
- Page 281 and 282: A.2. CLASS TASK 259 Description: Le
- Page 283 and 284: A.2. CLASS TASK 261 max(l x j τ
- Page 285 and 286: A.2. CLASS TASK 263 A.2.117 Task.ge
- Page 287 and 288: A.2. CLASS TASK 265 last : int Last
- Page 289 and 290: A.2. CLASS TASK 267 A.2.124 Task.ge
- Page 291 and 292: A.2. CLASS TASK 269 Arguments snx :
- Page 293 and 294: A.2. CLASS TASK 271 slc : double[]
- Page 295 and 296: A.2. CLASS TASK 273 Arguments accmo
- Page 297 and 298: A.2. CLASS TASK 275 A.2.133 Task.ge
- Page 299 and 300: A.2. CLASS TASK 277 last : int Valu
- Page 301 and 302: A.2. CLASS TASK 279 subi : int[] Ro
- Page 303 and 304: A.2. CLASS TASK 281 Description: Ob
- Page 305 and 306: A.2. CLASS TASK 283 Arguments taskn
- Page 307 and 308: A.2. CLASS TASK 285 A.2.148 Task.ge
- Page 309 and 310: A.2. CLASS TASK 287 vartype : varia
- Page 311 and 312: A.2. CLASS TASK 289 whichsol : solt
- Page 313 and 314: A.2. CLASS TASK 291 Description: Ob
A.2. CLASS TASK 243<br />
A.2.71<br />
Task.getinfeasiblesubproblem()<br />
inftask = Task.getinfeasiblesubproblem(whichsol)<br />
Obtains an infeasible sub problem.<br />
Arguments<br />
inftask : Task<br />
A new task containing the infeasible subproblem.<br />
whichsol : soltype<br />
Which solution to use when determining the infeasible subproblem.<br />
Description:<br />
See also<br />
Given the solution is a certificate of primal or dual infeasibility then a primal or dual infeasible<br />
subproblem is obtained respectively. <strong>The</strong> subproblem tend to be much smaller than the original<br />
problem and hence it easier to locate the infeasibility inspecting the subproblem than the original<br />
problem.<br />
For the procedure to be useful then it is important to assigning meaningful names to constraints,<br />
variables etc. in the original task because those names will be duplicated in the subproblem.<br />
<strong>The</strong> function is only applicable to linear and conic quadrtic optimization problems.<br />
For more information see Section 13.2.<br />
• iparam.infeas prefer primal Controls which certificate is used if both primal- and dualcertificate<br />
of infeasibility is available.<br />
• Task.relaxprimal Deprecated.<br />
A.2.72<br />
Task.getinti()<br />
Task.getinti(<br />
whichsol,<br />
sub,<br />
inti)<br />
Deprecated.<br />
Arguments<br />
inti : double[]<br />
inti[i] contains integer infeasibility of variable sub[i].