docs: Add IR generation notebook

[math-fehr]

Stacked PRs:

• docs: Add notebook for defining dialects #3884
• docs: Add notebook for pattern rewrites exercises #3883
• docs: Add notebook for pattern rewrites #3882
• ->docs: Add IR generation notebook #3881
• docs: Add sympy to dev dependencies #3886

---

docs: Add IR generation notebook

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Please upload report for BASE (math-fehr/stack/8@0047b1e). Learn more about missing BASE report.

Additional details and impacted files

@@                 Coverage Diff                  @@
##             math-fehr/stack/8    #3881   +/-   ##
====================================================
  Coverage                     ?   91.26%           
====================================================
  Files                        ?      466           
  Lines                        ?    57949           
  Branches                     ?     5575           
====================================================
  Hits                         ?    52886           
  Misses                       ?     3635           
  Partials                     ?     1428           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[superlopuh]

It feels like we should update the test script to launch in a way that takes the dependencies into account.

[compor]

also, why are these stacked?

[math-fehr]

I stacked them because it's really simple for me to convert 4 commits into 4 PRs.
Otherwise there are no particular reasons

[compor]

what level of review are we interested in here? is it just to get them in and then iterate over?

For example, in this notebook I see there following:

i.e., no SymPy examples.

I don't remember this part in the Winter School, but is there supposed to be something there?
Unless it's the missing deps?

[math-fehr]

what level of review are we interested in here? is it just to get them in and then iterate over?

For example, in this notebook I see there following:

i.e., no SymPy examples.

I don't remember this part in the Winter School, but is there supposed to be something there? Unless it's the missing deps?

I fixed this here, but overall I don't really have much time to fix all these things because of the PLDI rebuttal. The plan is to just have something we can CI check, and we can clean things bit by bit

[superlopuh]

Fixes #3857 (needs to be added to description)