PMA Publisher: Published from the Principia Machina source

2026-10-15T19:34:13Z

Published from the Principia Machina source

← Older revision		Revision as of 19:34, 15 October 2026
Line 1:		Line 1:
			{{DISPLAYTITLE:SageMath and SageManifolds}}
	'''SageMath and SageManifolds: Open-Source Differential Geometry and Tensor Calculus'''		'''SageMath and SageManifolds: Open-Source Differential Geometry and Tensor Calculus'''
	[[Category:Principia Machina]] [[Category:Tools]]		[[Category:Principia Machina]] [[Category:Tools]]
Line 33:		Line 34:
	* '''[[The Principia Machina/Research Toolkit/Bibliography#SAGEREPO\|SAGEREPO]]''' – The Sage Developers (2026). SageMath 10.9 / 10.10 (GitHub releases). [https://github.com/sagemath/sage/releases github.com/sagemath/sage/releases].		* '''[[The Principia Machina/Research Toolkit/Bibliography#SAGEREPO\|SAGEREPO]]''' – The Sage Developers (2026). SageMath 10.9 / 10.10 (GitHub releases). [https://github.com/sagemath/sage/releases github.com/sagemath/sage/releases].
	* '''[[The Principia Machina/Research Toolkit/Bibliography#SAGEMANIFOLDSSITE\|SAGEMANIFOLDSSITE]]''' – SageManifolds project. [https://sagemanifolds.obspm.fr sagemanifolds.obspm.fr].		* '''[[The Principia Machina/Research Toolkit/Bibliography#SAGEMANIFOLDSSITE\|SAGEMANIFOLDSSITE]]''' – SageManifolds project. [https://sagemanifolds.obspm.fr sagemanifolds.obspm.fr].

BFP Rauch: 1 revision imported

2026-10-06T03:41:02Z

1 revision imported

← Older revision	Revision as of 03:41, 6 October 2026
(No difference)

DeltaS Zero: Physics tool added 2026-10-06: SageMath; scores by the research pass, with references (tpm_toolkit 0.1.0)

2026-10-06T03:40:47Z

Physics tool added 2026-10-06: SageMath; scores by the research pass, with references (tpm_toolkit 0.1.0)

New page

'''SageMath and SageManifolds: Open-Source Differential Geometry and Tensor Calculus'''
[[Category:Principia Machina]] [[Category:Tools]]

''Added to the survey on 2026-10-06 by the [[The Principia Machina/Research Toolkit|Research Toolkit]]'s research pass. The scores below are that pass's assessment from the evidence cited under References, on the survey's four axes and scale; they are not the original survey's (2026-09-26), and no rule of the Principia Machina reads them. See [[The Principia Machina/Tools#The additions of 2026-10-06|the additions]] on the front page.''

== Overview & Architectural Fit ==
'''SageMath''' is an umbrella computer algebra system that integrates many open-source mathematics libraries behind one Python interface. '''SageManifolds''', now fully part of SageMath, adds differential geometry and tensor calculus on manifolds: Lorentzian metrics, the Riemann, Ricci, Weyl, Schouten and Cotton tensors, Lie derivatives, differential forms and geodesics. Because it is free, unlike the commercial host xAct needs, anyone can run it to reproduce a geometric result.

== Mathematical Evaluation for TPM ==
* '''Lagrangian / Action (6/10):''' Symplectic structures, ''p''-forms and Lie derivatives support geometric Lagrangian and Hamiltonian formulations; no packaged pipeline varies an action.
* '''Field / PDE (5/10):''' Tensor fields are handled symbolically; there is no high-performance solver for partial differential equations.
* '''Relativity (8.5/10):''' A full open-source coordinate workflow for general relativity: curvature of a given metric, invariants, geodesics, and the Killing equation <math>\nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu = 0</math>, the condition that <math>\mathcal{L}_\xi g = 0</math>.
* '''Quantum / Data (3/10):''' Its strengths are algebra and number theory, not quantum dynamics or learning from data.

== Integration Pipeline ==
# '''Declare the manifold''' and a chart, then the metric in components.
# '''Compute''' the connection, the curvature tensors and their invariants.
# '''Test a symmetry''': compute the Lie derivative of the metric, or of the Lagrangian, along a candidate generator; zero is the precondition for a Noether charge.
# '''Integrate geodesics''' numerically for comparison with an analytic orbit.
# '''Cross-check''' any component result against [[The Principia Machina/Tools/xAct|xAct]] or [[The Principia Machina/Tools/Cadabra2|Cadabra2]].

== Status, Licence and Limits ==
* '''Status:''' Active. Stable 10.9 (tag of 5 May 2026), announced on sagemath.org; GitHub also shows 10.10 dated 28 September 2026, not yet announced on the site when checked (not confirmed).
* '''Licence:''' GPLv2 or later for the repository; components GPLv3-compatible.
* '''Home:''' https://www.sagemath.org and https://sagemanifolds.obspm.fr
* '''Limits:''' Abstract-index manipulation, such as canonicalizing large Riemann monomials, is weaker than in xAct. Very large component computations can be slow. The full installation is heavy (a build of about 10 GB).

== On the Principia Machina ==
A tool runs only where the sponsor installed and bound it, and what it returns is untrusted input, vetted before use; its numbers are never values of the site's calculator, TPC. An equation it derives is transcribed into the kernel's form grammar before anything checks it, and lands as a RESULT of regime L with EQUATION and ROLE. See [[The Principia Machina/Agent/Tools|Agent/Tools]] and [[The Principia Machina/Tools/Operator's guide|the operator's guide]].

== References ==
* '''[[The Principia Machina/Research Toolkit/Bibliography#SAGEMANIFOLDS2015|SAGEMANIFOLDS2015]]''' – Gourgoulhon E., Bejger M., Mancini M. (2015). Tensor calculus with open-source software: the SageManifolds project. J. Phys.: Conf. Ser. 600, 012002. [https://doi.org/10.1088/1742-6596/600/1/012002 doi:10.1088/1742-6596/600/1/012002].
* '''[[The Principia Machina/Research Toolkit/Bibliography#SAGEREPO|SAGEREPO]]''' – The Sage Developers (2026). SageMath 10.9 / 10.10 (GitHub releases). [https://github.com/sagemath/sage/releases github.com/sagemath/sage/releases].
* '''[[The Principia Machina/Research Toolkit/Bibliography#SAGEMANIFOLDSSITE|SAGEMANIFOLDSSITE]]''' – SageManifolds project. [https://sagemanifolds.obspm.fr sagemanifolds.obspm.fr].

The Principia Machina/Tools/SageMath - Revision history

PMA Publisher: Published from the Principia Machina source

BFP Rauch: 1 revision imported

DeltaS Zero: Physics tool added 2026-10-06: SageMath; scores by the research pass, with references (tpm_toolkit 0.1.0)