Gabriel Dos Reis wrote:
Tim Daly d...@axiom-developer.org 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
|
Tim Daly d...@axiom-developer.org 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
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
Bill Page bill.p...@newsynthesis.org 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
| 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
