Add activity analysis example for Enzyme.jl

Author: ludgerpaehler

julia_activity/.ipynb_checkpoints/activity-checkpoint.ipynb

@@ -0,0 +1,112 @@
+{
+ "cells": [
+  {
+   "attachments": {},
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "# Installing Enzyme"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "import Pkg\n",
+    "Pkg.add(\"Enzyme\")"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "using Enzyme"
+   ]
+  },
+  {
+   "attachments": {},
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "## Activity Annotations\n",
+    "\n",
+    "* `Const`\n",
+    "* `Active`\n",
+    "* `Duplicated`\n",
+    "* `DuplicatedNoNeed`"
+   ]
+  },
+  {
+   "attachments": {},
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "square(x) = x^2"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "autodiff(Reverse, square, 1.0)"
+   ]
+  },
+  {
+   "attachments": {},
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "Default activity for values is `Const`"
+   ]
+  },
+  {
+   "attachments": {},
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "autodiff(Reverse, square, Const(1.0))"
+   ]
+  },
+  {
+   "attachments": {},
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "When adding the `Active` annotation Enzyme differentiates with respect to the argument"
+   ]
+  },
+  {
+   "attachments": {},
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "autodiff(Reverse, square, Active(1.0))"
+   ]
+  }
+ ],
+ "metadata": {
+  "kernelspec": {
+   "display_name": "Python 3",
+   "language": "python",
+   "name": "python3"
+  },
+  "language_info": {
+   "name": "python",
+   "version": "3.11.1"
+  },
+  "orig_nbformat": 4,
+  "vscode": {
+   "interpreter": {
+    "hash": "5c7b89af1651d0b8571dde13640ecdccf7d5a6204171d6ab33e7c296e100e08a"
+   }
+  }
+ },
+ "nbformat": 4,
+ "nbformat_minor": 2
+}

julia_activity/.jupyter/desktop-workspaces/default-37a8.jupyterlab-workspace

@@ -0,0 +1 @@
+{"data":{"layout-restorer:data":{"main":{"dock":{"type":"tab-area","currentIndex":0,"widgets":["notebook:activity.ipynb"]},"current":"notebook:activity.ipynb"},"down":{"size":0,"widgets":[]},"left":{"collapsed":false,"current":"filebrowser","widgets":["filebrowser","running-sessions","@jupyterlab/toc:plugin","extensionmanager.main-view"]},"right":{"collapsed":true,"widgets":["jp-property-inspector","debugger-sidebar"]},"relativeSizes":[0.15111378687537627,0.8488862131246238,0]},"notebook:activity.ipynb":{"data":{"path":"activity.ipynb","factory":"Notebook"}}},"metadata":{"id":"default"}}

julia_activity/activity.jl

@@ -0,0 +1,17 @@
+using Enzyme
+using Printf
+
+# Defining the square function
+square(x) = x^2;
+
+# No activity annotations
+result_1 = Enzyme.autodiff(Reverse, square, 1.0)
+printf("No annotations result: %f", result_1)
+
+# No activity annotations = constant annotation
+result_2 = Enzyme.autodiff(Reverse, square, Const(1.0))
+printf("Equals constant annotations: %f", result_2)
+
+# Adding activity annotations
+result_3 = Enzyme.autodiff(Reverse, square, Active(1.0))
+printf("Adding activity annotations: %f", result_3)