摘要: 在符号处理的过程中，有时不可避免地要进行算术运算，例如计算表的长度，在机器人的规划系统中，要判别物体的几何尺寸等．