> | On Thu, Jun 4, 2009 at 4:43 PM, Gabriel Dos Reis wrote: > | > ... > | > I would reserve the use of InputForm for syntatic canonical > | > forms of mathematical objects. > | > > | Bill Page wrote: > | Currently InputForm values can arise both from parsing of input > | strings and >
On Thu, Jun 4, 2009 at 9:48 PM, Gabriel Dos Reis wrote: > > That is the job of Syntax domain in OpenAxiom. > Although it sounds logical and desirable, I suppose that direct conversion of values in the Syntax domain to "canonical" values in InputForm is a rather hard problem. No? I am tempted to argue in fact that the primary purpose of most of the rest of panAxiom is to do just this sort of conversion - through the algebraic "back door" so-to-speak ... Regards, Bill Page. ------------------------------------------------------------------------------ OpenSolaris 2009.06 is a cutting edge operating system for enterprises looking to deploy the next generation of Solaris that includes the latest innovations from Sun and the OpenSource community. Download a copy and enjoy capabilities such as Networking, Storage and Virtualization. Go to: http://p.sf.net/sfu/opensolaris-get _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
