X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Fexam_indexed.cpp;h=3d9b307db4f26fdcc33f8a6d245bb97fa41a973c;hp=23362a83e79b70c0a4e4b9ddcb6504a04698750c;hb=77ab8cc26b361fab2e8e13d278fcdbeea9b0ddf0;hpb=a9de0af1ab89fe64f9f159ee6d7ef88158d74e33 diff --git a/check/exam_indexed.cpp b/check/exam_indexed.cpp index 23362a83..3d9b307d 100644 --- a/check/exam_indexed.cpp +++ b/check/exam_indexed.cpp @@ -3,7 +3,7 @@ * Here we test manipulations on GiNaC's indexed objects. */ /* - * GiNaC Copyright (C) 1999-2002 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2004 Johannes Gutenberg University Mainz, Germany * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -55,7 +55,7 @@ static unsigned check_equal_simplify(const ex &e1, const ex &e2, const scalar_pr return 0; } -static unsigned delta_check(void) +static unsigned delta_check() { // checks identities of the delta tensor @@ -81,7 +81,7 @@ static unsigned delta_check(void) return result; } -static unsigned metric_check(void) +static unsigned metric_check() { // checks identities of the metric tensor @@ -114,7 +114,7 @@ static unsigned metric_check(void) return result; } -static unsigned epsilon_check(void) +static unsigned epsilon_check() { // checks identities of the epsilon tensor @@ -153,7 +153,7 @@ REGISTER_FUNCTION(symm_fcn, set_symmetry(sy_symm(0, 1))); DECLARE_FUNCTION_2P(anti_fcn) REGISTER_FUNCTION(anti_fcn, set_symmetry(sy_anti(0, 1))); -static unsigned symmetry_check(void) +static unsigned symmetry_check() { // check symmetric/antisymmetric objects @@ -202,7 +202,7 @@ static unsigned symmetry_check(void) return result; } -static unsigned scalar_product_check(void) +static unsigned scalar_product_check() { // check scalar product replacement @@ -225,7 +225,7 @@ static unsigned scalar_product_check(void) return result; } -static unsigned edyn_check(void) +static unsigned edyn_check() { // Relativistic electrodynamics @@ -241,19 +241,17 @@ static unsigned edyn_check(void) // Lorentz transformation matrix (boost along x axis) matrix L(4, 4); - L(0, 0) = gamma; - L(0, 1) = -beta*gamma; - L(1, 0) = -beta*gamma; - L(1, 1) = gamma; - L(2, 2) = 1; L(3, 3) = 1; + L = gamma, -beta*gamma, 0, 0, + -beta*gamma, gamma, 0, 0, + 0, 0, 1, 0, + 0, 0, 0, 1; // Electromagnetic field tensor - matrix F(4, 4, lst( - 0, -Ex, -Ey, -Ez, + matrix F(4, 4); + F = 0, -Ex, -Ey, -Ez, Ex, 0, -Bz, By, Ey, Bz, 0, -Bx, - Ez, -By, Bx, 0 - )); + Ez, -By, Bx, 0; // Indices symbol s_mu("mu"), s_nu("nu"), s_rho("rho"), s_sigma("sigma"); @@ -312,7 +310,7 @@ static unsigned edyn_check(void) return result; } -static unsigned spinor_check(void) +static unsigned spinor_check() { // check identities of the spinor metric @@ -347,7 +345,7 @@ static unsigned spinor_check(void) return result; } -static unsigned dummy_check(void) +static unsigned dummy_check() { // check dummy index renaming/repositioning @@ -380,7 +378,7 @@ static unsigned dummy_check(void) return result; } -unsigned exam_indexed(void) +unsigned exam_indexed() { unsigned result = 0;