Thank you for your consideration.
I need Maxima to give me the ability to define an square matrix of size n - with n indefinite- and then give its coponents in the sense that the (i,j)-th component is some function f(i,j) for i,j in some block and is another function g(i,j) in another block.
Then I want to compute its inverse, simplify the result, replace some expressions in the numerator of the matrix elements with 1 and 0, simplify again, and at this point I look at some block of this final inverse metric and check if a certain relation holds for the elements in this block or not.
I have written such a code in Mathematica for definite n and I 'know' what the pattern of the eventual outcome will be for that block and for general n. However computations take too much time as n exceeds 3 (n is greater than 2, this is a sort of constraint) and still they are for specific n. This is mainly because the metric is itself complicated. Strictly speaking, I want to use Maxima as a means of providing the proof for a form I know in advance.
> -----Original Message-----
> From: fateman at cs.berkeley.edu
> Sent: Mon, 17 Mar 2008 22:55:25 -0700
> To: shahir at inbox.com, maxima at math.utexas.edu
> Subject: RE: [Maxima] Matrices of indefinite size
>
> i think you will have to be more specific about what tools you need.
> Many things in Maxima work identically to things in Macsyma.
>
>
>> -----Original Message-----
>> From: maxima-bounces at math.utexas.edu
>> [mailto:maxima-bounces at math.utexas.edu] On Behalf Of Shahir Molaei
>> Sent: Monday, March 17, 2008 10:21 PM
>> To: maxima at math.utexas.edu
>> Subject: Matrices of indefinite size
>>
>> For starters I am totally new to maxima. I read an article in
>> which the author had mentioned the point that they had been
>> able to define and work with matrices of indefinite size in
>> "Macsyma" and as an extrapolation, I thought that the same
>> should also be possible in Maxima.
>> Now I wanted to know if this is actually feasible in Maxima
>> so that I start to learn the language.
>> My problem is to introduce and compute the inverse of a
>> rather complicated black hole metric in 2n+1 dimensions and
>> then look at its near-horizon behavior in its 'simplified'
>> form. I used to solve the problem for given small n with the
>> help of Mathematica, but unfortunately programs such as
>> MATLAB, Maple and Mathematica do not provide tools for this
>> level of abstraction.
>> I would appreciate any probable point or direction.
>>
>> Regards,
>> Shahir Molaei
>>
>> ____________________________________________________________
>> GET FREE SMILEYS FOR YOUR IM & EMAIL - Learn more at
>> http://www.inbox.com/smileys
>> Works with AIMR, MSNR Messenger, Yahoo!R Messenger, ICQR,
>> Google TalkT and most webmails
>>
>> _______________________________________________
>> Maxima mailing list
>> Maxima at math.utexas.edu
>> http://www.math.utexas.edu/mailman/listinfo/maxima
>>
____________________________________________________________
GET FREE 5GB EMAIL - Check out spam free email with many cool features!
Visit http://www.inbox.com/email to find out more!