[sage-support] Real exponential of a matrix (rotations with sine/cosine)

2010-05-25 Thread Laurent
Hi all I'm trying to exponentiate the small antisymmetric matrix (infinitesimal rotation of angle x). Following the ideas of the thread «How does one define a real variable», I try the following : sage : var('x') sage: assume(x,'real') sage : X=matrix([ [0,1],[-1,0] ]) sage: R=exp(x*X)

Re: [sage-support] Real exponential of a matrix (rotations with sine/cosine)

2010-05-25 Thread Mike Hansen
Hello, On Tue, May 25, 2010 at 8:11 AM, Laurent moky.m...@gmail.com wrote: By the way, the following works : sage : a=R[0][0] sage: (a.real_part()+a.imag_part()).simplify_full() cos(x) How can automatize it ? Is it a way to perform this simplification to each element of the matrix at once