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

[Gabriel Dos Reis]

"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.

Why?

| 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