Fix docs

Author: saulshanabrook

docs/explanation.md

@@ -5,4 +5,5 @@ explanation/compared_to_rust
 explanation/optional_values
 explanation/define_and_define
 explanation/pldi_2023_presentation
+explanation/2023_07_presentation
 ```

docs/explanation/2023_07_presentation.ipynb

@@ -10071,7 +10071,7 @@
     "tags": []
    },
    "source": [
-    "## A story about Arrays"
+    "### A story about Arrays"
    ]
   },
   {

docs/reference/egglog-translation.md

@@ -469,6 +469,17 @@ egraph.extract(fib(1))
 Multiple items can also be extracted, returning a list of the lowest cost expressions, with `egraph.extract_multiple`:
 
 ```{code-cell} python
+a, b, c = vars_("a b c", Math)
+i, j = vars_("i j", i64)
+egraph.register(
+    rewrite(a * b).to(b * a),
+    rewrite(a + b).to(b + a),
+    rewrite(a * (b * c)).to((a * b) * c),
+    rewrite(a * (b + c)).to((a * b) + (a * c)),
+    rewrite(Math(i) + Math(j)).to(Math(i + j)),
+    rewrite(Math(i) * Math(j)).to(Math(i * j)),
+)
+
 # egg:
 # (define y (Add (Num 6) (Mul (Num 2) (Var "x")))
 # (run 10)
@@ -483,16 +494,6 @@ egraph.extract_multiple(y, 2)
 The `(simplify ...)` command in egglog translates to the `egraph.simplify` method, which combines running a schedule and extracting:
 
 ```{code-cell}
-a, b, c = vars_("a b c", Math)
-i, j = vars_("i j", i64)
-egraph.register(
-    rewrite(a * b).to(b * a),
-    rewrite(a + b).to(b + a),
-    rewrite(a * (b * c)).to((a * b) * c),
-    rewrite(a * (b + c)).to((a * b) + (a * c)),
-    rewrite(Math(i) + Math(j)).to(Math(i + j)),
-    rewrite(Math(i) * Math(j)).to(Math(i * j)),
-)
 # egg: (simplify (Mul (Num 6) (Add (Num 2) (Mul (Var "x") (Num 2)))) 20)
 egraph.simplify(Math(6) * (Math(2) + Math.var("x") * Math(2)), 20)
 ```

docs/tutorials.md

@@ -2,4 +2,5 @@
 
 ```{toctree}
 tutorials/getting-started
+tutorials/array-api
 ```

docs/tutorials/array-api.ipynb

@@ -2,7 +2,13 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "metadata": {},
+   "metadata": {
+    "editable": true,
+    "slideshow": {
+     "slide_type": ""
+    },
+    "tags": []
+   },
    "source": [
     "# Implenting an Array API to use with Scikit-learn\n",
     "\n",
@@ -1052,7 +1058,7 @@
  ],
  "metadata": {
   "kernelspec": {
-   "display_name": "egg-smol-python",
+   "display_name": "Python 3 (ipykernel)",
    "language": "python",
    "name": "python3"
   },
@@ -1068,8 +1074,10 @@
    "pygments_lexer": "ipython3",
    "version": "3.10.9"
   },
-  "orig_nbformat": 4
+  "mystnb": {
+   "execution_mode": "off"
+  }
  },
  "nbformat": 4,
- "nbformat_minor": 2
+ "nbformat_minor": 4
 }

python/egglog/declarations.py

@@ -588,6 +588,9 @@ def pretty(self, mod_decls: ModuleDeclarations, parens=True, **kwargs) -> str:
         :param parens: If true, wrap the call in parens if it is a binary or unary method call.
         """
         ref, args = self.callable, [a.expr for a in self.args]
+        # Special case != since it doesn't have a decl
+        if isinstance(ref, MethodRef) and ref.method_name == "__ne__":
+            return f"{args[0].pretty(mod_decls, wrap_lit=True)} != {args[1].pretty(mod_decls, wrap_lit=True)}"
         defaults = mod_decls.get_function_decl(ref).arg_defaults
         if isinstance(ref, FunctionRef):
             fn_str = ref.name

python/tests/test_high_level.py

@@ -326,3 +326,8 @@ def test_f64_negation() -> None:
     expr3 = egraph.define("expr3", -(-f64(2.0)))
     egraph.check(eq(expr1).to(-expr2))
     egraph.check(eq(expr3).to(expr2))
+
+
+def test_not_equals():
+    egraph = EGraph()
+    egraph.check(i64(10) != i64(2))