Maple 自定义函数proc中内含有while循环，调用过程中出错“无法判断对错”
自己写了一个求反渐开线函数的过程，调用的时候出错，请大神帮忙看看怎么样改
ainv := proc (para)
local power;
description "fan jian kai xian han shu";
power := 3^(1/3)*inv_alpha_t_x^(1/3);
while 0.01 < abs(tan(power)-power-para) do
power := power-(tan(power)-power-para)/tan(power)^2
end do;
return power
end proc
------------------------------------------------------------------
调用：
x := ainv(para)
错误：
Error, (in ainv) cannot determine if this expression is true or false:
0.01 < tan(.3125305797*3^(1/3))-.3125305797*3^(1/3)+4.969473462
|