Lesson plan

GRTensorII

GRTensorII is a Maple package designed for tensor computations, particularly in general relativity. This package was developed at Queen's University in Kingston, Ontario by Peter Musgrave, Denis Pollney and Kayll Lake. While there are many packages which perform tensor computations (including a standard Maple package), GRTensorII is particularly well suited for carrying out routine computations of useful quantities when working with (or searching for) exact solutions in general relativity. Its principal advantages include *convenience of definition of new spacetimes and tensor expression *efficient computation with frames *efficient computation of Ricci and Weyl spinor components and of Petrov classification *efficient computation of the Carminati-McLenaghan invariants and other curvature invariants Currently, GRTensorII does have some drawbacks: *Maple is expensive *valuable subpackages for perturbation and junction computations have not been updated *no subpackage is yet publicly available in GRTensorII for executing the Cartan-Karlhede algorithm *sharing information with standard Maple packages can sometimes become awkward

Back to article

Article summary

GRTensorII is a Maple package designed for tensor computations, particularly in general relativity. This package was developed at Queen's University in Kingston, Ontario by Peter Musgrave, Denis Pollney and Kayll Lake. While there are many packages which perform tensor computations (including a standard Maple package), GRTensorII is particularly well suited for carrying out routine computations of useful quantities when working with (or searching for) exact solutions in general relativity. Its principal advantages include *convenience of definition of new spacetimes and tensor expression *efficient computation with frames *efficient computation of Ricci and Weyl spinor components and of Petrov classification *efficient computation of the Carminati-McLenaghan invariants and other curvature invariants Currently, GRTensorII does have some drawbacks: *Maple is expensive *valuable subpackages for perturbation and junction computations have not been updated *no subpackage is yet publicly available in GRTensorII for executing the Cartan-Karlhede algorithm *sharing information with standard Maple packages can sometimes become awkward

Key claims

No claims recorded.

Discussion questions

  1. Summarise the article in your own words. Which single claim would you verify first, and why?
  2. Which claim in this article is most likely to be revised as the sources update? How would you check its current status?
  3. If two sources disagreed about one of these facts, what would you need in order to trust one over the other?

Bibliography

No sources recorded.

Key claims and bibliography are generated from the same tracked claims and sources as the article page.