sqrt开平方 sqr平方 abs取绝对值 succ后继 trunc截尾
red是什么我不知道（有么?）(是不是pred啊 pred前驱)