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. >
Currently InputForm values can arise both from parsing of input strings and from coercion of values from other domains. Only the latter are in some sense "cononical". But even these are only cononical to the degree that the domain from which they are derived has such properties. So it is not clear to me how one can hope to reserve InputForm for only this use. 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
