- first implementation of pattern matching

[ginac.git] / NEWS

diff --git a/NEWS b/NEWS
index 203bd6e497cbeade4fd82611cbf02533fa116556..d08e730e48711ef795f7a6e337820f202b3dcf0b 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -3,6 +3,13 @@ This file records noteworthy changes.
 0.8.4 (<date>)
 * simplify_indexed() renames dummy indices so, e.g., "a.i*a.i+a.j*a.j" gets
   simplified to "2*a.i*a.i".
+* Added canonicalize_clifford() function that can be helpful when comparing
+  expressions containing Dirac matrices.
+* Added a new function match() for performing pattern matching. subs() and
+  has() also accept patterns as arguments. A pattern can be any expression,
+  optionally containing wildcard objects. These are constructed with the
+  call "wild(<unsigned>)" and are denoted as "$0", "$1" etc. in the output
+  and in ginsh.
 * Fixed possible crash when calling subs() on expressions with non-commutative
   products.