Substitute variables

Type : Selection

Range : The settings listed below

Default : Off

This option determines whether so called doubletons should be removed. Possible values are:

  • Off

  • On

A doubleton is defined by two variables that appear in a constraint of the form αX = αY, where X and Y are two variables and α is a value unequal to 0. If such a doubleton exists then Y can be replaced by X in all constraints, and variable Y and the constraint αX = αY can be deleted.

If this option is switched on then doubletons will be removed. However, if the variables X and Y of a doubleton appear together in any constraint other than the αX = αY constraint, then the doubleton will not be removed.