From: Christian Bauer Date: Wed, 21 Feb 2001 18:40:15 +0000 (+0000) Subject: - g~mu_mu contraction returns Dim for general Lorentz indices and Dim-dimP X-Git-Tag: release_0-7-3~12 X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=3c509d24fde911c9438501bbf3b150c9e89ff538;hp=fa1dee5bb93c4ed133ea6b774f7e620a025fcff4 - g~mu_mu contraction returns Dim for general Lorentz indices and Dim-dimP for orthogonal-only indices --- diff --git a/ginac/lortensor.cpp b/ginac/lortensor.cpp index f9d5f44a..e8f4f873 100644 --- a/ginac/lortensor.cpp +++ b/ginac/lortensor.cpp @@ -321,7 +321,10 @@ ex lortensor::eval(int level) const return _ex0(); } } else if (idx1.is_symbolic() && idx1.is_co_contra_pair(idx2)) { - return Dim(); + if (idx1.is_orthogonal_only()) + return Dim() - idx1.get_dim_parallel_space(); + else + return Dim(); } } return this -> hold(); diff --git a/ginac/simp_lor.cpp b/ginac/simp_lor.cpp index 3454b5a0..ed79d753 100644 --- a/ginac/simp_lor.cpp +++ b/ginac/simp_lor.cpp @@ -233,9 +233,11 @@ ex simp_lor::eval(int level) const // at least one off-diagonal return _ex0(); } - } else if (idx1.is_symbolic() && - idx1.is_co_contra_pair(idx2)) { - return Dim() - 2; + } else if (idx1.is_symbolic() && idx1.is_co_contra_pair(idx2)) { + if (idx1.is_orthogonal_only()) + return Dim() - idx1.get_dim_parallel_space(); + else + return Dim(); } }