Martin Rubey <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | | > | Gaby, after some experiments, I could not find an example where "A add B", A | > | and B sharing representation, exports an operation from A instead of from B, | > | when the signature is present in both. | > | > That is basically what my oiriginal example was about -- | | Sorry, I don't understand. In the example below, the representations differ - | IndexedDirectProductAbelianGroup(R,S) is (I'd say) different from List | Pair(S,R).
No, they have the same layout -- would you mind having a look at IndexedDirectProductAbelianGroup? | I wonder whether this strange behaviour also occurs when the representations | are the same. I think I said yes in my previous message. Which point point isn't clear? | What do you mean with | | > you just needed to flip the component to match exact layout. I'm reproducing | > it below | | ??? Are you saying that List Pair(S, R) is the same as | IndexedDirectProductAbelianGroup(R,S)? from the representation point of veiw, I believe I emphatically said yes. Would you mind looking at the implementation of IndexedDirectProductAbelianGroup? -- Gaby ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
