1. Nonlinear Science Center, Ningbo University, Ningbo 315211, China
2. Key Laboratory of Mathematics Mechanization, Chinese Academy of Sciences, Beijing 100080, China
3. Institute of Theoretical Computing, East China Normal University, Shanghai 200062, China