def Allen(fileUsesMathSigns=True): if fileUsesMathSigns: file1 = "algebra/allen2.txt" file2 = "algebra/ia_ord_horn_C2.txt" else: file1 = "algebra/allen.txt" file2 = "algebra/ia_ord_horn_C.txt" algFile = ReadFile.AlgebraFile(file1) horn = ReadFile.ATractableSubsetsFile(file2) alg = Algebra(algFile, horn) alg.equality = ("=" if fileUsesMathSigns else "EQ") # print(alg) alg.checkIntegrity() print("Reading compositions file ...") print("\n") alg.readCompositionsFile("algebra/allen.compositions") return alg
def PC(): algFile = ReadFile.AlgebraFile("algebra/point_calculus.txt") alg = Algebra(algFile) alg.equality = "=" return alg