Alessandro Cheli

Hi anand. This is possible and fairly easy. I can add a function overloading `Base.inv`, but you have to know that inverting a rule that has more variables on the...

Interesting idea. There's also #41 Something based on https://juliagraphs.org/GraphPlot.jl/ might also be cool to do, but I guess a native GraphViz approach may be the best. See how [egg](https://github.com/egraphs-good/egg) plots...

I left development changes on master (2.0.0-DEV) and i see that package version in master branch has been downgraded to 1.4.0. What happened precisely? I guess the solution may be...

Not yet. We're planning to do so Egg rust library has it https://docs.rs/egg/0.7.1/egg/tutorials/_03_explanations/index.html

See this for later implementation https://www.cs.upc.edu/~roberto/papers/rta05.pdf cc @Wilkenfeld

Yes, may be the culprit. Need to debug.

It's out of date! Sorry. I should update it. Original author is @philzook58 . Maybe phil could help

It would be nice to have `eggify` as a method dispatching on `

This should return true even with this change. This is a bug of the capture macro i guess. The pattern matcher should support both function names and objects. Code in...

> Let's please add all those cases into the tests. Yes. Test cases should be extended. Im currently not at my laptop but will look into fixes asap. https://github.com/JuliaSymbolics/Metatheory.jl/blob/3b6b1153b64c8473872b226ec7c3e593a50fb236/test/test_reductions.jl#L154