;;; Jan 26th

(declare (usual-integrations))
(load "~/thesis/scmutils/src/calculus/load.scm")


(define R2 (make-manifold R^n-type 2))
(define U (patch 'origin R2))

(load "~/thesis/scmutils/src/general/canonicalizer.scm")

(define d/dx (coordinate-basis-vector-field cart

(define J (- (* x d/dy) (* y (d/dx))))

(define omega (literal-1form-field 'a R2-rect))