def test_common_subexpression(): a = TableSymbol('a', '{x: int, y: int, z: int}') assert common_subexpression(a).isidentical(a) assert common_subexpression(a, a['x']).isidentical(a) assert common_subexpression(a['y'] + 1, a['x']).isidentical(a) assert common_subexpression(a['x'].map(inc), a['x']).isidentical(a['x'])
def test_common_subexpression(): a = Symbol('a', 'var * {x: int, y: int, z: int}') assert common_subexpression(a).isidentical(a) assert common_subexpression(a, a['x']).isidentical(a) assert common_subexpression(a['y'] + 1, a['x']).isidentical(a) assert common_subexpression(a['x'].map(inc, 'int'), a['x']).isidentical(a['x'])
def test_common_subexpression(): a = TableSymbol("a", "{x: int, y: int, z: int}") assert common_subexpression(a).isidentical(a) assert common_subexpression(a, a["x"]).isidentical(a) assert common_subexpression(a["y"] + 1, a["x"]).isidentical(a) assert common_subexpression(a["x"].map(inc, "int"), a["x"]).isidentical(a["x"])
def test_common_subexpression(): a = symbol('a', 'var * {x: int, y: int, z: int}') assert common_subexpression(a).isidentical(a) assert common_subexpression(a, a['x']).isidentical(a) assert common_subexpression(a['y'] + 1, a['x']).isidentical(a) assert common_subexpression(a['x'].map(inc, 'int'), a['x']).isidentical( a['x'], )