torch.fx.experimental.symbolic_shapes.canonicalize_bool_expr

torch.fx.experimental.symbolic_shapes.canonicalize_bool_expr(expr)

通过将布尔表达式转换为 lt / le 不等式并将所有非常数项移至 rhs 来规范化布尔表达式。我们通过 cnf 将 And / Ors / Not 规范化，然后递归地规范化其子表达式 nb。sympy.Rel.canonical 不足以完成此任务 https://github.com/sympy/sympy/issues/25924

参数:

expr (sympy.Expr) – 要规范化的表达式

返回类型:

_T