------------------------------------------------------------------------------- |--模块：代数。图表。测试。关系--版权所有：（c）Andrey Mokhov 2016-2022--许可证：MIT（请参阅文件License）--维护人员：andrey.mokhov@gmail.com--稳定性：实验性----“代数.图形.关系”的测试套件。-----------------------------------------------------------------------------代数模块。图表。测试。关系(--*测试套件测试关系)其中导入代数。图表。关系导入代数。图表。关系。预订单导入代数。图表。关系。反射式导入代数。图表。关系。可传递的导入代数。图表。测试导入代数。图表。测试。API（toIntAPI，relationAPI）导入代数。图表。测试。通用导入合格的代数。图表。分类为CtPoly:：Testsuite关系顺序tPoly=（“关系”，relationAPI）t:：TestsuiteInt关系t=fmap to IntAPI t多边形类型RI=关系Int测试关系：：IO（）测试关系=doputStrLn“关系=====”测试“图的公理”$size10$Axioms@RItest一致t测试显示ttestBasic基本体t测试是t的子图测试ToGraph t测试图形系列t测试转换t测试关系ttestInduceJust t聚乙烯putStrLn“\n=========自反关系测试“自反图公理”$size10$reflexiveAxioms@（ReflexiveRelation Int）putStrLn“\n=====测试“传递图公理”$size10$transitiveAxioms@（TransitiveRelation Int）测试“path xs==（clique xs:：TransitiveRelation Int）”$size10$\xs->C.path xs==（C.clique xs:：TransitiveRelation Int）putStrLn“\n====~====预订单关系测试“预排序图公理”$size10$preorderAxioms@（PreorderRelation Int）test“path xs==（集团xs:：PreorderRelation Int）”$size10$\xs->C.path xs==（C.clique xs:：PreorderRelation Int）