测试二元运算乘法表是否构成群表的算法设计

• Algorithmic Design of Testing with Computer whether the Multiplication Table of Binary Operation Forms Group Table