naginterfaces.library.opt.handle_​set_​property

naginterfaces.library.opt.handle_set_property(handle, ptype, idx)

handle_set_property is a part of the NAG optimization modelling suite and sets a given property to a subset of the decision variables, particularly, it specifies if the variables are integral or continuous.

For full information please refer to the NAG Library document for e04rc

https://support.nag.com/numeric/nl/nagdoc_30.2/flhtml/e04/e04rcf.html

Parameters

handleHandle

The handle to the problem. It needs to be initialized (e.g., by handle_init()) and must not be changed between calls to the NAG optimization modelling suite.

ptypestr

Indicates the property to set for the specified variables. $ptype$ is case insensitive.

Class of properties referring to integrality:

$ptype=\text{'CONTINUOUS'}$ or $\text{'CONT'}$

The variables will be continuous (the default property).

$ptype=\text{'INTEGER'}$ or $\text{'INT'}$

The variables become integer.

$ptype=\text{'BINARY'}$ or $\text{'BIN'}$

The variables become binary so they will be able to hold only values 0 or 1. Note that any existing box bounds are preserved. For example, if variable $x_{42}$ has its bounds set as $1.0\le x_{42}\le 5.3$ and becomes binary, its box bounds are not removed and, therefore, the only allowed value will be $x_{42}=1.0$.

Class of properties referring to linearity.

$ptype=\text{'GENERIC'}$ or $\text{'GEN'}$

The variables have no special property. If they appear in at least one nonlinear expression (constraints or the objective), they will be assumed to be nonlinear (the default property).

$ptype=\text{'LINEAR'}$ or $\text{'LIN'}$

The variables will be assumed to be linear in all nonlinear constraints and the objective they might appear.

idxint, array-like, shape $\left(\text{lidx}\right)$

The index set of variables whose properties will be modified. The elements may be supplied in any order.

Raises

NagValueError

(errno $1$)

$handle$ has not been initialized.

(errno $1$)

$handle$ does not belong to the NAG optimization modelling suite, has not been initialized properly or is corrupted.

(errno $1$)

$handle$ has not been initialized properly or is corrupted.

(errno $2$)

The problem cannot be modified right now, the solver is running.

(errno $5$)

On entry, $\text{lidx}=⟨value⟩$.

Constraint: $\text{lidx}\ge 1$.

(errno $6$)

On entry, $ptype=⟨value⟩$.

Constraint: $ptype=\text{'BIN'}$, $\text{'CONT'}$, $\text{'GEN'}$, $\text{'INT'}$ or $\text{'LIN'}$.

(errno $8$)

On entry, $i=⟨value⟩$, $idx[i-1]=⟨value⟩$ and $n=⟨value⟩$.

Constraint: $1\le idx[i-1]\le n$.

Notes

After the model has been fully or partially built by calling functions of the NAG optimization modelling suite, handle_set_property may be used to change properties of a subset of the variables in the model. The property is given by $ptype$ which refers to the integrality of the variables (continuous, integer or binary) or their linearity (if the variables are linear or generic, see Linearity of the Variables). Both classes of properties can be set independently, however, only one property per class of properties can be chosen (i.e., a variable can be linear and integer but it cannot be continuous and binary at the same time). The properties can be changed multiple times and the last setting is the one used. handle_print() may be used to display the properties and further details of the problem.

See the E04 Introduction for more details about the NAG optimization modelling suite.

Linearity of the Variables

It is sometimes useful in Nonlinear Programming (NLP) problems to distinguish between linear and nonlinear variables and thus give the solvers an extra piece of information to utilize. A variable is said to be linear if its involvement in the whole optimization model is linear, i.e., it appears only in linear expressions. All other variables, if used at all, are nonlinear.

Let’s assume that we have a problem with seven variables with two nonlinear constraints declared by handle_set_nlnconstr() and defined as follows:

$$\begin{array}{c}g\left(x\right)=\left(\begin{array}{c}3x_1+e^{x_2}{x}_4+4x_4-x_3+x_5\\ x_2+x_3^2-3x_5\end{array}\right)\end{array}$$

and with a linear objective function, linear constraints. Variables $x_6$ and $x_7$ are not used at all in the definition of $g\left(x\right)$ and, therefore, they are clearly linear which is automatically detected by the solver. Although $x_1$ and $x_5$ appear in the nonlinear constraints $g\left(x\right)$, they are involved only in linear expressions and, therefore, are also linear. These two cannot be detected by the solver because the solver can only see the sparsity pattern defined by handle_set_nlnconstr() and a Black Box call-back. In this case, it might be beneficial to set their property as linear using this function. If no property is set, it is assumed that the variables are generic, meaning that they have no special property, and their linearity is auto detected based on the constraints they appear in. Solvers which can exploit this property will describe it in their documentation.

See also

naginterfaces.library.examples.mip.handle_solve_milp_ex.main()

naginterfaces.library.examples.opt.handle_solve_ssqp_ex.main()