[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [fricas-devel] Re: [Axiom-mail] InputForm
From: |
Martin Rubey |
Subject: |
Re: [fricas-devel] Re: [Axiom-mail] InputForm |
Date: |
Wed, 03 Jun 2009 16:06:37 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.3 (gnu/linux) |
Ralf Hemmecke <address@hidden> writes:
> I don't yet know what unparse does, but do you think that
>
> lin z == unparse(z::InputForm)::Symbol::OutputForm
>
> should do the job also for other expressions than polynomials?
well...
(5) -> sum(1/i, i=1..n)::INFORM
(5) (%defsum (/ 1 %G) %G i 1 n)
Type: InputForm
One idea we had is that InputForm preserves the semantics *exactly*, and
another function possibly pretends that we'd be using the interpreter,
and thus assumes the interpreter's environment.
At least I for one am strongly in favour of that idea, and even with
this in mind, (5) above is a bug.
(11) -> unparse(integrate(%e^(x^2), x)::INFORM)
(11) "integral(exp(x^2),x::Symbol)"
Type: String
is another example. Note that integral *is* a function, so the result
of INFORM is quite OK...
In summary, it really depends on what you want to do.
Martin
- [Axiom-mail] InputForm, Ralf Hemmecke, 2009/06/03
- Re: [Axiom-mail] InputForm, Martin Rubey, 2009/06/03
- Re: [fricas-devel] Re: [Axiom-mail] InputForm, Ralf Hemmecke, 2009/06/03
- Re: [fricas-devel] Re: [Axiom-mail] InputForm,
Martin Rubey <=
- Re: [fricas-devel] Re: [Axiom-mail] InputForm, Gabriel Dos Reis, 2009/06/03
- Re: [fricas-devel] Re: [Axiom-mail] InputForm, Ralf Hemmecke, 2009/06/03
- Re: [fricas-devel] Re: [Axiom-mail] InputForm, Bill Page, 2009/06/03
- Re: [fricas-devel] Re: [Axiom-mail] InputForm, Gabriel Dos Reis, 2009/06/03
- Re: [fricas-devel] Re: [Axiom-mail] InputForm, Ralf Hemmecke, 2009/06/03
- Re: [fricas-devel] Re: [Axiom-mail] InputForm, Gabriel Dos Reis, 2009/06/03
- Re: [fricas-devel] Re: [Axiom-mail] InputForm, Tim Daly, 2009/06/04
- Re: [fricas-devel] Re: [Axiom-mail] InputForm, Gabriel Dos Reis, 2009/06/04
- Re: [fricas-devel] Re: [Axiom-mail] InputForm, Tim Daly, 2009/06/04
- Re: [fricas-devel] Re: [Axiom-mail] InputForm, Gabriel Dos Reis, 2009/06/04