Re: [Axiom-developer] "has" and "with" (was curious algebra failure)

[Gabriel Dos Reis]

On Sun, 12 Aug 2007, Bill Page wrote:

| On 8/12/07, Gabriel Dos Reis <address@hidden> wrote:
| > On Sun, 12 Aug 2007, Bill Page wrote:
| > | ...
| > | http://wiki.axiom-developer.org/SandBoxCategories
| > |
| > | I think this demonstrate that Davenport's rules are implemented in Spad.
| >
| > So, how do you think the original example (Monad using 
expt$RepeatedSquare(%))
| > should behave according to those rules?
| >
| 
| It should be fine because of rule 2:
| 
| 2. Anonymous types are equivalent when structurally equivalent

The parameter S in RepeatedSquare(S) of the category

   SetCategory with "*": (%,%) -> %

but RepeatedSquare is being called with a domain of a named category (Monad).
Rule 2 says:

  2. Anonymous types are equivalent when stucturally equivalent

How would it apply?

-- Gaby