43 #ifdef GECODE_HAS_MPFR
48 namespace Test {
namespace Float {
51 namespace Transcendental {
61 return eq(
exp(x[0]), x[1]);
80 return eq(
exp(x[0]), x[1]);
106 return eq(
exp(x[0]), x[0]);
122 if (x[0].
max() < 0.0)
124 return eq(
log(x[0]), x[1]);
143 if (x[0].
max() < 0.0)
145 return eq(
log(x[0]), x[1]);
149 if (x[0].
max() < 0.0)
return false;
172 if (x[0].
max() < 0.0)
174 return eq(
log(x[0]), x[0]);
191 if ((x[0].
max() <= 0.0) || (base <= 0.0))
193 return eq(
log(x[0]) /
log(base), x[1]);
210 if ((x[0].
max() <= 0.0) || (base <= 0.0))
212 return eq(
log(x[0]) /
log(base), x[1]);
216 if ((x[0].
max() <= 0.0) || (base <= 0.0))
241 if ((x[0].
max() <= 0.0) || (base <= 0.0))
243 return eq(
log(x[0]) /
log(base), x[0]);
262 return eq(
exp(x[0] *
log(base)), x[1]);
281 return eq(
exp(x[0] *
log(base)), x[1]);
285 if (base <= 0.0)
return false;
309 if ((x[0].
max() <= 0.0) || (base <= 0.0))
311 return eq(
exp(x[0] *
log(base)), x[0]);