improved computation of enclosures near Zeno points, changed bouncing ball system specification to one that plays better with the algorithm - the results is that we can get a little bit beyond Zeno for the bouncing ball but not with arbitrary precision
improved computation of enclosures near Zeno points, changed bouncing ball system specification to one
that plays better with the algorithm - the results is that we can get a little bit beyond Zeno for the bouncing ball
but not with arbitrary precision

michalkonecny/aern