tridecGF 和 normsys 是三角分解软件包 Epsilon 中新增的两个模块. tridecGF 模块实现了将多项式系统在有限域上分解为三角系统、正则系统、简单系统以及不可约系统等三角分解算法; normsys 模块实现了多项式集合的特征分解、强特征分解以及多项式系统的正规分解、广义三角分解, 其中特征分解指将多项式集合分解为由 Groebner 基和 W 特征列所构成的特征对. 本文介绍了上述两个模块的基本理论、设计思路、相关示例并汇报了实验结果.