[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] sbcl and Axiom
From: |
root |
Subject: |
Re: [Axiom-developer] sbcl and Axiom |
Date: |
Wed, 26 Jul 2006 21:19:57 -0400 |
> Axiom needs to be able to do higher-order expressions like:
> > x := p^n * 3*p^m + 2
> > y := q^r * 6*q^s - 3
> > what is the j'th term of x*y? Well, since the we don't know the
> > exponents (n, m, r, or s) we have to construct a function that
> > will return the k'th component of x, the i'th component of y and
> > a final function that gives the result of x*y as a function of
> > the component functions. f(x(k),y(i)). Nobody does this yet to
> > my knowledge.
>
>
> I need to check but I think work related to this as been show at last ISSAC
> ?
Actually, it was. But the scheme given there is overly complicated in
my opinion. He measures the distance between the various entries and
computes a graph over the matrix.
In Axiom you could simply construct lists to represent the input so:
[ a_1 ... a_n ]
[ a_2 . a_n+1 ]
[ . . . ]
[ . . . ]
[ a_m ... a_n+m ]
could simply be represented as a list of lists with the dots as
list elements:
( ( a_1 ldots a_n ) (a_2 ldots a_n+1) hdots
kinds of a data structure. Then you could compute any given
element dynamically. It seems like an easier approach.
t
- Re: [Axiom-developer] Polynomials, abstract objects, provisos, (continued)
- Re: [Axiom-developer] Polynomials, abstract objects, provisos, Ralf Hemmecke, 2006/07/29
- Re: [Axiom-developer] sbcl and Axiom, Antoine Hersen, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- RE: [Axiom-developer] sbcl and Axiom, Page, Bill, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, Alfredo Portes, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- [Axiom-developer] Provisos, root, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, Antoine Hersen, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom,
root <=
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, Gabriel Dos Reis, 2006/07/26
- RE: [Axiom-developer] sbcl and Axiom, Page, Bill, 2006/07/27
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- RNG vs. RING was: Re: [Axiom-developer] sbcl and Axiom, Ralf Hemmecke, 2006/07/27
- [Axiom-developer] Re: Rng, Martin Rubey, 2006/07/28
- Re: [Axiom-developer] Re: Rng, Ralf Hemmecke, 2006/07/28
- Re: [Axiom-developer] sbcl and Axiom, Ralf Hemmecke, 2006/07/27
- RE: [Axiom-developer] sbcl and Axiom, Page, Bill, 2006/07/26
- RE: [Axiom-developer] sbcl and Axiom, Weiss, Juergen, 2006/07/26