[Om3] binary vs n-ary relations
Peter Horn
hornp at mathematik.uni-kassel.de
Thu Sep 25 16:27:01 CEST 2008
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/ *
More information about the Om3
mailing list