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
A=U_2
Is this possible?
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
U2
Asked: 2014-08-28 17:47:41 +0100
Seen: 266 times
Last updated: Aug 29 '14
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.