Parameter name | Meaning | C++ equivalent |
`ALIAS/debug` | flag for debug purpose | Debug_Level_Solve_General_Interval |
`ALIAS/dist` | minimal distance between 2 distinct | |
solutions (for GeneralSolve) | ||
`ALIAS/epsilon` | maximal width of a solution box | |
`ALIAS/fepsilon` | maximal width of the expressions | |
evaluation for a solution box | ||
`ALIAS/lib` | string that indicates the | |
location of the ALIAS C++ library | ||
`ALIAS/maxbox` | maximal number of stored boxes | |
`ALIAS/maxsol` | maximal number of solutions | |
`ALIAS/rand` | allow to switch between | |
bisection modes | ALIAS_RANDG | |
`ALIAS/rand` | exchange largest box with | |
current every xx iter. | ALIAS_RANDG | |
`ALIAS/mixed_bisection` | bisection mode, see section 3.1.3 | ALIAS_Mixed_Bisection |
`ALIAS/mixed_storage` | allows to switch between | Switch_Reverse_Storage |
direct and reverse storage | ||
`ALIAS/optimized` | flag to indicate if the C++ | |
files are compiled with -O | ||
`ALIAS/order` | ordering for the storage of | |
the boxes, | ||
see the ALIAS-C++ manual | ||
`ALIAS/profil` | string that indicates the | |
location of the BIAS/Profil library | ||
`ALIAS/single_bisection` | bisection mode, see section 3.1.3 | Single_Bisection |
`ALIAS/storage_mode` | bisection mode, see section 3.1.4 | Reverse_Storage |
`ALIAS/name_executable` | name of the executable | |
`ALIAS/allows_n_new_boxes` | maximum number of boxes | |
that can be created | ||
when intersecting a box | ||
and a unicity box | ALIAS_Allows_N_New_Boxes | |
`ALIAS/type_n_new_boxes` | if the maximum number of boxes | |
that is created | ||
when intersecting a box | ||
and a unicity box | ||
is lower than the maximum | ||
determine the rule to create | ||
the new boxes (see ALIAS-C++) | ||
`ALIAS/tranche_bisection` | for bisection mode 8 | ALIAS_Tranche_Bisection |
`ALIAS/size_tranche_bisection` | for bisection mode 8 | ALIAS_Size_Tranche_Bisection |
The variable `ALIAS/stop_first_sol` allows to exit from a solving procedure without completing the full calculation. The following behavior will be obtained according to the value of this flag:
For the expression involving the determinant of a matrix we have some specific variables:
Parameter name | Meaning | C++ equivalent |
`ALIAS/det22` | see section 2.1.3 | |
`ALIAS/minor22` | see section 2.1.3 | |
`ALIAS/row22` | see section 2.1.3 |