On 6/20/08, Barton Willis <willisb at unk.edu> wrote:
> >After that, we can choose whether a..b means
> > A) the integers s.t. a<=x<=b
> >or
> > B) all x s.t. x=a+i and a<=x<=b (where i is an integer)
>
> I converted to plan 'B' --- it's consistent with Macsyma, I think.
I think consistency with commercial Macsyma (or Maple or Mma
or whatever) is a very minor consideration. Maybe some argument can
be made for plan B, but just being the same as Macsyma isn't enough.
FWIW
Robert Dodier