torch.fx.experimental.migrate_gradual_types.transform_to_z3.transform_algebraic_expression#

torch.fx.experimental.migrate_gradual_types.transform_to_z3.transform_algebraic_expression(expr, counter, dimension_dict)[source]#

Transforms an algebraic expression to z3 format :param expr: An expression is either a dimension variable or an algebraic-expression

Returns: the transformed expression