RE: [Axiom-mail] Enumeration

[Bill Page]

Gaby,

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

On May 25, 2007 11:43 PM  Gabriel Dos Reis wrote:
> 
>   The Axiom Book seems to have mention of Enumeration and
> EnumerationCategory...  
> 
> Did I miss something?
> 

(1) -> )wh domain Enumeration
-------------------- Domains ----------------------

Domains with names matching patterns:
     enumeration

       Enumeration

However:

(1) -> )show Enumeration
   The )show system command is used to display information about types
      or partial types. For example, )show Integer will show
      information about Integer .

      Enumeration is not the name of a known type constructor. If you
      want to see information about any operations named Enumeration ,
      issue
                       )display operations Enumeration
(1) -> )show EnumerationCategory
   The )show system command is used to display information about types
      or partial types. For example, )show Integer will show
      information about Integer .

      EnumerationCategory is not the name of a known type constructor.
      If you want to see information about any operations named
      EnumerationCategory , issue
                   )display operations EnumerationCategory


Yet they do seem to work as in Aldor:

(2) -> Colors:=Enumeration(red,green,blue)

   (2)  Enumeration(red,green,blue)
                                                                 Type:
Domain
(3) -> i:Colors:=green

   (3)  green
                                            Type:
Enumeration(red,green,blue)
(4) ->

----------

Maybe there is something a little trashed in the databases?

Regards,
Bill Page.