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

	1 2 3 4 5 6 7 8 9 10 11 12 13
Editor: Bill Page Time: 2008/05/28 18:39:35 GMT-7
Note: what?

added:

From BillPage Wed May 28 18:39:35 -0700 2008
From: Bill Page
Date: Wed, 28 May 2008 18:39:35 -0700
Subject: what?
Message-ID: <20080528183935-0700@axiom-wiki.newsynthesis.org>

*gdr wrote*::

  Category is conceptually a category -- even when it has a domain implementation

Could you please explain what that means? :-)

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

$\label{eq1}\hbox{\axiomType{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

category regression --gdr, Wed, 28 May 2008 17:55:47 -0700 reply

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.

what? --Bill Page, Wed, 28 May 2008 18:39:35 -0700 reply

gdr wrote:

  Category is conceptually a category -- even when it has a domain implementation

Could you please explain what that means? :-)