什么数学软件能计算空间直线与旋转曲面法线的夹角?假设已知曲面方程和直线方程.