rot是旋度，通过旋度公式来求。

旋度是向量分析中的一个向量算子，可以表示三维向量场对某一点附近的微元造成的旋转程度。这个向量提供了向量场在这一点的旋转性质。向量分析中的一个向量算子，可以表示三维向量场对某一点附近的微元造成的旋转程度。