I've been messing with SymbolicUtils rules (see https://discourse.julialang.org/t/struggling-with-defining-a-good-factorization-rule-in-symbolicutils-jl/111522 ) while trying to define a good factorisation rewriter. Now, I'm able to factorise ab + ac, ab + bc, and ac + bc. However, I can't see an easy way to do this:
Last updated: Nov 06 2024 at 04:40 UTC