diff options
| author | bnewbold <bnewbold@eta.mit.edu> | 2009-01-27 22:27:01 -0500 |
|---|---|---|
| committer | bnewbold <bnewbold@eta.mit.edu> | 2009-01-27 22:27:01 -0500 |
| commit | a3feb7494f34d60af11ac3f598dc6ac33d3bcb14 (patch) | |
| tree | 9cd93754974b114abdb9869d5a71466daebd021e | |
| parent | 103a61bcf8648c50b5999cdb526464d44c75dfe1 (diff) | |
| download | 8thesis-a3feb7494f34d60af11ac3f598dc6ac33d3bcb14.tar.gz 8thesis-a3feb7494f34d60af11ac3f598dc6ac33d3bcb14.zip | |
blarg
| -rw-r--r-- | journal/26jan2009.html | 1 | ||||
| -rw-r--r-- | journal/27jan2009.html | 34 | ||||
| -rw-r--r-- | src/compile.scm | 32 | ||||
| -rw-r--r-- | src/load.scm | 12 | ||||
| -rwxr-xr-x | to_athena.sh | 2 | ||||
| -rw-r--r-- | work/calculus_play.scm | 55 |
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)) +|# |