Re: [Axiom-math] What is the "+/" operator?

[Gabriel Dos Reis]

On Thu, 24 May 2007, Ralf Hemmecke wrote:

| Just another remark about the statement above.
| Even if that is common in the current SPAD code, I don't like to see quotes
| around the +. Quotes should be reserved to produce strings.

that is a syntax issue, not semantics. :-)

I would not engage on syntax at this moment 

| You probably know that quotes in Aldor mean to call the function
| 
|   string: Literal -> SomeType

Yes.

| So with a little work the above statement could be made litterally working in
| Aldor, but for my taste I would rather like to write
| 
|   (+)/[1,2,3]
| 
| since the parentheses let the + forget about its infixedness (see AUG).

I know -- same in Haskell (and Boot).

| Writing _+ (underscore plus) would be better, but also doesn't look very
| attractive to me.

As I said, we're going there into syntax discussion, not semantics :-)

-- Gaby