Metatheory.jl

Metatheory.jl copied to clipboard

Same issue as [reported](https://github.com/JuliaSymbolics/SymbolicUtils.jl/issues/460) in SymbolicUtils.jl: reversing the order of two differential operators ``` # test_simple_rewrite.jl using Symbolics, Metatheory.Rewriters begin @variables x, t, f(x, t) Dx = Differential(x) Dt =...

Audrius-St

3.0 Release

14

Release 3.0 when merged

0x0f0f0f

@slots x::T

3

I can say ```jl @slots x @rule log(exp(x::Real)) --> x ``` but I wonder if the constraint should go with the slot declaration ```jl @slots x::Real @rule log(exp(x)) --> x...

jariji

Q: Using TermInterface to set up Metatheory

4

Hello, While I have been using Symbolics and SymbolicUtils for some time now [and greatly appreciate, having switched from Sympy], I am a novice in the use of Metatheory. My...

Audrius-St

This pull request changes the compat entry for the `AutoHashEquals` package from `0.2.0` to `0.2.0, 2`. This keeps the compat entries for earlier versions. Note: I have not tested your...

github-actions[bot]

This pull request changes the compat entry for the `AutoHashEquals` package from `0.2.0` to `0.2.0, 1`. This keeps the compat entries for earlier versions. Note: I have not tested your...

github-actions[bot]

Conditions involving more than one variable

1

Is there a way I can put conditions on the relationship between variables? ``` @rule x y (x < y) x - y --> 0 ```

jariji

I was looking at the extraction code, and it seems like it has a mechanism for common sub-expression handling. However, I couldn't quite tell what the strategy was for handling...

kylebd99

Issues in E-graph matching for parametrized types

5

Here is an example. ```julia using Metatheory， TermInterface struct Foo{A} x::A end TermInterface.istree(::Foo{T}) where T = true TermInterface.istree(::Type{Foo{T}}) where T = true TermInterface.exprhead(::Foo) = :call TermInterface.operation(::Foo{T}) where T = :(Foo{$T})...

ChenZhao44

Hi, I have a use case where I have long algebraic nonlinear expressions (type `Expr`) to be fed to an optimization model in JuMP, and I wish to simplify the...

vinhpb