;    Copyright (C) 2006  Will M. Farr <farr@mit.edu>
;
;    This program 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.
;
;    This program 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 this program; if not, write to the Free Software Foundation, Inc.,
;    51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.

(module maps "generics.ss"
  (require "manifolds.ss")
  (require "tuples.ss")
  
  (provide pushforward pullback)
  
  (define ((pushforward mu mu^-1) v)
    (define ((v* f) m)
      ((v (compose f mu)) (mu^-1 m)))
    (procedure->vector-field v*))
  
  (define ((pullback mu mu^-1) w)
    (define ((w* v) m)
      ((w ((pushforward mu mu^-1) v)) (mu m)))
    (procedure->one-form-field w*)))