fixed a bug in the raising/lowering of dummy indices and extended it to work

[ginac.git] / check / exam_indexed.cpp

diff --git a/check/exam_indexed.cpp b/check/exam_indexed.cpp
index 4ba1794bcdba507b2bb00e5f0ba57cb6211ea514..a8c7cbd698f6da73a6673bb32e60cdfd44c387c9 100644 (file)
--- a/check/exam_indexed.cpp
+++ b/check/exam_indexed.cpp
@@ -337,7 +337,7 @@ static unsigned spinor_check(void)
 
 static unsigned dummy_check(void)
 {
-       // check dummy index renaming
+       // check dummy index renaming/repositioning
 
        unsigned result = 0;
 
@@ -356,6 +356,15 @@ static unsigned dummy_check(void)
        e = indexed(p, mu, mu.toggle_variance()) - indexed(p, nu, nu.toggle_variance());
        result += check_equal_simplify(e, 0);
 
+       e = indexed(p, mu.toggle_variance(), nu, mu) * indexed(q, i)
+         - indexed(p, mu, nu, mu.toggle_variance()) * indexed(q, i);
+       result += check_equal_simplify(e, 0);
+
+       e = indexed(p, mu, mu.toggle_variance()) - indexed(p, nu.toggle_variance(), nu);
+       result += check_equal_simplify(e, 0);
+       e = indexed(p, mu.toggle_variance(), mu) - indexed(p, nu, nu.toggle_variance());
+       result += check_equal_simplify(e, 0);
+
        return result;
 }