Skip to content

Commit b642cc6

Browse files
tmp
1 parent be752f1 commit b642cc6

11 files changed

Lines changed: 5042 additions & 0 deletions

docs/explanation/2026_03_param_eq_paper_replication.ipynb

Lines changed: 1760 additions & 0 deletions
Large diffs are not rendered by default.

docs/explanation/2026_03_param_eq_paper_replication.py

Lines changed: 672 additions & 0 deletions
Large diffs are not rendered by default.

pyproject.toml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -65,8 +65,11 @@ docs = [
6565
"sphinx-autodoc-typehints",
6666
"sphinx-gallery",
6767
"nbconvert",
68+
"pandas",
6869
"matplotlib",
6970
"anywidget",
71+
"altair",
72+
"vl-convert-python",
7073
"seaborn",
7174
"egglog[array]",
7275
"line-profiler",

python/egglog/exp/param_eq_hegg.py

Lines changed: 848 additions & 0 deletions
Large diffs are not rendered by default.

python/exp/param_eq_paper/artifacts/egglog_paper_rows.csv

Lines changed: 683 additions & 0 deletions
Large diffs are not rendered by default.

python/exp/param_eq_paper/artifacts/haskell_paper_rows.csv

Lines changed: 421 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 214 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,214 @@
1+
benchmark_name,node_count,runtime_ms
2+
Egg/45,45,212.200000000
3+
Egg/41,41,16.150000000
4+
Egg/34,34,193.600000000
5+
Egg/48,48,717.900000000
6+
Egg/37,37,26.040000000
7+
Egg/45,45,199.100000000
8+
Egg/25,25,117.200000000
9+
Egg/38,38,186.800000000
10+
Egg/41,41,23.130000000
11+
Egg/44,44,51.680000000
12+
Egg/40,40,160.200000000
13+
Egg/25,25,5.692000000
14+
Egg/43,43,92.390000000
15+
Egg/44,44,271.000000000
16+
Egg/32,32,89.710000000
17+
Egg/45,45,35.770000000
18+
Egg/37,37,35.700000000
19+
Egg/45,45,23.800000000
20+
Egg/28,28,4.230000000
21+
Egg/41,41,188.800000000
22+
Egg/41,41,74.220000000
23+
Egg/40,40,15.480000000
24+
Egg/45,45,204.600000000
25+
Egg/33,33,285.500000000
26+
Egg/48,48,30.500000000
27+
Egg/45,45,109.400000000
28+
Egg/43,43,27.120000000
29+
Egg/48,48,65.540000000
30+
Egg/36,36,14.420000000
31+
Egg/48,48,29.450000000
32+
Egg/19,19,442.100000000
33+
Egg/17,17,52.570000000
34+
Egg/17,17,70.240000000
35+
Egg/19,19,243.000000000
36+
Egg/19,19,340.200000000
37+
Egg/19,19,128.100000000
38+
Egg/17,17,53.480000000
39+
Egg/16,16,115.200000000
40+
Egg/19,19,237.200000000
41+
Egg/14,14,47.630000000
42+
Egg/17,17,53.940000000
43+
Egg/20,20,93.280000000
44+
Egg/16,16,129.500000000
45+
Egg/19,19,107.900000000
46+
Egg/19,19,327.000000000
47+
Egg/19,19,317.200000000
48+
Egg/21,21,320.700000000
49+
Egg/21,21,313.500000000
50+
Egg/21,21,123.100000000
51+
Egg/17,17,57.440000000
52+
Egg/17,17,55.740000000
53+
Egg/17,17,54.740000000
54+
Egg/19,19,336.200000000
55+
Egg/18,18,134.900000000
56+
Egg/16,16,53.960000000
57+
Egg/1,1,0.146800000
58+
Egg/1,1,0.147200000
59+
Egg/21,21,270.100000000
60+
Egg/19,19,56.220000000
61+
Egg/17,17,53.840000000
62+
Egg/63,63,6.460000000
63+
Egg/77,77,3.451000000
64+
Egg/40,40,105.000000000
65+
Egg/29,29,86.170000000
66+
Egg/89,89,1.360000000
67+
Egg/64,64,52.330000000
68+
Egg/58,58,1.405000000
69+
Egg/67,67,4.851000000
70+
Egg/71,71,46.370000000
71+
Egg/66,66,4.088000000
72+
Egg/51,51,3.149000000
73+
Egg/83,83,37.770000000
74+
Egg/37,37,2.279000000
75+
Egg/78,78,226.800000000
76+
Egg/67,67,24.290000000
77+
Egg/29,29,0.540800000
78+
Egg/72,72,2.782000000
79+
Egg/55,55,14.230000000
80+
Egg/33,33,0.783700000
81+
Egg/67,67,219.500000000
82+
Egg/59,59,6.614000000
83+
Egg/25,25,4.901000000
84+
Egg/66,66,27.150000000
85+
Egg/43,43,160.500000000
86+
Egg/32,32,2.992000000
87+
Egg/29,29,2.482000000
88+
Egg/85,85,7.570000000
89+
Egg/69,69,13.310000000
90+
Egg/56,56,1.331000000
91+
Egg/32,32,7.101000000
92+
Egg/79,79,13.280000000
93+
Egg/55,55,4.221000000
94+
Egg/89,89,109.200000000
95+
Egg/217,217,410.000000000
96+
Egg/116,116,1039.000000000
97+
Egg/194,194,379.400000000
98+
Egg/142,142,473.500000000
99+
Egg/269,269,380.200000000
100+
Egg/191,191,590.700000000
101+
Egg/191,191,377.100000000
102+
Egg/241,241,440.900000000
103+
Egg/202,202,358.800000000
104+
Egg/223,223,663.900000000
105+
Egg/357,357,531.900000000
106+
Egg/154,154,493.200000000
107+
Egg/134,134,555.700000000
108+
Egg/184,184,329.300000000
109+
Egg/416,416,707.500000000
110+
Egg/129,129,527.900000000
111+
Egg/174,174,339.700000000
112+
Egg/160,160,590.300000000
113+
Egg/196,196,463.500000000
114+
Egg/151,151,643.600000000
115+
Egg/125,125,709.800000000
116+
Egg/168,168,1315.000000000
117+
Egg/155,155,305.200000000
118+
Egg/170,170,373.500000000
119+
Egg/138,138,309.200000000
120+
Egg/179,179,663.600000000
121+
Egg/133,133,594.100000000
122+
Egg/186,186,423.500000000
123+
Egg/165,165,453.100000000
124+
Egg/131,131,1150.000000000
125+
Egg/1,1,0.139700000
126+
Egg/30,30,253.500000000
127+
Egg/28,28,274.600000000
128+
Egg/10,10,0.954400000
129+
Egg/31,31,435.000000000
130+
Egg/1,1,0.166900000
131+
Egg/28,28,157.900000000
132+
Egg/29,29,5.302000000
133+
Egg/29,29,73.570000000
134+
Egg/28,28,393.900000000
135+
Egg/29,29,262.800000000
136+
Egg/29,29,393.600000000
137+
Egg/29,29,225.200000000
138+
Egg/26,26,4.449000000
139+
Egg/29,29,173.700000000
140+
Egg/26,26,81.570000000
141+
Egg/29,29,294.500000000
142+
Egg/27,27,53.530000000
143+
Egg/28,28,3.177000000
144+
Egg/28,28,221.100000000
145+
Egg/28,28,4.708000000
146+
Egg/31,31,262.300000000
147+
Egg/29,29,130.800000000
148+
Egg/27,27,65.000000000
149+
Egg/29,29,24.890000000
150+
Egg/28,28,5.798000000
151+
Egg/27,27,20.730000000
152+
Egg/28,28,306.400000000
153+
Egg/28,28,85.760000000
154+
Egg/28,28,23.420000000
155+
Egg/43,43,14.500000000
156+
Egg/23,23,25.420000000
157+
Egg/27,27,3.468000000
158+
Egg/49,49,31.470000000
159+
Egg/23,23,2.993000000
160+
Egg/53,53,36.180000000
161+
Egg/21,21,8.431000000
162+
Egg/20,20,225.500000000
163+
Egg/31,31,102.600000000
164+
Egg/25,25,5.126000000
165+
Egg/24,24,294.000000000
166+
Egg/15,15,130.600000000
167+
Egg/33,33,5.123000000
168+
Egg/29,29,281.400000000
169+
Egg/45,45,36.260000000
170+
Egg/47,47,126.000000000
171+
Egg/49,49,111.500000000
172+
Egg/23,23,6.700000000
173+
Egg/25,25,13.980000000
174+
Egg/39,39,45.590000000
175+
Egg/43,43,5.005000000
176+
Egg/27,27,4.470000000
177+
Egg/27,27,268.900000000
178+
Egg/29,29,2.533000000
179+
Egg/20,20,1.174000000
180+
Egg/16,16,1.082000000
181+
Egg/53,53,254.400000000
182+
Egg/41,41,8.862000000
183+
Egg/17,17,1.122000000
184+
Egg/27,27,11.140000000
185+
Egg/44,44,233.900000000
186+
Egg/39,39,266.900000000
187+
Egg/35,35,11.920000000
188+
Egg/41,41,461.700000000
189+
Egg/44,44,59.140000000
190+
Egg/31,31,275.600000000
191+
Egg/28,28,107.900000000
192+
Egg/37,37,112.200000000
193+
Egg/35,35,515.900000000
194+
Egg/36,36,155.000000000
195+
Egg/33,33,11.260000000
196+
Egg/41,41,283.900000000
197+
Egg/42,42,532.300000000
198+
Egg/43,43,149.600000000
199+
Egg/41,41,241.400000000
200+
Egg/34,34,143.200000000
201+
Egg/42,42,28.950000000
202+
Egg/43,43,371.300000000
203+
Egg/42,42,339.400000000
204+
Egg/35,35,101.400000000
205+
Egg/31,31,339.800000000
206+
Egg/31,31,200.300000000
207+
Egg/37,37,198.200000000
208+
Egg/26,26,4.090000000
209+
Egg/41,41,231.500000000
210+
Egg/43,43,90.390000000
211+
Egg/42,42,129.600000000
212+
Egg/44,44,203.500000000
213+
Egg/35,35,42.310000000
214+
Egg/28,28,11.360000000

0 commit comments

Comments
 (0)