next up previous contents
Next: Parameters for the procedures Up: Parameters for the solving Previous: Parameters for the solving   Contents

General parameters for the solving procedures

We indicate here parameters that appear in most procedures, their meaning, their default value and the corresponding name in the C++ library.

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


next up previous contents
Next: Parameters for the procedures Up: Parameters for the solving Previous: Parameters for the solving   Contents
Jean-Pierre Merlet 2012-12-20