Re: [fricas-devel] Re: [Axiom-mail] InputForm
Bill Page <[email protected]> Thu, 4 Jun 2009 21:17:53 -0400
| Newsgroups | gmane.comp.mathematics.axiom.devel,gmane.comp.mathematics.axiom.user |
|---|---|
| Message-ID | <[email protected]> |
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.