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

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