Symmetry removal / discrimination nets for faster matching

[randomguy3]

[removed old text, as no longer relevant]

[iislucas]

I had an MSc student working on speeding that up using something like discrimination nets; I don't know how useful his code will be, but the ideas are ideas are cool, I think:

http://homepages.inf.ed.ac.uk/ldixon/teaching/proposed-projects/quanto-discrim-nets.html

I'll send a copy of the thesis to the quanto-list. This combined with matvey's symmetry removal should speed things up a lot.