Metatheory.jl

Metatheory.jl copied to clipboard

Automated changes by [create-pull-request](https://github.com/peter-evans/create-pull-request) GitHub action

github-actions[bot]

Register

5

@JuliaRegistrator register()

ChrisRackauckas

Fix CI

3

What is going on?

shashi

I’ve updated `lambda_theory.jl` to work with the current version of Metatheory.jl.

ntoxeg

is this the best way to `reverse(r::Rule)`?

1

I haven't really read through this repo, but I didn't see an easy way to take `@rule ~x => exp(~x)` to `@rule exp(~x) => ~x`. This was the hack I...

anandijain

Can not infer term type in egraph

1

Something is wrong when matching against pure literal rules, such as `pi + 3 --> cos(4)`, `im+(pi+3) --> sin(4)`. The following demo can reproduce the issue. I've tried different versions...

vitrun

Produce EGraph images like egg.

1

Some resources https://github.com/Keno/GraphViz.jl https://epatters.github.io/Catlab.jl/dev/generated/graphics/graphviz_wiring_diagrams/ https://github.com/search?q=Compose.jl&type=Repositories

0x0f0f0f

Hi, Recently, I tried to use the combination of rewriters to achieve the idea of rewriting until no changes. More specifically, I use `Fixpoint(Postwalk(PassThrough(r)))` to traverse an Expr, hoping a...

overshiki

Rewriting broadcasted functions doesn't work

1

The following works as expected ```julia julia> r = @rule a b log(a / b) --> log(a) - log(b) julia> r(:(log(x / y))) :(log(x) - log(y)) ``` However I'm interested...

jenkspt

Proof production algorithm

2

Is it possible to extract the steps needed to produce the final answer? for example. `(a*2)/2` -step1-> `a*(2/2)` -step2-> `a` rule of step1: `(x*y)/z --> x*(y/z)` rule of step2: `x/x...

vitrun