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
