added one more check
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Sat, 19 May 2001 00:39:55 +0000 (00:39 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Sat, 19 May 2001 00:39:55 +0000 (00:39 +0000)
check/exam_indexed.cpp

index e1ee1eb1c8977e84c6b269acd632247db6073e41..10eb3d01e0b65b5dba44a18f4013cd264c918490 100644 (file)
@@ -315,6 +315,7 @@ static unsigned dummy_check(void)
 
        symbol p("p"), q("q");
        idx i(symbol("i"), 3), j(symbol("j"), 3), n(symbol("n"), 3);
+       varidx mu(symbol("mu"), 4), nu(symbol("nu"), 4);
        ex e;
 
        e = indexed(p, i) * indexed(q, i) - indexed(p, j) * indexed(q, j);
@@ -324,6 +325,9 @@ static unsigned dummy_check(void)
          - indexed(p, n) * indexed(p, n) * indexed(q, j) * indexed(q, j);
        result += check_equal_simplify(e, 0);
 
+       e = indexed(p, mu, mu.toggle_variance()) - indexed(p, nu, nu.toggle_variance());
+       result += check_equal_simplify(e, 0);
+
        return result;
 }