RI.times

[Diana Rodriguez]

Hello everybody,
we proved RI.times in several examples
when proving {Browse {RI.times 1.0 ~0.24}}
Mozart to us returns the following error

%*****************failure **************************
%**
%** In statement: {RI.times 1.0 ~0.24 _real
interval:[-1.79769e+308, 1.79769e+308]}
%**
%** Call Stack:
%** toplevel abstraction in line 1, column 0, PC =
138908312
%**-------------------------------------------------

If somebody has idea of which it happens can help us. Thanks

_________________________________________________________
Do You Yahoo!?
Información de Estados Unidos y América Latina, en Yahoo! Noticias.
Visítanos en http://noticias.espanol.yahoo.com
-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.