hatter123/dsh-diffgeom

README 摘要

dsh-diffgeom Differential-geometry symbolic computation for DeepSeek Harness. It registers a diffgeom tool that runs coordinate-free differential geometry through SymPy.diffgeom and returns the symbolic result. Prerequisites Python 3 with SymPy installed: Verify: Install (or publish to npm and dsh plugin --profile web add dsh-diffgeom ) What it can do - manifolds, patches, coordinate systems - scalar fields and tensor fields (abstract, coordinate-free) - exterior derivative d ( Differential ) - wedge product ∧ ( Wedge ) - Lie derivative ( LieDerivative ) - covariant derivative, metric → Christoffel symbols → Riemann/Ricci components Preloaded objects The tool evaluates your Python code with a working Euclidean manifold already set up: - 2D: m , p , r2 , coordinates x , y , basis 1-forms ex , ey , basis vectors e x , e y , metric g - 3D: m3 , p3 , r3 , coordinates x3 , y3 , z3 , basis ex3 , ey3 , ez3 , vectors e x3 , e y3 , e z3 , metric g3 Plus the usual constructor/operation names: Manifold , Patch , CoordSystem , TensorProduct , Wedge , LieDerivative , Differential , metric to Christoffel 2nd , metric to Ricci components , metric to Riemann components , symbols , Function , simpl…

分类