I have a unitary Matrix which consists of Complex coefficients like A, B C etc I want to have a complex repres. For A like A = a0* Exp (i Phi) and saying that a0 is real and positiv. I tried the Assumption option but everytime it doesn't work when i try to look at ComplexConj(A) * A - i alwayd get sth like a0 * Conjugate a0 but it should be a0^2.
Can you please help me?