[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiommath] What is the "+/" operator?
From: 
Gabriel Dos Reis 
Subject: 
Re: [Axiommath] 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
 [Axiommath] What is the "+/" operator?, Igor Khavkine, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Martin Rubey, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Bill Page, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Ralf Hemmecke, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Bill Page, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?,
Gabriel Dos Reis <=
 Re: [Axiommath] What is the "+/" operator?, Ralf Hemmecke, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Ralf Hemmecke, 2007/05/24
 Re: [Axiommath] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/24
 Re: [Axiommath] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/23