On 07/05/2014 03:08 AM, Waldek Hebisch wrote: >> >> Do we really want to show an integral with such internal symbols? >> >> http://axiom-wiki.newsynthesis.org/SandboxPlex >> >> >> (1) -> integral(x^x, x) >> >> x >> ++ %A >> (1) | %A d%A >> ++ >> >> (2) -> integral(x^x, x)::OutputForm pretend SExpression >> >> (2) (INTSIGN (NOTHING) x (* (^ %A %A) (CONCAT d %A))) >> >> The internal representation should stay as it is, but the OutputForm >> formatters should rather output something like >> >> ++ x >> | x dx >> ++ > > Given OutputForm in (2) output (1) is expected.
Expected, because that is what currently comes out or rather in the sense "that is what *you* want"? Personally, I'd prefer >> ++ x >> | x dx >> ++ because this is what I would write in a paper. Sure, the form >> x >> ++ %A >> (1) | %A d%A >> ++ is OK in the sense that the bound variable is %A and the result is a function in x. > Formatters should deal with typesetting issues, but should not mess > with semantics (including symbol names). That's clear. >> In fact, why is that such an internal form? For sum and product there is >> no new internal variable. > Look at: > > (8) -> integral(integral(x^x, x), x) > > x %A > ++ ++ %A > (8) | | %A d%A d%A > ++ ++ > Type: Expression(Integer) > (9) -> integral(integral(integral(x^x, x), x), x) > > x %A %A > ++ ++ ++ %A > (9) | | | %A d%A d%A d%A > ++ ++ ++ > Type: Expression(Integer) > > This is not what I want due to using only one dummy, but with > different dummy at each level it would be better than version > with 'x' only. OK, but here we must rename the variables that are produced when OutputForm is generated. Looking at the internals of (9 as Expression(Integer), however, rather suggests to me that the integral function produces a wrong structure already before OutputForm is generated. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
