Draft

Emmy, the Algebra System: Differential Geometry Chapter One

First chapter of the book “Functional Differential Geometry”, the code is on-line executable.
Published

November 14, 2025

The code snippets are executable, copy-paste them to the sidebar of the page. Original code and text are from the MIT open access book Functional Differential Geometry (FDG).

The Emmy maintainer, Sam Ritchie, wrote the source for this page, namely the LaTex version of FDG.

In addition to the sidebar, I also have some FDG graphical puzzles.

In adopting MIT-Scheme’s (define ...), I trust that Clojure people will bridge that gap quickly while being sure of the gratitude of all readers of the immutable, dense book. So without further ado …

ImportantCould not locate emmy/env__init.class, emmy/env.clj or emmy/env.cljc on classpath.
                         clojure.core/eval    core.clj: 3232
                                       ...                 
mentat-collective.emmy.fdg-ch01/eval110361  REPL Input:     
                                       ...                 
                      clojure.core/require    core.clj: 6066 (repeats 2 times)
                                       ...                 
                    clojure.core/load-libs    core.clj: 6028
                    clojure.core/load-libs    core.clj: 6044
                                       ...                 
                     clojure.core/load-lib    core.clj: 5981
                     clojure.core/load-lib    core.clj: 6002
                  clojure.core/load-lib/fn    core.clj: 6003
                     clojure.core/load-one    core.clj: 5961
                                       ...                 
                         clojure.core/load    core.clj: 6172
                         clojure.core/load    core.clj: 6188
                      clojure.core/load/fn    core.clj: 6189
                                       ...                 
java.io.FileNotFoundException: Could not locate emmy/env__init.class, emmy/env.clj or emmy/env.cljc on classpath.

source: src/mentat_collective/emmy/fdg_ch01.clj