v0.18.0

SymbolicUtils v0.18.0

Diff since v0.17.0

• Added an optimize function that takes an expression and returns the optimized expression, using EGraphs from Metatheory.jl
• symbolicegraph function to construct an egraph prepared for <:Symbolic expressions.
• Internal function toterm to transform Add, Mul, Pow, etc... into Term{T}
• Internal function unflatten that takes associative n-ary terms and turns them into their binary Term{T} representation (egraph rewriting works best with this representation)
• An egraph cost function that computes the cost of operations of terms in CPU cycles (See https://arxiv.org/abs/2105.03949).
• similarterm for <:Symbolic types can now dispatch against a f::Symbol operation, resolving the corresponding function object to support the EGraph backend

Merged pull requests:

• CSE (#200) (@shashi)
• Move generic term rewriting features to Metatheory.jl (#368) (@0x0f0f0f)
• [WIP] EGraphs optimization (#389) (@0x0f0f0f)

v0.17.0

SymbolicUtils v0.17.0

Diff since v0.16.0

Closed issues:

• Simplifying exponentials (#182)
• Consider adding a @capture macro that injects matches into the current scope. (#342)
• DynamicPolynomials promote error (#356)
• Use vectors instead of dicts for storing matches by using debrujin indexing for slot variables (#364)
• Port perf fix to master (#366)

Merged pull requests:

• add capture macro (#343) (@peterahrens)
• Pja/no export capture (#378) (@peterahrens)
• Add rules to simplify exponentials. (#382) (@kllrak)
• Unflatten * and + in toexpr (#383) (@YingboMa)

v0.16.0

SymbolicUtils v0.16.0

Diff since v0.15.5

Merged pull requests:

• Optimize Add/Mul ordering (master) (#367) (@YingboMa)

v0.15.5

SymbolicUtils v0.15.5

Diff since v0.15.4

Closed issues:

• Sorry to disturb you (#363)

Merged pull requests:

• CompatHelper: bump compat for Setfield to 0.8, (keep existing compat) (#369) (@github-actions[bot])
• fix expand for expressions with array indexing (#370) (@shashi)

v0.15.4

SymbolicUtils v0.15.4

Diff since v0.15.3

Closed issues:

• unsorted_arguments in rewriters.jl (#354)

Merged pull requests:

• Make simplify_fractions un-PolyForm terms (#358) (@shashi)

v0.13.5

SymbolicUtils v0.13.5

Diff since v0.13.4

Closed issues:

• x * y^(-n) should be x/y^n when printing and in toexpr (#300)
• CI fuzzer failure (#320)
• TypeError using expand (#330)
• Only unary rules unwrap Nums (#338)
• integer division error in simplify_fractions (#350)

Merged pull requests:

• WIP rational polynomial form (#231) (@shashi)
• TermInterface.jl integration (#302) (@0x0f0f0f)
• Optimized ordering computation (#346) (@YingboMa)
• Some more canonicalization in Div (#348) (@shashi)
• flatten_fraction (#351) (@shashi)
• speed up flatten_fraction (#353) (@shashi)

v0.15.3

SymbolicUtils v0.15.3

Diff since v0.15.2

Merged pull requests:

• speed up flatten_fraction (#353) (@shashi)

v0.15.2

SymbolicUtils v0.15.2

Diff since v0.15.1

Closed issues:

• TypeError using expand (#330)

Merged pull requests:

• Optimized ordering computation (#346) (@YingboMa)

v0.15.1

SymbolicUtils v0.15.1

Diff since v0.15.0

Closed issues:

• integer division error in simplify_fractions (#350)

Merged pull requests:

• Some more canonicalization in Div (#348) (@shashi)

v0.15.0

SymbolicUtils v0.15.0

Diff since v0.14.0

Closed issues:

• x * y^(-n) should be x/y^n when printing and in toexpr (#300)

Merged pull requests:

• TermInterface.jl integration (#302) (@0x0f0f0f)