saulshanabrook:multiset - Branch - egraphs-good/egglog

Add multisets

#446Merged

Comparing

saulshanabrook:multiset

(

0042f72

) with

main

(

b9f4c58

)

Ignored: 2

Archived: 89

Benchmarks

89 archived benchmarks were run. If they were deleted in another branch, consider rebasing to remove them from the report. .

Ignored

rational

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

906.5 µs911.6 µs

semi_naive_set_function

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

+1%

37.9 ms37.7 ms

Commits

Click on a commit to change the comparison range

Base

main

b9f4c58

-8.55%

Add multisets This PR adds a multiset sort. It is based on a data structure that implements functional sharing. Using that sort, an example is added to show how you can use it to express associative & commutative operations like addition in multiplication with multisets, so that their canonical forms don't need to re-encoded for every ordering. See [these](https://egraphs.zulipchat.com/#narrow/channel/328972-general/topic/Reducing.20node.20explosion.20through.20algebraic.20representations.3F) [threads](https://egraphs.zulipchat.com/#narrow/channel/328972-general/topic/Linear.20and.20Polynomial.20Equations) on zulip for some more background.

23cfd61

1 year ago

by saulshanabrook

-1.37%

Combine multiset files

b6fb41c

1 year ago

by saulshanabrook

+9.68%

Switch to im from rpds

b987f89

1 year ago

by saulshanabrook

+0.07%

Cache length of multiset

f090848

1 year ago

by saulshanabrook

-0.02%

Merge branch 'main' into multiset

0042f72

1 year ago

by saulshanabrook

Home Terms Privacy Docs