College of Mathematics Physics and Information Engineering,Zhejiang Normal University, Jinhua 321004, Zhejiang, China;
Key Laboratory of Symbol Computation and KnowledgeEngineering of Ministry of Education, Jilin University, Changchun130012, Jilin, China;