[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 ?
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.


reply via email to

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