Symbolic manipulation program required

[krishna mohan]

Hi...

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?

[holy_toaster]

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: Here (http://www.uni-koeln.de/REDUCE/3.6/doc/excalc/)

[pervect]

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

[krishna mohan]

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?