login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#424 Interpreter code generation failed  ← ↑ →  #426 Non-builtin domain values fail

#425 confusion over Category
  
last edited 7 years ago by test1

Edit detail for #425 confusion over Category revision 12 of 13
1 2 3 4 5 6 7 8 9 10 11 12 13
Editor: Bill Page
Time: 2008/05/28 22:34:55 GMT-7
Note: formatting 

        

        







Submitted by
:
Bill Page
at:
2008-05-28T17:12:50-07:00 (16 years
 ago)


Name
:



Axiom Version
:



Category
:

Severity
:

Status
:


Optional subject
:  



Optional comment
: 









The file algebra/domain.spad.pamphlet contains this definition:

  )abbrev domain CATEGORY Category
  ++ Author: Gabriel Dos Reis
  ++ Date Create: February 16, 2008.
  ++ Date Last Updated: February 16, 2008.
  ++ Basic Operations: coerce
  ...





but OpenAxiom? does not always treat Category this way:

fricas
)show Category

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

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


fricas
Category



\label{eq1}\hbox{\axiomType{Category}\ }(1)


Type: Variable(Category)


fricas
x:Category

   There are no library operations named Category 
      Use HyperDoc Browse or issue
                              )what op Category
      to learn if there is any operation containing " Category " in its
      name.

   Cannot find a no-argument definition or library operation named 
      Category .


fricas
Category has Category

   There are no library operations named Category 
      Use HyperDoc Browse or issue
                              )what op Category
      to learn if there is any operation containing " Category " in its
      name.

   Cannot find a no-argument definition or library operation named 
      Category .






... --Bill Page,  Wed, 28 May 2008 17:13:05 -0700 reply
Axiom Version:  => /usr/local/lib/open-axiom/x86_64-unknown-linux/1.2.0-2008-05-25 


category regression --gdr,  Wed, 28 May 2008 17:55:47 -0700 reply
hat is a regression, because the rest of the compiler and interpreter
assumes that Category is conceptually a category -- even when it has a
domain implementation.


what? --Bill Page,  Wed, 28 May 2008 18:39:35 -0700 reply
gdr wrote:

  Category is conceptually a category -- even when it has a domain implementation





Could you please explain what that means? :-)


... --gdr,  Wed, 28 May 2008 20:48:32 -0700 reply
At the conceptual level, OpenAxiom? thinks of Category as a category.  The
category of categories.  However, it has a domain implementation, e.g.
as reported by )show.  That is just an implementation detail.


domains belong to Category --gdr,  Wed, 28 May 2008 22:06:22 -0700 reply
OpenAxiom? trunk as of 2008-05-29 says this:

 (5) -> Category has Category

   (5)  true
                             Type: Boolean

 (6) -> Domain has Category

   (6)  true
                             Type: Boolean

 (7) -> Category has Type

   (7)  true
                             Type: Boolean