Hi Ralf, Thank you for your prompt reply. I understand that FriCAS works different from other CA systems. To me it is like using Haskell for doing computer algebra. And I think that is a very interesting approach.
I am not a computer scientist, but I think it should be possible to do the same things using a type-based and a list-based CA system. In particular, there must be a way of defining a type for an exponential of a factored polynomial. I am not interested in factorizing the exponential for doing a calculation, it is just for inserting the resulting expression in TeXmacs. -- 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 https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
