Emmy, the Algebra System: Differential Geometry Chapter Nine

Functional Differential Geometry: Chapter 9

Author

Affiliation

Markus Agwin Kloimwieder

Scicloj

9 Metrics

We often want to impose further structure on a manifold to allow us to define lengths and angles. This is done by generalizing the idea of the Euclidean dot product, which allows us to compute lengths of vectors and angles between vectors in traditional vector algebra.

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-ch09/eval103649  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_ch09.clj