Mathematica中的拓扑学问题