:orphan:

Examples Gallery
================

This is a gallery of examples, most of which were translated from the original
`egglog rust examples <https://github.com/egraphs-good/egglog/tree/08a6e8fecdb77e6ba72a1b1d9ff4aff33229912c/tests>`_.



.. raw:: html

    <div class="sphx-glr-thumbnails">

.. thumbnail-parent-div-open

.. raw:: html

    <div class="sphx-glr-thumbcontainer" tooltip="Fibonacci numbers example">

.. only:: html

  .. image:: /auto_examples/images/thumb/sphx_glr_fib_thumb.png
    :alt:

  :ref:`sphx_glr_auto_examples_fib.py`

.. raw:: html

      <div class="sphx-glr-thumbnail-title">Fibonacci numbers example</div>
    </div>


.. raw:: html

    <div class="sphx-glr-thumbcontainer" tooltip="Boolean data type example and test">

.. only:: html

  .. image:: /auto_examples/images/thumb/sphx_glr_bool_thumb.png
    :alt:

  :ref:`sphx_glr_auto_examples_bool.py`

.. raw:: html

      <div class="sphx-glr-thumbnail-title">Boolean data type example and test</div>
    </div>


.. raw:: html

    <div class="sphx-glr-thumbcontainer" tooltip="Schedule demo">

.. only:: html

  .. image:: /auto_examples/images/thumb/sphx_glr_schedule_demo_thumb.png
    :alt:

  :ref:`sphx_glr_auto_examples_schedule_demo.py`

.. raw:: html

      <div class="sphx-glr-thumbnail-title">Schedule demo</div>
    </div>


.. raw:: html

    <div class="sphx-glr-thumbcontainer" tooltip="Basic equality saturation example.">

.. only:: html

  .. image:: /auto_examples/images/thumb/sphx_glr_eqsat_basic_thumb.png
    :alt:

  :ref:`sphx_glr_auto_examples_eqsat_basic.py`

.. raw:: html

      <div class="sphx-glr-thumbnail-title">Basic equality saturation example.</div>
    </div>


.. raw:: html

    <div class="sphx-glr-thumbcontainer" tooltip="Resolution theorem proving.">

.. only:: html

  .. image:: /auto_examples/images/thumb/sphx_glr_resolution_thumb.png
    :alt:

  :ref:`sphx_glr_auto_examples_resolution.py`

.. raw:: html

      <div class="sphx-glr-thumbnail-title">Resolution theorem proving.</div>
    </div>


.. raw:: html

    <div class="sphx-glr-thumbcontainer" tooltip="Example of building NDarray in the vein of Mathemetics of Arrays.">

.. only:: html

  .. image:: /auto_examples/images/thumb/sphx_glr_ndarrays_thumb.png
    :alt:

  :ref:`sphx_glr_auto_examples_ndarrays.py`

.. raw:: html

      <div class="sphx-glr-thumbnail-title">N-Dimensional Arrays</div>
    </div>


.. raw:: html

    <div class="sphx-glr-thumbcontainer" tooltip="Matrix multiplication and Kronecker product.">

.. only:: html

  .. image:: /auto_examples/images/thumb/sphx_glr_matrix_thumb.png
    :alt:

  :ref:`sphx_glr_auto_examples_matrix.py`

.. raw:: html

      <div class="sphx-glr-thumbnail-title">Matrix multiplication and Kronecker product.</div>
    </div>


.. raw:: html

    <div class="sphx-glr-thumbcontainer" tooltip="Lambda Calculus">

.. only:: html

  .. image:: /auto_examples/images/thumb/sphx_glr_lambda__thumb.png
    :alt:

  :ref:`sphx_glr_auto_examples_lambda_.py`

.. raw:: html

      <div class="sphx-glr-thumbnail-title">Lambda Calculus</div>
    </div>


.. thumbnail-parent-div-close

.. raw:: html

    </div>


.. toctree::
   :hidden:

   /auto_examples/fib
   /auto_examples/bool
   /auto_examples/schedule_demo
   /auto_examples/eqsat_basic
   /auto_examples/resolution
   /auto_examples/ndarrays
   /auto_examples/matrix
   /auto_examples/lambda_


.. only:: html

  .. container:: sphx-glr-footer sphx-glr-footer-gallery

    .. container:: sphx-glr-download sphx-glr-download-python

      :download:`Download all examples in Python source code: auto_examples_python.zip </auto_examples/auto_examples_python.zip>`

    .. container:: sphx-glr-download sphx-glr-download-jupyter

      :download:`Download all examples in Jupyter notebooks: auto_examples_jupyter.zip </auto_examples/auto_examples_jupyter.zip>`


.. only:: html

 .. rst-class:: sphx-glr-signature

    `Gallery generated by Sphinx-Gallery <https://sphinx-gallery.github.io>`_