Bill Page <bill.p...@newsynthesis.org> writes: | On Sat, Oct 22, 2011 at 12:06 PM, Waldek Hebisch wrote: | > Bill Page wrote: | >> | >> On Fri, Oct 21, 2011 at 4:25 PM, Ralf Hemmecke wrote: | >> > On 10/21/2011 09:17 PM, Waldek Hebisch wrote: | >> >> | >> >> I propose to change 'selectfirst' to 'first' and | >> >> 'selectsecond' to 'second'. | >> > | >> | >> Ok. I would prefer also that it export 'elt' so that one might write | >> x.1 and x.2 or or x(1) and x(2). | >> | > | > What type elt should have? For x(1) type is "obvious", but | > for x(i) not so. | > | | Perhaps it is possible to overload elt as follows: | | elt: (%,1) -> A | elt: (%,2) -> B | | I have seen such use of constants as domains elsewhere in FriCAS such as | | elt: (%,"left") -> % | elt: (%,"right") -> % | | in aggcat.spad.pamphlet.
It is a usage that I would like to see abolished from OpenAxiom. Apart from being esthetically challenged, it adds needless complexity to modemap selection. -- Gaby ------------------------------------------------------------------------------ The demand for IT networking professionals continues to grow, and the demand for specialized networking skills is growing even more rapidly. Take a complimentary Learning@Cisco Self-Assessment and learn about Cisco certifications, training, and career opportunities. http://p.sf.net/sfu/cisco-dev2dev _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
