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

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}

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

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

axiom
x:Category Category is a category, not a domain, and declarations require domains.

Axiom Version: => /usr/local/lib/open-axiom/x86_64-unknown-linux/1.2.0-2008-05-25