我是 python 的新手，正在编写一个 python 脚本来跟踪数学论文中的符号。如果论文定义了名称为“A”、“B”、“C”、“D”的值（数字、组等），我希望能够轻松跟踪它们之间的相等性，这样如果我写value("A") = value("B")然后评估为并value("B") = value("C")评估为。value("A") == value("C")Truevalue("A") == value("D")False
这个问题的答案似乎很有希望，但是当我定义一个value具有等价检查功能的类时，它不会让我写 value("A") = value("B")。我知道我可以为每个等式定义一个带有边 (value("A"), value("B")) 的图，然后找到它的连通分量，但这看起来既复杂又不优雅。有更好的解决方案吗？