power(0, 0) exception from CAPD

dreal / dreal3

There is a new version of dReal, available at https://github.com/dreal/dreal4

GNU General Public License v3.0

48 stars 36 forks source link

power(0, 0) exception from CAPD #242

Closed soonhokong closed 8 years ago

soonhokong commented 8 years ago

benchmarks/drh/bouncing_ball/bouncing_ball.drh generates exceptions. For example, here is one:

exception caught, "Interval error:  power(x, n): n == 0  and x contains 0.

   left=0  right=0

It turns out that the exception comes from CAPD and it seems that it's related to its derivation routine. When I replace v^1 with v, the problem goes away. I'll do the following:

Do preprocessing to replace x^n with x when n is evaluated to 1.
Report CAPD team the problem.

soonhokong commented 8 years ago

Also, need to update the benchmark to include the v^2 case.

soonhokong commented 8 years ago

Send an email to CAPD team. Closed by 462ffb2.

soonhokong commented 8 years ago

CAPD team made a patch (adding simplification routines). I'll update dreal-deps/capd4 repo soon.