- simplify_indexed() renames dummy indices so, e.g., "a.i*a.i+a.j*a.j" gets

[ginac.git] / ginac / clifford.h

diff --git a/ginac/clifford.h b/ginac/clifford.h
index 42be538f5f5bdbe9beb29dd95d67af6ab951b792..487c12d7f7d1e539d8252ea6a7ffcc98093bfeea 100644 (file)
--- a/ginac/clifford.h
+++ b/ginac/clifford.h
@@ -149,6 +149,10 @@ ex dirac_slash(const ex & e, const ex & dim, unsigned char rl = 0);
  *  @param trONE Expression to be returned as the trace of the unit matrix */
 ex dirac_trace(const ex & e, unsigned char rl = 0, const ex & trONE = 4);
 
+/** Bring all products of clifford objects in an expression into a canonical
+ *  order. This is not necessarily the most simple form but it will allow
+ *  to checking two expressions for equality. */
+ex canonicalize_clifford(const ex & e);
 
 } // namespace GiNaC