dsh-diffgeom
在终端中运行以下命令:
dsh plugin install hatter123/dsh-diffgeom
将以下提示词粘贴到 DeepSeek Harness 对话框中:
在 DeepSeek Harness 终端中运行 dsh plugin install hatter123/dsh-diffgeom 即可安装该插件,完整源码位于 https://github.com/hatter123/dsh-diffgeom 。
插件介绍
差分几何的符号计算通常需要先在 Jupyter 或脚本里手动导入 SymPy 的各个子模块、逐层搭建流形与坐标系,才能真正开始写第一个张量表达式。dsh-diffgeom 把 SymPy.diffgeom 封装为 DeepSeek Harness 内的一个即用工具:你直接写坐标无关的微分几何代码,运行后立刻拿到符号结果,省去环境配置与上下文切换的繁琐。
插件覆盖完整的微分几何工具箱:流形、坐标卡、坐标系;抽象标量场与张量场;外微分算子 d;Wedge 积;Lie 导数;以及从协变导数、Christoffel 符号到 Riemann 张量与 Ricci 张量分量的完整推导链。内置的二维与三维欧氏流形已预装基 1-形式、基向量与度量张量,打开即可上手写表达式。
它面向研究生、物理与数学方向的工程师,以及任何需要在广义相对论、微分几何或张量微积分中快速验证曲率计算、为论文跑一组符号推导、或在不离开 Harness 对话的前提下试算几何不变量的人。几行 Python,一次运行,结果即刻呈现。
使用场景
- 在广义相对论课程中验证 Riemann 与 Ricci 张量的符号推导
- 为物理论文快速计算 Christoffel 符号并化简曲率分量
- 在 Harness 对话中直接推导 Lie 导数与外微分,无需切换 Jupyter
适合人员
- 广义相对论与微分几何方向的研究生
- 需要在论文中做符号化曲率计算的物理与数学研究者
- 在 Harness 中原型验证几何不变量的张量计算工程师