[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## Re: [Axiom-developer] How to do generic sum using aldor?

**From**: |
Franz Lehner |

**Subject**: |
Re: [Axiom-developer] How to do generic sum using aldor? |

**Date**: |
Thu, 4 Jan 2007 11:57:58 +0100 (CET) |

On Wed, 3 Jan 2007, Ralf Hemmecke wrote:
thanks for all the answers.

You should have read previous posts. Axiom does not understand "extend".

I was confused.
I read the excellent aldor user's guide and neglected the fact, that

`it is written for the standalone version of aldor rather than the axiom
``version. Is there a similar manual for axiom+aldor other than
`http://www.aldor.org/docs/HTML/chap18.html ?
Is this the right mailing list anyways?

`I started a project in axiom some time ago (computations in group rings
``with arbitrary coefficient rings, which is not possible in gap, tedious
``to impossible in maple/mathematica and very simple in axiom). Since the
``old compiler will disappear at some point I decided to switch to aldor
`starting by a translation of what I had already written and stumbled on
the summation problem.
Now to the real questions.

`I was aware of reduce but did not use it because I actually wanted to
``write a "generic" sum function for "all" possible structures, including
``finite streams etc. on which reduce does not work.
`The only way I found in axiom was
last complete scan(0,+,somestream)
which looks rather insatisfactory.

`What could be axiom equivalents of AdditiveType and
``BoundedFiniteDataStructureType ?
`
Then SumPackage(L:BoundedFiniteDataStructureType,R:AdditiveType)
with essentially the same code would do just any possible case.
Franz