home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / math / symbolic / 3518 < prev    next >
Encoding:
Internet Message Format  |  1993-01-25  |  2.3 KB
  1. Path: sparky!uunet!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: 25 Jan 93 17:43:43
  6. Organization: Mathematics Dept., U. of Washington
  7. Lines: 40
  8. Message-ID: <LEE.93Jan25174343@pythagoras.math.washington.edu>
  9. References: <2183@nikhefh.nikhef.nl>
  10.     <LEE.93Jan22114425@pythagoras.math.washington.edu>
  11.     <2185@nikhefh.nikhef.nl>
  12. NNTP-Posting-Host: pythagoras.math.washington.edu
  13. In-reply-to: t16@nikhefh.nikhef.nl's message of 23 Jan 93 20:28:12 GMT
  14.  
  15. In article <2185@nikhefh.nikhef.nl> t16@nikhefh.nikhef.nl (Kasper Peeters) writes:
  16.  
  17. > I was aware of the fact that 'RICCI' can do a lot of these things. However,
  18. > I also need to be able to substitute specific things into the components of
  19. > various tensors, and I do need a system that does automatic dummy relabeling,
  20. > not like 'RICCI' where the only way (correct me if I'm wrong) seems to
  21. > perform every substution after explicit relabeling by 'NewDummy'
  22.  
  23. >   DefineTensor(a,1,Variance->Con)
  24. >   DefineTensor(b,1) 
  25. >   c=a[U[i]] b[L[i]]
  26. >   e=NewDummy[c] * Newdummy[c]
  27.  
  28. > This is too complicated for the types of formulea I want to process.
  29.  
  30. One minor correction.  For the specific computation you wrote above, Ricci
  31. will accept the following:
  32.  
  33.     e = c^2
  34.  
  35. You don't have to explicitly call NewDummy to relabel the dummy indices in
  36. this case: Ricci interprets c^2 correctly and will relabel the indices when
  37. necessary (e.g. when differentiating e).  Ricci also calls NewDummy
  38. whenever it automatically performs substitutions containing dummy indices
  39. (for example, in response to a user's DefineRelation command).  However, if
  40. you wanted to multiply together two DIFFERENT expressions that both already
  41. contained i as a dummy index, you would indeed have to use NewDummy
  42. explicitly.  The only way Ricci could save you this trouble would be if it
  43. checked EVERY product to see if the factors had duplicate dummy index
  44. names, which would cost far too much time.
  45.  
  46. In any case, you're right that Ricci doesn't support substitution of
  47. specific values for components of tensors.  Some day, hopefully.
  48.  
  49. Jack Lee
  50. --
  51. Jack Lee
  52. Dept. of Mathematics
  53. University of Washington
  54. Seattle, WA
  55.