Generalize Formula::resolveIdentities

loda-lang / loda-cpp

Runtime and miner for the LODA language written in C++

https://loda-lang.org/

Apache License 2.0

21 stars 1 forks source link

Closed ckrause closed 8 months ago

ckrause commented 11 months ago

This function could be generalized to allow transformations using closed formulas. This could simplify many formulas. Possible example: A083322

ckrause commented 8 months ago

A083322 was fixed using Gaussian elimination.