Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Symbolic manipulation program required

  1. Jun 23, 2011 #1

    I have just started using GRtensor....
    I realize that the calculations in GRtensor have to be done only after specifying a metric...

    Is there any package which can directly do symbolic manipulation without using the metric?
  2. jcsd
  3. Jun 23, 2011 #2
    As far as I know, you always have to specify a metric in symbolic manipulation software. Otherwise the software would not know how to "raise" and "lower" indices of vectors, tensors, etc. Of course you always have the possibility to leave the components of the metric as unknown functions.

    If you look for an alternative of GRTensor you could try th Excalc package in Reduce: http://www.uni-koeln.de/REDUCE/3.6/doc/excalc/" [Broken]
    Last edited by a moderator: May 5, 2017
  4. Jun 23, 2011 #3


    User Avatar
    Staff Emeritus
    Science Advisor

    What sort of manipulations are you looking for? GRTensor makes it easy to manipulate a metric, which you can make as general as you like, Maple makes it easy to manipulate other mathematical thigns like ordinary and differential equations, plus a bunch of other things.

    So I'm not getting a clear picture of what you're looking for...
  5. Jun 23, 2011 #4
    I have to prove some general identities in GR....and not for a particular metric..

    In GRtensor, can we put a metric to be arbitrary? Can we just set g_{ab}= g_{ab}(e,f,g,h) where e, f, g and h are arbitrary variables....and not give an explicit form?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook