[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Bill Page
Subject: Re: [Axiom-developer] "has" and "with" (was curious algebra failure)
Date: Sun, 12 Aug 2007 20:32:04 -0400

On 8/12/07, Gabriel Dos Reis <address@hidden> wrote:
> On Sun, 12 Aug 2007, Bill Page wrote:
> | ...
> |
> |
> | 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

Bill Page.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]