
locate(+Vars, ++Precision, ++lin/log)

   Locate solution intervals for Vars by splitting and search.

Arguments
   Vars                List of variables
   Precision           Minimum required precision (float)
   lin/log             Domain splitting method (lin or log)

Type
   library(ria)

Description

Locate solution intervals for the given variables with the required
precision. This works well if the problem has a finite number of solutions.
locate/2,3 work by nondeterministically splitting the ranges of the variables
until they are narrower than Precision.


The lin/log parameter guides the way domains are split.
If it is set to lin then the split is in the arithmetic middle.
If it is set to log, the split is such as to have the
same number of floats to either side of the split. This is to take
the logarithmic distribution of the floats into account.


See Also
   locate / 2, locate / 4, squash / 3
