login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : Bill Page at: 2008-05-28T17:12:50-07:00 (9 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 .

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.

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

Could you please explain what that means? :-)

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

Severity: normal => wishlist




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: