> | 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. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
