On Thu, 25 Sep 2008, Peter Horn wrote:
> Hi Chris!
> > An empirical question: do any CA/programming systems make such
> > 'expressions' legal
> > and what then is the semantics?
>
> ===== MuPAD isn't very graceful: =====
If you think that'sungraceful, you should compare C and its descendents
(see attached programme). At least you got (some) errors.
James
#include <stdio.h>
#define BOOL(x) (x?"TRUE":"FALSE")
main()
{ int i;
printf("'1==1==1' is %s\n",BOOL(1==1==1));
printf("'1==0==1' is %s\n",BOOL(1==0==1));
printf("'0==1==1' is %s\n",BOOL(0==1==1));
printf("'1==1==0' is %s\n",BOOL(1==1==0));
printf("'1==0==0' is %s\n",BOOL(1==0==0));
printf("'0==0==1' is %s\n",BOOL(0==0==1));
printf("'0==1==0' is %s\n",BOOL(0==1==0));
printf("'0==0==0' is %s\n",BOOL(0==0==0));
printf("'2==2==2' is %s\n",BOOL(2==2==2));
printf("'1<2<3' is %s\n",BOOL(1<2<3));
printf("'3>2>1' is %s\n",BOOL(3>2>1));
printf("'2>1>0' is %s\n",BOOL(2>1>0));
printf("'1>2>3' is %s\n",BOOL(1>2>3));
}
_______________________________________________
Om3 mailing list
[email protected]
http://openmath.org/mailman/listinfo/om3
