函数sqrt Sqr abs red succ trunc的意思