help links subscribe changes refresh edit

	IssueTracker
#424 Interpreter code generation failed ←	↑	→ #426 Non-builtin domain values fail

#425 confusion over Category

Edit detail for #425 confusion over Category revision 4 of 13

	1 2 3 4 5 6 7 8 9 10 11 12 13
Editor: Bill Page Time: 2008/05/28 17:32:53 GMT-7
Note:

added:
\begin{axiom}
Category
\end{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

axiom
Category

(1)

Type: Type

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