对于一般情形,基于后继函数法给出焦点量计算的递推公式;基于形式级数法给出焦点量计算和化简的Maple算法;给出了时间可逆条件的推导算法,给出了一类五次系统时间可逆的充要条件.
For general cases, this paper gives recursive formulas for computing focal quantities by return map method, and brings in an algorithm for computing and simplication of focal quantities by formal series method. For a class of polynomial systems, an algorithm for deriving time-reversible conditions is given, and the time-reversible conditions for a quintic polynomial system are obtained.