torch.fx.experimental.symbolic_shapes.canonicalize_bool_expr

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

透過將其轉換為小於/小於等於不等式並將所有非常量項移動到右側，來規範化布林表示式。我們透過 CNF 規範化 And / Ors / Not，然後遞迴規範化它們的子表示式。注：sympy.Rel.canonical 不夠好 https://github.com/sympy/sympy/issues/25924

引數

expr (sympy.Expr) – 要規範化的表示式

返回型別

_T