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 _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
