clpBNR:global_maximize/3

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

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

?- X::real(0,3r4*pi), global_maximize(X*sin(4*X),Z,4).
X:: 1.9947...,
Z:: 1.979... .