XA - Introduction: Difference between revisions
(Move XA Solver Reference to its own page) |
(Manual cleanup) |
||
| Line 1: | Line 1: | ||
Welcome to the <span class="roman">TOMLAB /XA</span> User's Guide. <span class="roman">TOMLAB /XA</span> includes the XA solver suite from Sunset Software Technology and an interface to The MathWorks' MATLAB. | Welcome to the <span class="roman">TOMLAB /XA</span> User's Guide. <span class="roman">TOMLAB /XA</span> includes the XA solver suite from Sunset Software Technology and an interface to The MathWorks' MATLAB. | ||
| Line 32: | Line 28: | ||
{| | {| | ||
| colspan=" | | colspan="2" | | ||
Table 1: The interface routines. | Table 1: The interface routines. | ||
|- | |- | ||
| | '''Function''' | | | '''Function''' | ||
| | '''Description''' | | | '''Description''' | ||
|- | |- | ||
| | ''xa'' | | | ''xa'' | ||
| | The interface routine calls the XA library. | | | The interface routine calls the XA library. | ||
|- | |- | ||
| | ''xaTL'' | | | ''xaTL'' | ||
| | The interface routine called by the <span class="roman">TOMLAB</span> driver routine tomRun or by a direct call. This routine then calls the interface routine xa, which calls the library file Xav14 | | | The interface routine called by the <span class="roman">TOMLAB</span> driver routine tomRun or by a direct call. This routine then calls the interface routine xa, which calls the library file Xav14 | ||
|- | |- | ||
|} | |} | ||
| Line 100: | Line 67: | ||
A complete description of the available XA parameters can be found in Section . | A complete description of the available XA parameters can be found in Section . | ||
=== | ===Irreducible Infeasible Sets=== | ||
Irreducible Infeasible Sets (IIS) can be found with TOMLAB /XA. There are two options available to the user. The first one delivers the infeasible rows from the last simplex tableau. The second one will try to find a minimal number of constraints that need to be removed or corrected to make the model feasible. There may be more sets that the one delivered. The inputs and outputs are explained in Section . | Irreducible Infeasible Sets (IIS) can be found with TOMLAB /XA. There are two options available to the user. The first one delivers the infeasible rows from the last simplex tableau. The second one will try to find a minimal number of constraints that need to be removed or corrected to make the model feasible. There may be more sets that the one delivered. The inputs and outputs are explained in Section . | ||
Revision as of 05:56, 15 December 2010
Welcome to the TOMLAB /XA User's Guide. TOMLAB /XA includes the XA solver suite from Sunset Software Technology and an interface to The MathWorks' MATLAB.
TOMLAB /XA is a solver package providing the user with functionality for solving linear, binary, integer and semi-continuous linear programming problems, as well as quadratic programming problems.
Contents of this Manual
- Section [#intro 1] provides a basic overview of the TOMLAB /XA solver package.
- Section provides an overview of the Matlab interface to XA.
- Section describes how to set XA solver options from Matlab.
- Section gives detailed information about the interface routines xa and xaTL. The solver control options, branch and bound settings, as well as solver and model status codes are also explained in this section.
More information
Please visit the following links for more information:
Prerequisites
In this manual we assume that the user is familiar with linear, mixed-integer and quadratic programming, setting up problems in TOMLAB (in particular mixed-integer (mip) problems) and the Matlab language in general.
Using the Matlab Interface
The XA solver is accessed via the tomRun driver routine, which calls the xaTL interface routine. The solver itself is located in the library file Xav14. It is also possible to make a direct call the xaTL using the TOMLAB format, as well as a direct call to the solver interface by calling xa.
It is recommended that the TOMLAB format is used for maximum flexibility.
|
Table 1: The interface routines. | |
| Function | Description |
| xa | The interface routine calls the XA library. |
| xaTL | The interface routine called by the TOMLAB driver routine tomRun or by a direct call. This routine then calls the interface routine xa, which calls the library file Xav14 |
Setting XA Options
All XA control parameters are possible to set from Matlab.
Setting options using the xaControl structure
The parameters can be set as subfields in the Prob.MIP.xaControl structure. The following example shows how to set a limit on the maximum number of iterations.
Prob = mipAssign(...) % Setup problem, see help mipAssign for more information Prob.MIP.xaControl.ITERATION = 20000; % Setting maximum number of iterations
The maximum number of iterations can also be done through the TOMLAB parameter MaxIter:
Prob.optParam.MaxIter = 20000;
In the cases where a solver specific parameter has a corresponding TOMLAB general parameter, the latter is used only if the user has not given the solver specific parameter.
A complete description of the available XA parameters can be found in Section .
Irreducible Infeasible Sets
Irreducible Infeasible Sets (IIS) can be found with TOMLAB /XA. There are two options available to the user. The first one delivers the infeasible rows from the last simplex tableau. The second one will try to find a minimal number of constraints that need to be removed or corrected to make the model feasible. There may be more sets that the one delivered. The inputs and outputs are explained in Section .
