RE: Enumeration

Gabriel Dos Reis <[email protected]> Sat, 26 May 2007 13:05:21 -0500 (CDT)

Newsgroups	gmane.comp.mathematics.axiom.user
Message-ID	<[email protected]>

On Sat, 26 May 2007, Bill Page wrote:

| Gaby,
| 
| Enumeration is an important built-in type in Aldor, but I
| Axiom I get mixed (strange) results...

Bill --
  Many thanks for your answer -- thar concurs with my feeling that
Enumerations are afterthought in Axiom.  

However, in my previous message, I mistyped something:

| On May 25, 2007 11:43 PM  Gabriel Dos Reis wrote:
| > 
| >   The Axiom Book seems to have mention of Enumeration and
                          ^
there is a missing "NOT" here.  :-(

[...]

| Yet they do seem to work as in Aldor:

Yes;  I know of Enumerations in Axiom only because I read the source code --
which is not the normal usage and documentation of Axiom.

[...]

| Maybe there is something a little trashed in the databases?

Indeed; it seems not up to date.

Thanks,

-- Gaby