Re: [GiNaC-list] question about lorentz_g contract with sy_anti tensor
Tanks a lot! Yes and Sorry, I forgot to call simplified_indexed. Still, I get some confused with the index variance. and excuse me to let me explain my options in some details. I understand g_c^d = g_{ce} g^{ed}, and let’s come back to the ret expresion: "auto ret = indexed(A, sy_anti(0,1,2,3), ia,ib,ic,id) *lorentz_g(ic, id.toggle_variance());” In my understanding, it corresponds to A^{abcd} * g^{c}_{d}, is that right? if so, then A^{abcd} * g^{c}_{d} = A^{abcc}, so according to sy_anti, it is 0, directly from GiNaC. So if I want to contract two index in A, I mean, we need this one: A^{abc}_{c} = A^{abcd} * g^{dc} ? Thanks very much! Best Regards! Feng
On Sun, 26 May 2019 09:45:27 +0000, Feng Feng <F.Feng@outlook.com> said: FF> So if I want to contract two index in A, I mean, we need this FF> one: A^{abc}_{c} = A^{abcd} * g^{dc} ?
No, you need A^{abc}_{c} = A^{abcd} * g_{dc}. To have a dummy summation over varidx you need its two instances with different variance. -- Vladimir V. Kisil http://www.maths.leeds.ac.uk/~kisilv/ Book: Geometry of Mobius Transformations http://goo.gl/EaG2Vu Software: Geometry of cycles http://moebinv.sourceforge.net/
participants (2)
-
Feng Feng
-
Vladimir V. Kisil