Craig Citro wrote:

> 
> So I think that this suggests returning an Integer is the right move
> -- it's just a question of what to do if there *is* no single correct
> integer.

Okay, that seems like a valid point, though I still disagree. I think 
that we have two levels of consistency here: consistency with the 
function and consistency with the concept of interval arithmetic.  I 
think that in this case, the interval arithmetic requirement is more 
specific, so you should be consistent with having intervals.

So you say that if I have the interval X=[3.5, 3.7], and I'm interested 
in what possibilities there are for sin(floor(X)), then really there is 
only one possibility (however, it still makes sense to me to return an 
interval [sin(3), sin(3)]).

You bring up that the real stickler of a question is something like: in 
the case that I have the interval X=[2.5, 4.5], what should 
sin(floor(X)) return?

Maybe we should have a discrete version of interval objects, so I would 
get a list of values [sin(2), sin(3), sin(4)]?  When we're trying to 
work with a function which takes a continuous range and maps it onto a 
discrete set of points, maybe we should be converting to a discrete 
version of interval arithmetic, i.e., a list of values that we treat 
like a "discrete interval".

Jason

-- 
Jason Grout


--~--~---------~--~----~------------~-------~--~----~
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to