GiNaC/check exam_clifford.cpp
Christian Bauer
cbauer at doraemon.physik.uni-mainz.de
Thu Jul 18 17:24:34 CEST 2002
Update of /home/cvs/GiNaC/check
Modified Files:
exam_clifford.cpp
Log Message:
- The dimension of indices is now treated as a kind of "effective" dimension
with respect to contractions; this allows for a limited support of subspaces,
e.g. delta.i[2].j[2] * a.i[3] -> a.j[2] by simplify_indexed(), and
delta.i[2].i[3] -> 2. Likewise, eta~mu[3]~nu[3] * eta.mu[4].nu[4] -> 3 etc.
(The numbers in brackets are the index dimensions which are not visible
in the output.)
Symbolic ("N", "D", ...) dimensions are always assumed to be higher than
numeric ones.
- eps0123 is gone, dirac_trace() generates ordinary epsilon tensors with
4-dimensional indices.
More information about the GiNaC-cvs
mailing list