remark. 范围[#99]

这里实现的是欧氏Cartesian坐标。将名字换成r,θ,z不会自动得到柱坐标度量；一般曲线坐标、联络和边界条件都需要不同的语义与算法。

向量表示细节见分量与显式偏导；运算过程可沿计算追踪查看pass、规则路径和证书。多项式积分与Poisson特解展示另一类多项式运算。