Ralf Hemmecke <[EMAIL PROTECTED]> writes: | > Is Mapping different from Mapping because I can write | > Mapping(Integer,Integer) | > and | > Mapping(Integer,Integer,Integer) | > ? | | That depends on the definition of Mapping.
Good. Where is the definition of SubDomain then? | Unfortunately, I am not so | good in SPAD and Mapping seems to be rather tightly connected to the | internals. So let me try to explain in Aldor. I hope, you don't mind. | | A(X: with): with == add; | A(X: with, Y: with): with == add; | B(T: Tuple Type): with == add; | | There are two A's and one B although you can call for both There is no way to define overloaded constructors in all AXIOM systems. -- Gaby ------------------------------------------------------------------------- Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! Studies have shown that voting for your favorite open source project, along with a healthy diet, reduces your potential for chronic lameness and boredom. Vote Now at http://www.sourceforge.net/community/cca08 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
