[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: [fricas-devel] Re: [Axiom-mail] InputForm
From: |
Gabriel Dos Reis |
Subject: |
[Axiom-developer] Re: [fricas-devel] Re: [Axiom-mail] InputForm |
Date: |
Thu, 04 Jun 2009 20:48:15 -0500 |
Bill Page <address@hidden> writes:
| 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
That is the job of Syntax domain in OpenAxiom.
| 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.
Obviously. For OpenAxiom, a domain that can see its values used as
constructor arguments should satisfy both SetCategory and
CoercibleTo InputForm. If a domain cannot satisfy those too
constraints, there is little point in trying to use its value as
constructor arguments.
| So it is not clear to me how one can hope to reserve InputForm for
| only this use.
It is a design choice. However, I fully appreciate there are many
choices to make and people are likely to make different choices.
-- Gaby
- [Axiom-developer] Re: [fricas-devel] Re: [Axiom-mail] InputForm, Tim Daly, 2009/06/04
- [Axiom-developer] Re: [fricas-devel] Re: [Axiom-mail] InputForm, Gabriel Dos Reis, 2009/06/04
- [Axiom-developer] Re: [fricas-devel] Re: [Axiom-mail] InputForm, Tim Daly, 2009/06/04
- [Axiom-developer] Re: [fricas-devel] Re: [Axiom-mail] InputForm, Gabriel Dos Reis, 2009/06/04
- [Axiom-developer] Re: [fricas-devel] Re: [Axiom-mail] InputForm, Bill Page, 2009/06/04
- [Axiom-developer] Re: [fricas-devel] Re: [Axiom-mail] InputForm,
Gabriel Dos Reis <=
- [Axiom-developer] Re: [fricas-devel] Re: [Axiom-mail] InputForm, Bill Page, 2009/06/04
- [Axiom-developer] Re: [fricas-devel] Re: [Axiom-mail] InputForm, Gabriel Dos Reis, 2009/06/04
- [Axiom-developer] Re: [fricas-devel] Re: [Axiom-mail] InputForm, Bill Page, 2009/06/04
[Axiom-developer] mapleok, Tim Daly, 2009/06/05