http://reply.papertrans.cn/2/195/19499/19499-21.png
Submitted on: 10 May 2001.
Revised on: 03 July 2001.
Accepted on: 06 August 2001.
___________________JOURNAL OF SYMBOLIC COMPUTATION
http://reply.papertrans.cn/2/195/19499/19499-23.png
http://reply.papertrans.cn/2/195/19499/19499-24.png
http://reply.papertrans.cn/2/195/19499/19499-25.png
http://reply.papertrans.cn/2/195/19499/19499-26.png
http://reply.papertrans.cn/2/195/19499/19499-27.png
http://reply.papertrans.cn/2/195/19499/19499-28.png
http://reply.papertrans.cn/2/195/19499/19499-29.png
http://reply.papertrans.cn/2/195/19499/19499-30.png