Abstract
The software tool GRworkbench is an ongoing project in visual, numerical General Relativity at The Australian National University. Recently, the numerical differential geometric engine of GRworkbench has been rewritten using functional programming techniques. By allowing functions to be directly represented as program variables in C++ code, the functional framework enables the mathematical formalism of Differential Geometry to be more closely reflected in GRworkbench. The powerful technique of ‘automatic differentiation’ has replaced numerical differentiation of the metric components, resulting in more accurate derivatives and an order-of-magnitude performance increase for operations relying on differentiation.
Similar content being viewed by others
References
Press, W.H., Teukolsky, S.A., Vetterling, W.T., Flannery, B.P., Press, W.H., Teukolsky, S.A., Vetterling, W.T., Flannery, B.P.: Numerical Recipes in C; The Art of Scientific Computing, Cambridge University Press, Second (1992)
Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: Numerical Toolbox for Verified Computing I, Springer Series in Computational Mathematics, Springer-Verlag 21 (1993)
Stroustrup, B.: The C++ Programming Language, Third, Addison-Wesley (1997)
Searle, A.C., Searle, Antony C.: GRworkbench, The Australian National University, Honours thesis (1999)
Scott, S.M., Evans, B.J.K., Searle, A.C., Scott, Susan, M., Evans, B.J.K., Searle, Antony, C.: GRworkbench: A Computational System Based on Differential Geometry, book Proceedings of the Ninth Marcel Grossmann Meeting on General Relativity, World Scientific, Gurzadyan, V.G., Jantzen, R.T., Ruffini, R.: 458–467 (2002)
Evans, B.J.K., Scott, S.M., Searle, A.C., Evans, B.J.K., Scott, Susan, M., Searle, Antony, C.: Smart Geodesic Tracing in GRworkbench, General Relativity and Gravitation 34, 1675–1684 (2002)
Karim, M., Tartaglia, A., Bokhari, A.H.: Weighing the Milky Way, Classical and Quantum Gravity 20, 2815–2825 (2003)
Gregor, D., Gregor, D.: Boost Function library (2003) [http://www.boost.org/doc/html/ function.html]
Cacciola, F., Fernando, C.: Boost Optional library (2004) [http://www.boost.org/libs/ optional/doc/optional.html]
Moylan, A., Moylan, A.J.: Numerical Experimentation within GRworkbench, The Australian National University, Honours thesis (2003)
Moylan, A., Scott, S.M., Searle, A.C., Moylan, Andrew, Scott, Susan, M., Searle, Antony, C.: Developments in GRworkbench, Proceedings of the Tenth Marcel Grossmann Meeting on General Relativity (2005) To appear
Moylan, A.J., Scott, S.M., Searle, A.C., Moylan, Andrew, Scott, Susan, M., Searle, Antony, C.: Can the Milky Way be weighed using Earth-based interferometry? (2005) In preparation
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Moylan, A.J., Scott, S.M. & Searle, A.C. Functional programming framework for GRworkbench . Gen Relativ Gravit 37, 1517–1528 (2005). https://doi.org/10.1007/s10714-005-0132-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10714-005-0132-x