[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] RE: FW: data structure vs. mathematical structure
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] RE: FW: data structure vs. mathematical structure |
Date: |
15 Nov 2006 12:11:26 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
"Page, Bill" <address@hidden> writes:
> [...] It defines a List as the least fixed
> point of
>
> X |-> 1 + T x X
>
By the way, in aldor-combinat (or axiom-combinat, if you like), you can define
an equivalent to "List L" as
macro {
I == EmptySetSpecies;
X == SingletonSpecies;
+ == Plus;
* == Times;
}
List(L: LabelType): CombinatorialSpecies L == (I + X*List)(L) add;
That's all. All the logic is hidden in CombinatorialSpecies, Plus and
Times. Well, not quite, but to see what's missing (and how to easily add it)
you'll have to read the docs.
It's Ralf who made this possible, I'd like to add.
Martin
- [Axiom-developer] RE: FW: data structure vs. mathematical structure, (continued)
- [Axiom-developer] RE: FW: data structure vs. mathematical structure, Page, Bill, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/15
- Re: [Axiom-developer] Re: FW: data structure vs. mathematical structure, Martin Rubey, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
- [Axiom-developer] RE: FW: data structure vs. mathematical structure, Page, Bill, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
- Re: [Axiom-developer] RE: FW: data structure vs. mathematical structure,
Martin Rubey <=
- Re: FW: data structure vs. mathematical structure (was: [Axiom-developer] Graph theory), Gabriel Dos Reis, 2006/11/14
- Re: FW: data structure vs. mathematical structure (was: [Axiom-developer] Graph theory), Vanuxem GrĂ©gory, 2006/11/14