|
|
|
last edited 7 years ago by test1 |
Edit detail for #425 confusion over Category revision 3 of 13
| 1 2 3 4 5 6 7 8 9 10 11 12 13 | ||
|
Editor: Bill Page
Time: 2008/05/28 17:14:02 GMT-7 |
||
| Note: | ||
added:
\end{axiom}
\begin{axiom}
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:
axiom)show Category Category is a domain constructor Abbreviation for Category is CATEGORY This constructor is not exposed in this frame. Issue )edit /usr/local/lib/open-axiom/x86_64-unknown-linux/1.2.0-2008-05-25/src/algebra/CATEGORY.spad to see algebra source code for CATEGORY ------------------------------- Operations -------------------------------- coerce : % -> OutputForm
axiomx:Category Category is a category, not a domain, and declarations require domains.
... --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