> We can use "paren"/"box" to keep the factors.
I was thinking about "box", but not in such a sophisticated way as you
did. Comes probably from my dislike of Expression(X). ;-)
Ralf
> (25) -> exp map(x+->box(x::EXPR INT),factor numer first argument
> mainKernel exp(-a^2*x^2 - a^2*y^2))
>
>
I was also having some thoughs about factoring Expression.
I think it's doable, especially for displaying purpose.
We can use "paren"/"box" to keep the factors.
A quick sketch:
(25) -> exp map(x+->box(x::EXPR INT),factor numer first argument
mainKernel exp(-a^2*x^2 - a^2*y^2))
2
>
> PS: BTW, what does have TeXmacs have to do with this FriCAS question?
>
I use TeXmacs as a frontend for FriCAS. I would like to be able to use the
expressions
generated by the CAS directly in my notes, papers, etc. But apparently, it
takes some
work to get that done.
Thanks anyway for your
> In particular, there must be a way of defining a type for an
> exponential of a factored polynomial.
Of course, there is. However, I guess, you don't want to program this
just for the following.
> I am not interested in factorizing the exponential for doing a
> calculation, it is just for insert