cadabra2

cadabra2 copied to clipboard

The code in pattern::match runs Ex_comparator::equal_subtree. This is a generic routine which builds a replacement map even when (in cases such as this) a replacement map is not required. Add a fast path to avoid this (and make debugging output of Compare.cc easier to read because it will then not spit out anything anymore when doing a get inside Compare.cc).