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
In OpenAxiom, I get
(1) - (x + y^2)::InputForm
(1) y^2 + x
Type: InputForm
Cool! Was that done by a simple patch? What is the revision number?
I really wonder why in FriCAS I get
(^ y 2)
as the result of (1) above. That
Ralf Hemmecke r...@hemmecke.de writes:
| In OpenAxiom, I get
|
| (1) - (x + y^2)::InputForm
| (1) y^2 + x
|Type:
InputForm
|
| Cool! Was that done by a simple patch? What is the revision number?
it was done by a simple
Dear Gaby
Looks like r881 is the one you meant. Can you confirm?
Martin, is this in your interest? I somehow had the impression that you
have other ideas of what InputForm should be used for.
Ralf
--
r2496 (orig r881):