Ask Your Question

Symbolic matrix calculation

asked 2014-08-28 10:47:41 -0500

wpunkt gravatar image

updated 2014-08-28 10:48:47 -0500

Is it possible to do symbolic matrix calculation with sage? What I like to do is somehow declare that U_n are unitary matrices (without giving their dimension or explicit representation). Once declared I'd like sage to exploit the unitarity when it is evaluating expressions involving U_n, like:

A=U_1.H * U_1 * U_2

should yield


Is this possible?

edit retag flag offensive close merge delete

1 answer

Sort by » oldest newest most voted

answered 2014-08-29 12:58:29 -0500

tmonteil gravatar image

I am not sure you can hope for more relations than working in an abstract free group if you do not assume anything about your unitary matrices:

sage:  G.<U1,U2,U3> = FreeGroup()
sage: G
Free Group on generators {U1, U2, U3}

sage: A = U1*U1^(-1)*U2
sage: A
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2014-08-28 10:47:41 -0500

Seen: 62 times

Last updated: Aug 29 '14