离散，代数系统引入及运算
数据结构上机测试