萨奇流形

sagemands项目旨在将现代计算机代数系统SageMath扩展到微分几何和张量微积分。SageMath中包含所有sagemands代码,即不需要任何单独的安装。sage流形处理任意维的可微流形。流形上可以引入各种坐标图和矢量框架,不需要并行化。一个给定的张量场由它在每个向量框中的分量集来描述,并自动改变重叠向量框的帧变换。考虑广义伪黎曼流形,其中黎曼流形和洛伦兹流形是广义相对论的应用。特别地,实现了Riemann曲率张量和相关张量(Ricci、Weyl、schooten和Cotton张量)的计算。sage流形也可以处理一般的仿射连接,不一定是Levi-Civita连接。