On Thu, Jun 4, 2009 at 10:47 PM, Gabriel Dos Reis wrote:
> ...
> I see OpenAxiom as aiming at computational mathematics as opposed
> to just being specialized for algebraic computations only.
>
+1 I am in full agreement with your general goals and methods.
Regards,
Bill Page.
--
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
Bill Page 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.
| > | >
| > | Bill Page wrote:
| > | Currently InputForm values can arise both from parsing of inp
> | 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
Bill Page 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
Tim Daly writes:
| Gabriel Dos Reis wrote:
| > Tim Daly writes:
| >
| > | I've been reading this thread. It seems to me that what people are seeking
| > | is a symbolic algebra rather than a computer algebra system. The
distinction
| > | is that a symbolic system manipulates input as parse tree
Tim Daly writes:
| I've been reading this thread. It seems to me that what people are seeking
| is a symbolic algebra rather than a computer algebra system. The distinction
| is that a symbolic system manipulates input as parse trees in
| syntactic form.
| A computer algebra system manipulates in
