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

[Franz Lehner]

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