Re: [Axiom-developer] Curiosities with Axiom mathematical structures

[Francois Maltey]

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