aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--journal/26jan2009.html1
-rw-r--r--journal/27jan2009.html34
-rw-r--r--src/compile.scm32
-rw-r--r--src/load.scm12
-rwxr-xr-xto_athena.sh2
-rw-r--r--work/calculus_play.scm55
6 files changed, 133 insertions, 3 deletions
diff --git a/journal/26jan2009.html b/journal/26jan2009.html
index 2e7201e..bf0c007 100644
--- a/journal/26jan2009.html
+++ b/journal/26jan2009.html
@@ -20,6 +20,7 @@ patch, manifold, manifold function, vector field, coefficient function.
<br /><br />
<a href="22jan2009.html"><i>(previous entry)</i></a>
+<a href="27jan2009.html"><i>(next entry)</i></a>
<!-- ================================================================ -->
<!-- ================================================================ -->
diff --git a/journal/27jan2009.html b/journal/27jan2009.html
new file mode 100644
index 0000000..1677b17
--- /dev/null
+++ b/journal/27jan2009.html
@@ -0,0 +1,34 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head><title>bnewbold thesis</title></head>
+<body style="margin: 25px; font-family: helvetica;">
+<h1 style="border-bottom: 2px solid;">
+Journal: Jan 27, 2009</h1>
+<i>Bryan Newbold, <a href="mailto:bnewbold@mit.edu">bnewbold@mit.edu</a></i><br />
+<i><a href="http://web.mit.edu/bnewbold/thesis/">
+http://web.mit.edu/bnewbold/thesis/</a></i>
+<br /><p />
+<!-- ================================================================ -->
+<!-- ================================================================ -->
+
+<h3>mit-scheme in sage update</h3>
+A couple changes got pushed to MIT/GNU Scheme, maybe it will be "portable
+enough" to bundle as an optional spkg?
+
+<p />Instead of working i've been crawling other scheme projects and ran
+across Alexey Radul's <a href="http://web.mit.edu/~axch/www/Symmetriad">
+symmetriad</a> project.
+
+<h3>play/development setup</h3>
+In classic fashion I spent a whole hour figuring out how to bind C-TAB to
+autocomplete variables in scheme buffers... which is very hard so I just
+bound Super-TAB instead. Ugh.
+
+<br /><br />
+<a href="26jan2009.html"><i>(previous entry)</i></a>
+
+<!-- ================================================================ -->
+<!-- ================================================================ -->
+</body>
+</html>
diff --git a/src/compile.scm b/src/compile.scm
new file mode 100644
index 0000000..fe7adc2
--- /dev/null
+++ b/src/compile.scm
@@ -0,0 +1,32 @@
+#| -*-Scheme-*-
+
+$Id: copyright.scm,v 1.5 2007/02/03 18:41:44 cph Exp $
+
+Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
+ 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
+ 2006, 2007 Massachusetts Institute of Technology
+
+This file is part of MIT/GNU Scheme.
+
+MIT/GNU Scheme is free software; you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation; either version 2 of the License, or (at
+your option) any later version.
+
+MIT/GNU Scheme is distributed in the hope that it will be useful, but
+WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with MIT/GNU Scheme; if not, write to the Free Software
+Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301,
+USA.
+
+|#
+
+(for-each cf-conditionally
+ '(
+ "play"
+ ))
+
diff --git a/src/load.scm b/src/load.scm
new file mode 100644
index 0000000..1dab2dd
--- /dev/null
+++ b/src/load.scm
@@ -0,0 +1,12 @@
+#| -*-Scheme-*-
+ | Copied from scmutils/src/calculus/load.scm, GPL licenced.
+ |
+ | Assumes a band generated by something like load-all.scm has already been
+ | loaded with the regular scmutils stuff
+ |#
+
+(with-working-directory-pathname (directory-pathname (current-load-pathname))
+ (lambda ()
+
+ ;; (load "speedup" generic-environment)
+ ))
diff --git a/to_athena.sh b/to_athena.sh
index 23071fb..2de177d 100755
--- a/to_athena.sh
+++ b/to_athena.sh
@@ -1,4 +1,4 @@
#!/bin/sh
#scp -r main.html journal other README bnewbold@linux.mit.edu:thesis/
-rsync -arv main.html journal other README bnewbold@linux.mit.edu:thesis/
+rsync -arv main.html journal other work src README bnewbold@linux.mit.edu:thesis/
diff --git a/work/calculus_play.scm b/work/calculus_play.scm
index 7a043df..fe8a322 100644
--- a/work/calculus_play.scm
+++ b/work/calculus_play.scm
@@ -1,6 +1,56 @@
-;;; Jan 26th
+;;; Jan 29th
+
+(load "~/thesis/scmutils/src/calculus/load.scm")
+
+
+;(define R2 (make-manifold R^n-type 2)) ; doesn't work, so...
+(define R2 (rectangular 2))
+;(define U (patch 'origin R2)) ; also undefined so going to AIM-2005-003.pdf
+
+(define R2 (rectangular 2))
+(define P2 (polar/cylindrical 2))
+
+(define R2-chi-inverse (R2 '->point))
+(define R2-chi-inverse (R2 '->coords))
+(define P2-chi (P2 '->coords))
+(define P2-chi-inverse (P2 '->point))
+#|
+(define cartesian-plane-basis
+ (coordinate-system->basis cartesian-plane))
+(define d/dx (coordinate-basis-vector-field cartesian-plane 'd/dx 0))
+(define d/dy (coordinate-basis-vector-field cartesian-plane 'd/dy 1))
+(define dx (coordinate-basis-1form cartesian-plane 'dx 0))
+(define dy (coordinate-basis-1form cartesian-plane 'dy 0))
+
+
+(define polar-basis (coordinate-system->basis polar))
+(define r (compose (component 0) (polar '->coords)))
+(define theta (compose (component 1) (polar '->coords)))
+(define d/dr (coordinate-basis-vector-field polar 'd/dr 0))
+(define d/dtheta (coordinate-basis-vector-field polar 'd/dtheta 1))
+(define dr (coordinate-basis-1form polar 'dr 0))
+(define dtheta (coordinate-basis-1form polar 'dtheta 1))
+
+(define X
+ (components->vector-field
+ (up (literal-function 'X^0 (-> (UP Real Real) Real))
+ (literal-function 'X^1 (-> (UP Real Real) Real)))
+ cartesian-plane
+ 'X))
+
+(define V
+ (components->vector-field
+ (up (literal-function 'V^0 (-> (UP Real Real) Real))
+ (literal-function 'V^1 (-> (UP Real Real) Real)))
+ cartesian-plane
+ 'V))
+|#
+
+;;; the following doesn't work at all...
+;;; Jan 26th
+#|
(declare (usual-integrations))
(load "~/thesis/scmutils/src/calculus/load.scm")
@@ -14,4 +64,5 @@
(define J (- (* x d/dy) (* y (d/dx))))
-(define omega (literal-1form-field 'a R2-rect)) \ No newline at end of file
+(define omega (literal-1form-field 'a R2-rect))
+|#