[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Ralf Hemmecke
Subject: Re: [Axiom-math] What is the "+/" operator?
Date: Thu, 24 May 2007 11:58:42 +0200
User-agent: Thunderbird (X11/20070326)

Or, since we're in the realm of algebraic computation, make sure that the
functional "/" is declared to have the "right" type.
This somehow brings us back to my beef with the way Axiom currently handle
mathematical structures (the old Monoid debate).

Of course, and we should leave it at that for the moment.

Think of it this way:  What does reduction "/" need to work with?
A sequence of values and operation that happens to be a monoid operation
over the element type of the list.  So, assume that from the context of use,
the compiler or interpreter (it does not matter which one) can deduce that the
operation + in

   "+"/[1, 2, 3]

is a monoid operation integers -- because it has seen a prior statement to
that effect.  What will be wrong?

Nothing is wrong if the monoid structure can be figured out.

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.

You probably know that quotes in Aldor mean to call the function

  string: Literal -> SomeType

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


since the parentheses let the + forget about its infixedness (see AUG).

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]