Adding differentiation/integration rules



>>>>> "Boris" == Boris Veytsman <borisv@lk.net> writes:

    >> From: Raymond Toy <toy at rtp>
    >> Date: 25 Sep 2001 13:04:08 -0400
    >> 
    >> I now have a final question.  sn has these properties:
    >> 
    >> sn(u/2)^2 = (1-cn(u))/(1+dn(u))
    >> 
    >> sn(2*u) = 2*sn(u)*cn(u)*dn(u)/(1-m*sn(u)^4)
    >> 
    >> How do I get maxima to understand this?  However, I don't want this
    >> applied all of the time, just like the corresponding trig functions.
    >> 

[solution snipped]

Very cool. 

Much appreciated.

Ray