axiom-math
[Top][All Lists]
Advanced

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

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


From: Gabriel Dos Reis
Subject: Re: [Axiom-math] What is the "+/" operator?
Date: 23 May 2007 18:23:45 -0500

Ralf Hemmecke <address@hidden> writes:

| On 05/23/2007 06:50 PM, Bill Page wrote:
| > Quoting Martin Rubey <address@hidden>:
| >
| >> ... Igor Khavkine writes:
| >>
| >>> Can someone explain this syntax? Looking at the Axiom .spad files,
| >>> I see that it has general usage +/[...some list construction...].
| >>
| >> It is old syntax for reduce and should go away.
| 
| I very much agree. The reason is that one should give an initial value
| otherwise you might be surprised.

I don't see why there should be a surprise.

Reduction through "/" is a functional on monoid operations, so one
should expect to give a unit element.

reduce on the other hand would want an initial value, or a value to
return when the list of operand is empty.



-- Gaby




reply via email to

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