From: Christian Bauer Date: Wed, 27 Jun 2001 19:15:31 +0000 (+0000) Subject: - added fderivative class to archive exam X-Git-Tag: release_0-9-1~6 X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=83b8438ae031fa9abe70ddaace4d1501c8683551;hp=b5ef48a4ee8270d3b8f029ec739e00d9691367c7 - added fderivative class to archive exam - added slightly more complex symmetries to indexed exam --- diff --git a/check/exam_archive.cpp b/check/exam_archive.cpp index 2566a543..94130adb 100644 --- a/check/exam_archive.cpp +++ b/check/exam_archive.cpp @@ -48,7 +48,8 @@ unsigned exam_archive(void) + dirac_gamma(varidx(mu, dim)) * dirac_gamma(varidx(mu, 4-dim, true)) * color_T(idx(x, 8), 1) * color_h(idx(x, 8), idx(y, 8), idx(2, 8)) * indexed(x, sy_anti(), idx(2*y+1, x), varidx(-mu, 5)) - - 2.4275 * spinor_metric(spinidx(x), spinidx(y)); + - 2.4275 * spinor_metric(spinidx(x), spinidx(y)) + + abs(x).series(x == y, 4); archive ar; ar.archive_ex(e, "expr 1"); diff --git a/check/exam_indexed.cpp b/check/exam_indexed.cpp index 8f778311..546eea78 100644 --- a/check/exam_indexed.cpp +++ b/check/exam_indexed.cpp @@ -161,6 +161,16 @@ static unsigned symmetry_check(void) indexed(B, sy_anti(), k, l); // GiNaC 0.8.0 had a bug here result += check_equal_simplify(e, e); + symmetry R = sy_symm(sy_anti(0, 1), sy_anti(2, 3)); + e = indexed(A, R, i, j, k, l) + indexed(A, R, j, i, k, l); + result += check_equal(e, 0); + e = indexed(A, R, i, j, k, l) + indexed(A, R, i, j, l, k); + result += check_equal(e, 0); + e = indexed(A, R, i, j, k, l) - indexed(A, R, j, i, l, k); + result += check_equal(e, 0); + e = indexed(A, R, i, j, k, l) + indexed(A, R, k, l, j, i); + result += check_equal(e, 0); + e = indexed(A, i, j); result += check_equal(symmetrize(e) + antisymmetrize(e), e); e = indexed(A, sy_symm(), i, j, k, l);