[Om3] binary vs n-ary relations

[Peter Horn]

Hi!

> If you think that'sungraceful, you should compare C and its  
> descendents
> (see attached programme). At least you got (some) errors.

lol, ok. But C isn't QUITE a CAS, is it ;)

BTW:

===== GAP =====
gap> 1<2<3;
Syntax error: ; expected
1<2<3;
    ^
gap> 1=1=1;
Syntax error: ; expected
1=1=1;
    ^

===== Magma =====

 > 1 le 2;
true
 > 1 le 2 le 3;

 >> 1 le 2 le 3;
           ^
Runtime error in 'le': Bad argument types
Argument types given: BoolElt, RngIntElt

 > 1 eq 1 eq 1;

 >> 1 eq 1 eq 1;
           ^
Runtime error in 'eq': Bad argument types
Argument types given: BoolElt, RngIntElt

===== KANT/KASH =====

kash% 1<2;
TRUE

kash% 1<2<3;
Syntax error: ; expected
1<2<3;
    ^
3
kash% 1=2=3;
Syntax error: ; expected
1=2=3;
    ^
3

--
Peter   Horn,   University  of  Kassel          *
Computational    Mathematics     Group      *       *
Heinrich Plett Str. 40,  34132  Kassel    *  [S] [C] [I] [E] [n] [c] [e]
Phone: + 4 9 - 5 6 1 - 8 0 4 - 4 1 9 2   *   http://www.symcomp.org
Fax:   + 4 9 - 5 6 1 - 8 0 4 - 4 6 4 6    *
E-Mail: hornp at mathematik.uni-kassel.de      *       *
             http://kassel.symcomp.org/          *