[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Curiosities with Axiom mathematical structures
From: |
Francois Maltey |
Subject: |
Re: [Axiom-developer] Curiosities with Axiom mathematical structures |
Date: |
01 Mar 2006 09:56:02 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
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
- Re: [Axiom-developer] Curiosities with Axiom mathematical structures,
Francois Maltey <=