Subject: assigning operators - case sensitivity problem?
From: Andreas J. Guelzow
Date: Tue, 29 Mar 2005 10:16:15 -0700
On Tue, 2005-29-03 at 08:53 -0800, C Y wrote:
> --- Raymond Toy wrote:
> > >>>>> "Robert" == Robert Dodier writes:
> >
> > Robert> I don't see a motivation for case insensitivity of user-
> > Robert> defined operators at present; if there's no explanation
> > Robert> in sight let's consider disabling this feature.
> >
> > Someone else will have to make the decision of disabling the
> > case-insensitive behavior of operators.
> > But I've played around a bit, and by just removing the calls to
> > upcase (or making upcase do nothing), the case sensitivity is gone.
> > So CY's example now looks like this:
> >=20
> > (%i1) postfix("F");
> > (%o1) "F"
> > (%i2) postfix("f");
> > (%o2) "f"
> > (%i3) (x)f:=x*a;
> > (%o3) x F := x a
This does _not_ look right either!
> > (%i4) 40f;
> > (%o4) 40 a
> > (%i5) 40F;
> > (%o5) 40 a
> >
> > %o5 looks wrong to me. Shouldn't it be something like "40 F"?
> > If so, there's something else that needs fixing.
>
> Yes, this is wrong - F should not have inherited the definition from f.
>
Andreas
--
Andreas J. Guelzow, Professor & Coordinator
Dept. of Mathematical & Computing Sciences
Concordia University College of Alberta