黎曼曲率

微分几何中的计算(Julia版 计划长期维护)

2020-02-24
| 微分几何 | | 流形 , julia , 张量 , 克氏符 , 黎曼曲率 , killing | Comment 评论

Julia,对数学符号真太友好了。

前面的笔记中,我曾穿插了些相关的符号计算,本文作为一个汇总,并且未来的一些有特点的代码,我也将汇总于此,用作备忘。

Julia进行张量符号计算的关键:1)先要写出(多重)数组友好的公式,然后用Julia实现之; 2)使用了SymPy,外加Julia本身的语法优势。

我曾想过将代码封装成函数,但发现直接用代码似乎更好。首先代码不复杂,其次, 暴露代码细节还能和数学公式相互对照,不容易出错。 有种“所见即所得”的感觉。

...