Re: [Axiom-developer] A curious algebra failure

[Gabriel Dos Reis]

On Sat, 11 Aug 2007, Bill Page wrote:

| Correction:
| 
| On 8/11/07, I wrote:
| >...
| > This statement in the Axiom book should really say:
| >
| >   "domains belong to *named* categories by assertions"
| >
| > This does apply to anonymous categories.
| >
| 
| I meant to write:
| 
| This does *not* apply to anonymous categories.

Yes, but they gave no indication that they do structural matching.
They gave examples and explanations of why they don't do it
-- even partially.  So, the semantics is still mystery...

-- Gaby