From a3feb7494f34d60af11ac3f598dc6ac33d3bcb14 Mon Sep 17 00:00:00 2001 From: bnewbold Date: Tue, 27 Jan 2009 22:27:01 -0500 Subject: blarg --- journal/26jan2009.html | 1 + journal/27jan2009.html | 34 +++++++++++++++++++++++++++++++ src/compile.scm | 32 +++++++++++++++++++++++++++++ src/load.scm | 12 +++++++++++ to_athena.sh | 2 +- work/calculus_play.scm | 55 ++++++++++++++++++++++++++++++++++++++++++++++++-- 6 files changed, 133 insertions(+), 3 deletions(-) create mode 100644 journal/27jan2009.html create mode 100644 src/compile.scm create mode 100644 src/load.scm 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.

(previous entry) +(next entry) 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 @@ + + +bnewbold thesis + +

+Journal: Jan 27, 2009

+Bryan Newbold, bnewbold@mit.edu
+ +http://web.mit.edu/bnewbold/thesis/ +

+ + + +

mit-scheme in sage update

+A couple changes got pushed to MIT/GNU Scheme, maybe it will be "portable +enough" to bundle as an optional spkg? + +

Instead of working i've been crawling other scheme projects and ran +across Alexey Radul's +symmetriad project. + +

play/development setup

+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. + +

+(previous entry) + + + + + 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)) +|# -- cgit v1.2.3