Martin Rubey <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | | > | I think, A add B is (currently) only well defined when the value of Rep in A | > | and B is the same. (well, at least roughly the same.) | > | | > | I admit that I do not understand (yet) why | > | | > | > my `*' was not being picked if I test with R=Integer. Rather the one from | > | > IndexedDirectProductAbelianMonoid was being used, yet my coerce to OutputForm | > | > was used for printing | > | | > | I'd like to. | > | > signature subsumption. | | Sorry, I do not know what "signature subsumption" means. Could you explain?
http://axiom-portal.newsynthesis.org/refs/articles/Davenport-1984-a_new_algebra_system.pdf [...] | Finally, another question: why do think that my optimization proposal (inlining | functions in domains) would depend on operations in A add B being chosen from A | instead of B? | As I said earlier, I have come to have a more fundamental issue with this. *If* the desired semantics is the current behaviour (I do not take the position is that it is `God given'), then there is not discussion about the transformation. *If* the semantics is not desired, then there is no discussion about the transformation either. -- 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
