clpBNR:global_minimum/3

Availability::- use_module(library(clpBNR)).

Same as global_minimum/2 with additional argument defining precision (overrides environment flag clpBNR_default_precision). Example:

?- X::real(0,1r2*pi),global_minimum(X*sin(4*X),Z,4).
X:: 1.23...,
Z:: -1.203... .