From ff96974562b86f5c04f82ecd91b2cdb97f6bd990 Mon Sep 17 00:00:00 2001 From: Christian Bauer Date: Mon, 2 Aug 2004 21:40:04 +0000 Subject: [PATCH] added check for power::get_free_indices() --- check/exam_indexed.cpp | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/check/exam_indexed.cpp b/check/exam_indexed.cpp index 3d9b307d..e20b5643 100644 --- a/check/exam_indexed.cpp +++ b/check/exam_indexed.cpp @@ -375,6 +375,15 @@ static unsigned dummy_check() e = indexed(p, mu.toggle_variance(), mu) - indexed(p, nu, nu.toggle_variance()); result += check_equal_simplify(e, 0); + // GiNaC 1.2.1 had a bug here because p.i*p.i -> (p.i)^2 + e = indexed(p, i) * indexed(p, i) * indexed(p, j) + indexed(p, j); + ex fi = exprseq(e.get_free_indices()); + if (!fi.is_equal(exprseq(j))) { + clog << "get_free_indices(" << e << ") erroneously returned " + << fi << " instead of (.j)" << endl; + ++result; + } + return result; } -- 2.44.0