Adding differentiation/integration rules.. and simplification too



You haven't said what you want done.  identities
go both ways.  if you want to substitute
(1-cn(u)/(1+dn(u)) for sn(u/2)^2 then try

ratsubst(..., sn(u/2)^2,  expression).


Also, for specific u or "any" u?

You could look at the code for trigsimp.

Also, for sin/cos/tan etc  there are complex exponentials
which provide a clue to canonical forms. Exponentialize
does this..

  Maybe there
is something similar for sn cn etc.
RJF


Raymond Toy wrote:


> 
> 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.
> 
> Thanks!
> 
> Ray
> _______________________________________________
> Maxima mailing list
> Maxima@www.math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>