From ba4692d78f4412b3b072e86c2b48e8e716e82fff Mon Sep 17 00:00:00 2001 From: Christian Bauer Date: Sat, 19 May 2001 00:39:55 +0000 Subject: [PATCH 1/1] added one more check --- check/exam_indexed.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/check/exam_indexed.cpp b/check/exam_indexed.cpp index e1ee1eb1..10eb3d01 100644 --- a/check/exam_indexed.cpp +++ b/check/exam_indexed.cpp @@ -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; } -- 2.44.0