|
|
|
last edited 7 years ago by test1 |
Edit detail for #425 confusion over Category revision 13 of 13
| 1 2 3 4 5 6 7 8 9 10 11 12 13 | ||
|
Editor: test1
Time: 2017/02/23 19:42:01 GMT+0 |
||
| Note: | ||
added:
From test1 Thu Feb 23 19:42:01 +0000 2017
From: test1
Date: Thu, 23 Feb 2017 19:42:01 +0000
Subject:
Message-ID: <20170223194201+0000@axiom-wiki.newsynthesis.org>
Severity: normal => wishlist
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
(1) -> )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
 | (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
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. 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