Hello,
It seems I can define binary operator with the underscore _
in any *.spad file.
Are the name of the operator are fixed in the compiler or not ?
Can I define my own new operator azerty or not ?
for computing 1 azerty 2 azerty 3 azerty 4 without problem.
Can I define my own factorial with ! or not ?
the ! operator is a postfix one. 3!
but the - operator is a prefix one. -3
Why are there 2 underscore in _/_\ in boolean.spad ?
Logic: Category == BasicType with
_~: % -> %
++ ~(x) returns the logical complement of x.
_/_\: (%, %) -> %
++ \spadignore { /\ }returns the logical `meet', e.g. `and'.
_\_/: (%, %) -> %
++ \spadignore{ \/ } returns the logical `join', e.g. `or'.
Can I do this in a *.input file for the interpreter ?
Can I fix a priority for each operator ?
Thanks a lot.
François
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
