Help needed from someone who has Maple

  • Thread starter bcrowell
  • Start date


Staff Emeritus
Science Advisor
Insights Author
Gold Member
There is a set of 16 polynomial curvature invariants called the Carminati-McLenaghan invariants, described here:–McLenaghan_invariants . They've been implemented (I think by Carminati and McLenaghan themselves) in a free Maple package described here: . Maple itself, however, is proprietary. I've implemented the CM invariants as open-source code that works in the open-source computer algebra system Maxima. I've written up a bunch of tests, e.g., calculating the invariants in spacetimes where I know that they should vanish, or spacetimes where I know that some of them should diverge at a curvature singularity. However, I haven't found any tabulations online of what the CM invariants are *supposed* to be in cases where they're finite. For example, there is an invariant called ##W_1##, and for the Schwarzschild spacetime I get ##W_1=6m^2/r^6##, but although this seems reasonable, I don't have any way to check whether it's right (e.g., whether the numerical coefficient should really be 6).

Would anyone who has a copy of Maple be willing to run the Maple implementation of the CM invariants and tell me some results that I could use to check whether my code is calculating correct output? The spacetimes that I have used so far for tests are in this test suite: .

Any help would be much appreciated!


Science Advisor
Insights Author
Gold Member
Unfortunately, I don't own Maple. If I can help with some Mathematica package, let me know.


In another thread, I saw that @Ray Vickson uses Maple. He may be willing to help you.

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving

Hot Threads