It is studied factorizing a matrix over quaternion field to the product of two self - conjugate matrices . and some useful results are obtained.
摘要研究了四元数矩阵分解为两个自共轭矩阵乘积，其中有一个是非奇异阵的条件，得到了一些有用的结果。
2
Because the factorization attribute of logic program possess the property of uncertainty , exploring the fargoing factorizing algorithm need further study.
由于逻辑程序的可分解属性具有不确定性，因此寻找适用范围更广的分解算法有待于进一步研究。
3
We have implemented a series of algorithm, which includes rule adornment, logic program adornment and factorization, magic transformation, factorizing magic transformation.