So there are two things people could want from an interval i:
1) { floor(x) for x in i }
2) min { floor(x) for x in i }
I think that David's unhappy with floor doing (2). The other proposal
is to have x.floor() return the unique element in (1) when it's a
singleton, and raise an exception otherwise. David -- would you be
happy with that?
Then there's also the issue that both Nick and William would like to
have functionality for (2) easily available -- we just need to agree
on a name. Ideas?
Also, one should note that this still doesn't completely solve Nick's
problem -- if you have code that uses a RealField element x, and it
calls x.floor(), you can't necessarily drop RIF in for RealField,
because (1) above might have multiple elements. But as David and
Robert pointed out, there's not really a way around that without
breaking the validity of results using RIF. I think Nick's previous
reply suggests he's okay with this, though ...
-cc
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
