Hi --

On Fri, 21 Sep 2007, Xavier Noria wrote:

> On Sep 20, 2007, at 6:56 PM, Rick DeNatale wrote:
>
>> You lost me, so what's the rational which is the successor to 1/3?
>
> OK, the point is that we are not using the everyday order of Q. Our target 
> are Ruby ranges, and I took custom orders and succ on a subset of Q to show a 
> (theoretic) property of Ruby ranges that follows from the fact that they only 
> assume #<=> and #succ.

See Rick's point about #succ, though. Ranges don't assume #succ,
though they will make use of it if it's there.


David

-- 
* Books:
   RAILS ROUTING (new! http://www.awprofessional.com/title/0321509242)
   RUBY FOR RAILS (http://www.manning.com/black)
* Ruby/Rails training
     & consulting:  Ruby Power and Light, LLC (http://www.rubypal.com)