On 08/22/2014 08:36 PM, Bill Page wrote: > How could this be made easier?
Good question. Answer: Teaching people with lots of examples to get the general idea of how to construct the actual domain. Yes, that actually involves a bit of thinking on the side of the user, even though (like in this) case, one only wants to have a multivariate power series. Nevertheless, there is no such thing as THE multivariate power series. The result that FriCAS prints for x:=taylor 'x y:=taylor 'y sinh(x)*cosh(y) is actually also OK. But it is in Q[[x]][[y]], i.e. power series in y with coefficients being power series in x. FriCAS gives you, what you have asked for and it is even "smart" to construct a common domain where x an y both live. Maple obviously chooses (more or less) by default the approach that I've put on the axiom-wiki, only that it hides the nasty details. So I guess, one could convince the Interpreter to be a bit "smarter". But since that is quite a fuzzy thing to achieve (everyone wants something else), I would tend to leave it as it is until we have better ideas to simplify how users do things in FriCAS. But try to get Maple to give you the result in Q[[x]][[y]]. Only after you have done this, I will provide you with a number n and ask you for the coeffient of y^n. > I am in favour also of generalizing this for other series (where possible). Can you clarify, what exactly you mean by that? 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.
