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 1 of 13

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

changed:
-
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:
\begin{axiom}
)show Category
x: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
   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 
x:Category
   Category, domain or package constructor Category is not available.