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
        ++

In fact, why is that such an internal form? For sum and product there is
no new internal variable.

(3) -> product(x^x, x)::OutputForm pretend SExpression

   (3)  (PI x (^ x x))

(4) -> sum(x^x, x)::OutputForm pretend SExpression

   (4)  (SIGMA x (^ x x))

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.

Reply via email to