[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: [Aldor-l] implementing aldor / new species approac
From: |
Martin Rubey |
Subject: |
[Axiom-developer] Re: [Aldor-l] implementing aldor / new species approach |
Date: |
20 Aug 2006 21:54:32 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 |
root <address@hidden> writes:
> Ring is implemented as a lisp object. You can put these into a list.
(2) -> l : List Ring := [Integer]
Cannot convert an element of the construct to type Any .
(2) -> l : Ring := Integer
Ring is a category, not a domain, and declarations require domains.
Martin
PS: PLEASE (!!!!) copy to aldor-combinat only stuff specific to the combinat
project!
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] Re: [Aldor-l] implementing aldor / new species approach,
Martin Rubey <=