hore演算 经典验证 mathematica实现