|
|
|
last edited 9 years ago by test1 |
Edit detail for #425 confusion over Category revision 8 of 13
| 1 2 3 4 5 6 7 8 9 10 11 12 13 | ||
|
Editor: gdr
Time: 2008/05/28 20:48:32 GMT-7 |
||
| Note: | ||
added:
From gdr Wed May 28 20:48:32 -0700 2008
From: gdr
Date: Wed, 28 May 2008 20:48:32 -0700
Subject:
Message-ID: <20080528204832-0700@axiom-wiki.newsynthesis.org>
In-Reply-To: <20080528183935-0700@axiom-wiki.newsynthesis.org>
At the conceptual level, OpenAixom 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.
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, OpenAixom? 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.