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