home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / math / symbolic / 3501 < prev    next >
Encoding:
Internet Message Format  |  1993-01-23  |  6.7 KB
  1. Path: sparky!uunet!cs.utexas.edu!zaphod.mps.ohio-state.edu!saimiri.primate.wisc.edu!usenet.coe.montana.edu!news.u.washington.edu!math.washington.edu!lee
  2. From: lee@math.washington.edu (John M. Lee)
  3. Newsgroups: sci.math.symbolic
  4. Subject: Re: Tensors in Maple
  5. Date: 22 Jan 93 11:44:25
  6. Organization: Mathematics Dept., U. of Washington
  7. Lines: 146
  8. Message-ID: <LEE.93Jan22114425@pythagoras.math.washington.edu>
  9. References: <2183@nikhefh.nikhef.nl>
  10. NNTP-Posting-Host: pythagoras.math.washington.edu
  11. In-reply-to: t16@nikhefh.nikhef.nl's message of 21 Jan 93 13:30:06 GMT
  12.  
  13. In article <2183@nikhefh.nikhef.nl> t16@nikhefh.nikhef.nl (Kasper Peeters)
  14. writes:
  15.  
  16. > Can anyone tell me if it is possible to perform the following tensor-
  17. > manipulations with Maple:
  18.  
  19. >    - automatic Einstein summation convention,
  20. >    - convenient notation for partial derivatives (like g[a,b,c] for
  21. >        \partial_c g_{a,b} )
  22. >    - automatic relabeling of indices whenever a substitution is made
  23. >         (eg.  A=B(mu)*B(mu);  C=A*A;  MAPLE:  C=B(mu)*B(mu)*B(N1)*B(N1) )
  24.  
  25.  
  26. I think Robert Bryant (bryant@math.duke.edu) has used Maple to do such
  27. calculations, although I don't know whether he's developed any software for
  28. general use.  If you're willing to switch to Mathematica, you have two good
  29. options: (1) there's a commercial package called MathTensor (contact
  30. MathSolutions, Inc. at mathtensor@wri.com); or (2) I've developed a free
  31. package called Ricci, the announcement for which is reproduced below.
  32.  
  33. ==============================================================================
  34.  
  35.                          Announcing the release of
  36.  
  37.                                    RICCI
  38.  
  39.             A Mathematica package for doing tensor calculations
  40.                          in differential geometry
  41.  
  42.                                 Version 1.0
  43.  
  44.  
  45. The first public release of Ricci, my Mathematica package for doing tensor
  46. computations in differential geometry, is now available.
  47.  
  48. Ricci is designed to assist with some of the tensor calculations needed by
  49. pure mathematics researchers in differential geometry.  It has the
  50. following features and capabilities:
  51.  
  52. * Manipulation of tensor expressions with and without indices
  53. * Implicit use of the Einstein summation convention
  54. * Correct manipulation of dummy indices
  55. * Display of results in mathematical notation, with upper and lower indices
  56. * Automatic calculation of covariant derivatives
  57. * Automatic application of tensor symmetries
  58. * Riemannian metrics and curvatures
  59. * Differential forms
  60. * Any number of vector bundles with user-defined characteristics
  61. * Names of indices indicate which bundles they refer to
  62. * Complex bundles and tensors
  63. * Conjugation indicated by barred indices
  64. * Connections with and without torsion
  65.  
  66. Limitations: Ricci currently does not support computation of explicit
  67. values for tensor components in coordinates, or derivatives of tensors
  68. depending on parameters (as in geometric evolution equations or calculus of
  69. variations), although support for these is planned for a future release.
  70. Ricci also has no explicit support for general relativity, or for other
  71. mathematical physics or engineering applications, and none is planned.  If
  72. you are interested in such support, I recommend that you consider the
  73. commercial package MathTensor, which is far more extensive than Ricci, and
  74. provides all these capabilities and more.  MathTensor is available from
  75. MathSolutions, Inc. (mathtensor@wri.com).
  76.  
  77. Ricci requires Mathematica version 2.0 or greater.  The source takes
  78. approximately 270K bytes of disk storage, including about 49K bytes of
  79. on-line documentation.  The package was developed and tested on a
  80. DECStation 5000 running Unix, but there are no known system-dependent
  81. features, so it should run on any system that can run Mathematica with 7
  82. megabytes or more of available memory.
  83.  
  84. The source files for Ricci are available to the public by anonymous ftp
  85. from the Stanford Mathematica Users Forum library (otter.stanford.edu).  To
  86. obtain them, you need to log into a system that has an Internet connection
  87. and supports the ftp (file transfer program) command.  If you're using
  88. Unix, you can follow the script below.
  89.  
  90.   % ftp otter.stanford.edu
  91.   Connected to otter.stanford.edu.
  92.   220 otter FTP server (Version 5.20 (NeXT 1.0) Sun Nov 11, 1990) ready.
  93.   Name (otter.stanford.edu:): anonymous
  94.   331 Guest login ok, send ident as password.
  95.   Password:  <---------------------------------Type your e-mail address here.
  96.   230 Guest login ok, access restrictions apply.
  97.   ftp> cd mma/Geometry
  98.   250 CWD command successful.
  99.   ftp> get Ricci.tar.Z
  100.   200 PORT command successful.
  101.   150 Opening ASCII mode data connection for Ricci.tar.Z (189479 bytes).
  102.   226 Transfer complete.
  103.   local: Ricci.tar.Z remote: Ricci.tar.Z
  104.   190287 bytes received in 1.6 seconds (1.1e+02 Kbytes/s)
  105.   ftp> bye
  106.   221 Goodbye.
  107.   % uncompress Ricci.tar.Z
  108.   % tar -xvf Ricci.tar
  109.   x Ricci/
  110.   x Ricci/Bundle.m, 14905 bytes, 30 blocks
  111.   x Ricci/Changes.doc, 2798 bytes, 6 blocks
  112.   x Ricci/Constant.m, 4783 bytes, 10 blocks
  113.   x Ricci/DefineRelation.m, 16903 bytes, 34 blocks
  114.   x Ricci/Derivatives.m, 25289 bytes, 50 blocks
  115.   x Ricci/Example.doc, 20075 bytes, 40 blocks
  116.   x Ricci/Formatting.m, 20408 bytes, 40 blocks
  117.   x Ricci/Index.m, 7958 bytes, 16 blocks
  118.   x Ricci/Manual.tex, 192557 bytes, 377 blocks
  119.   x Ricci/Products.m, 10920 bytes, 22 blocks
  120.   x Ricci/README, 8276 bytes, 17 blocks
  121.   x Ricci/Ricci.m, 7597 bytes, 15 blocks
  122.   x Ricci/Ricci.tex, 1778 bytes, 4 blocks
  123.   x Ricci/Riemann.m, 18063 bytes, 36 blocks
  124.   x Ricci/Tensor.m, 27520 bytes, 54 blocks
  125.   x Ricci/TensorExpressions.m, 34853 bytes, 69 blocks
  126.   x Ricci/TensorSimplify.m, 42357 bytes, 83 blocks
  127.   x Ricci/Usage.m, 51787 bytes, 102 blocks
  128.  
  129. The last two Unix commands (uncompress and tar) will create a directory
  130. named Ricci, and place all the uncompressed Ricci files into it.  Look at
  131. the file named README for more information about what's in the files and
  132. how to get started using Ricci.
  133.  
  134. This is the first public release of Ricci.  If you use this package at all,
  135. I would appreciate it if you would send me a message at the e-mail address
  136. below describing your experience, and telling me whether you found the
  137. package useful or not.  I'd especially like to hear about any bugs,
  138. anomalous behavior, things that look like they should simplify but don't,
  139. suggestions for improvement, things that seem to take longer than they
  140. should, etc.  And please feel free to get in touch with me if you have
  141. questions about the software.  If I get e-mail from you, I'll inform you
  142. whenever I release a new production version.
  143.  
  144.  
  145. Jack Lee
  146. Department of Mathematics, GN-50
  147. University of Washington
  148. Seattle, WA 98195
  149.  
  150. Internet: lee@math.washington.edu
  151. Fax:      206-543-0397
  152.  
  153.  
  154. --
  155. Jack Lee
  156. Dept. of Mathematics
  157. University of Washington
  158. Seattle, WA
  159.