[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