The domain is the unit cube [0, 1]^d using double precision floating point, see the documentation. Making assumptions and testing them is very much part of the

The domain is the unit cube [0, 1]^d using double precision floating point, see the documentation. Making assumptions and testing them is very much part of the contest. You are even allowed to do this interactively.