[Top][All Lists]

[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:21:11 -0500

"Bill Page" <address@hidden> writes:

| 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.
| Rather, I think it is the equivalent BOOT syntax for reduce (right,
| Gaby?) and I think it should stay in BOOT where there is no static
| type checking.

Yes, and yes.

| But I agree that it should not appear directly in SPAD
| files.


| This expression returns a syntax error in the Axiom
| interpreter. If I recall correctly, there a few other places in the
| Axiom library code
| where old BOOT syntax appears (perhaps for efficiency or to avoid
| awkard type manipulations) but should be really be replaced by a
| more appropriate Spad idiom. Regards,

The interpreter uses the new parser, and I do not seem to see that
production there.  I would like us to move to the new parser.  
For leess confusion.

-- Gaby

reply via email to

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