[PURRS-devel] Re: CoStLy 0.3

Roberto Bagnara bagnara at cs.unipr.it
Fri Dec 13 17:35:09 CET 2002


Markus Neher wrote:
> That has been implemented in cinterval.h. You can use the two attached 
> patches to make the changes.

Thanks!  I have applied them without problems.

>>> Do you have a priori information on the type of exponents that occur 
>>> in your computations? For example, if you knew that only integer 
>>> exponents occurred then you could replace all calls of pow(Z,P) (Z,P: 
>>> cintervals) by calls of power(Z,n) (Z: cinterval; n:integer).
>>
>>
>> No, we do not have this knowledge a priori.  Of course we can test the
>> type of the exponent at run-time and then invoke the appropriate 
>> function.
> 
> 
> At the moment, we do not plan to change the  pow  function.

Well, OK.
Thanks again

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it




More information about the PURRS-devel mailing list