ginac编译器设计中双向循环的归一化处理

？文中提出一种判定归一化的处理方法,这种方法把编译器在语法分析过程中遇到的递增和递减循环统一成一种模式处理,而循环的递增和递减交由目标生成模块来判断。通过这种方法,使得编译过程中的各模块的功能能进一步趋于均衡和简化,同时也为代码优化提供更多的优化条件。ginac是基于linux的开放源码符号计算平台,这种方法应用在ginac编译器的设计中取得了很好的效果。