On Feb 2, 3:10 pm, "[email protected]" <[email protected]> wrote: > On 2 ún, 17:38, Nicolas <[email protected]> wrote: > > > > > Thanks for your answer ! > > > Following your idea, ny playing around in maxima, I found that : > > > trigreduce(sin((a+b)/c)) > > ----> sin(b/c+a/c) > > > Therefore > > trigexpand(trigreduce(sin((a+b)/c))) > > ----> cos(a/c)*sin(b/c)+sin(a/c)*cos(b/c) > > Which is what is wanted > > > but I did not find any trigreduce in sage > > > Any idea how I can do that directly in sage ? > > sage: sin((a+b)/c)._maxima_().trigreduce().trigexpand().sage() > sin(a/c)*cos(b/c) + sin(b/c)*cos(a/c) > sage: sin((a+b)/c)._maxima_().expand().trigexpand().sage() > sin(a/c)*cos(b/c) + sin(b/c)*cos(a/c) > > btw: I attemepted to include trigreduce > byhttp://trac.sagemath.org/sage_trac/ticket/7334 > . However, there was an idea not to add new functions to Sage, but > rewrite simpification rules in Sage. See the discussion attached to > trac 7334 and the link to > sage-devel:http://groups.google.cz/group/sage-devel/browse_thread/thread/3899a57... > and look forward to Sage 4.3 :)
This is another reason for us not to get all finicky about structure, but just add the functionality. If we wait for someone to recategorize simplification/expansion (or to write it natively in Sage), problems like this will keep showing up. The philosophy of Sage was to do it, not to wait for perfection, I think. Sorry for being grumpy, but this has come up many times in the few months since we last had this discussion. - kcrisman -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
