I have posted the topic once, but as recieved no reply, I am trying a little force, hope it ain't forbidden:-)
Ok, basing on Carl-Rubin theorem, it is easy to determine UMP test for testing H0: p<p1 or p2<p vs H1: p1<p<p2 where p1 and p2 are given probabilities. To test this at some significance level alpha, we repeat a Bernoulli scheme B(p) n times. In fact, for us to obtain a UMP test for H0 at the level alpha, we have to construct a randomized test, based on a statistic S being the number of successes. If S falls between x_a and x_b we decide to reject the Null Hypothesis. If S happens to be x_a or x_b, then we run another experiment and basing on its result we reject or accept H0.
The "Maple Advanced programing guide" was produced using a special version of Maple that reads and updates latex files, where can I get such a version? ANYONE KNOWS?