clpBNR:global_maximum/3

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

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

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