定义

计算

截尾性

例子