------- Original Message ------- On Wednesday, July 19th, 2023 at 4:46 PM, Ralf Hemmecke <[email protected]> wrote:
> Ah, you want to challenge me. ;-) No, honestly, I am grateful that you > pose such questions. No, I don't want to challenge anybody. I just want to know how to get in FriCAS what I want. I think it will be easier to achieve it with an example. > (323) -> eq := c^2 = a^2 + b^2 -(2ab)*cos(gamma) The reason why I enclosed 2ab in brackets is to visually separate it from cosine. Otherwise one could think there are six variables: a, b, c, o, s, and γ. That's not what I want FriCAS to distribute. > (324) -> map(x +-> subst(x,[a=(l+k)/2, b=(l-k)/2]), eq) I don't think that I fully understand this command but at least the result is okay. > Is that what you want? > > Ralf That's just a preliminary step. Now we get to the point. How to distribute cos(γ) over (k²-l²) and then factor out k² and l² to derive k²(1+cos(γ))+l²(1-cos(γ))? Thank you in advance. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/ojMaB9VKifqRXI2Ex7x6y0ioJamfViplDv6CflbHtZ-tzzFrqKXVJ8YqZUcIe2UlIXuUVqpPUojo2qm3SZDEdwL3oIS6wI7kQB3fcfTJ8uo%3D%40proton.me.
