Lines Matching full:floordiv

17 from torch.utils._sympy.functions import FloorDiv, simple_floordiv_gcd
42     "truediv", "floordiv",
108     elif (fn in ["div", "truediv", "floordiv"]) and b == 0:
402             elif fn == "floordiv" and args[1] == 0:
454             Eq(FloorDiv(a, b), c),
456             Ne(FloorDiv(a, b), c),
572         # (Eq(FloorDiv(a, pos), integer), And(Ge(a, integer * pos), Lt(a, (integer + 1) * pos))),
573 …      # (Eq(FloorDiv(a + 5, pos), integer), And(Ge(a, integer * pos), Lt(a, (integer + 1) * pos))),
574         # (Ne(FloorDiv(a, pos), integer), Or(Lt(a, integer * pos), Ge(a, (integer + 1) * pos))),
577             # 'FloorDiv' turns into 'And', which can't be simplified any further.
578             Eq: (Eq(FloorDiv(a, pos), integer), None),
579             # 'FloorDiv' turns into 'Or', which can't be simplified any further.
580             Ne: (Ne(FloorDiv(a, pos), integer), None),
581             Gt: (Gt(FloorDiv(a, pos), integer), (integer + 1) * pos),
582             Ge: (Ge(FloorDiv(a, pos), integer), integer * pos),
583             Lt: (Lt(FloorDiv(a, pos), integer), integer * pos),
584             Le: (Le(FloorDiv(a, pos), integer), (integer + 1) * pos),
589             (op(FloorDiv(a, b), integer), None),
591             (op(FloorDiv(a, pos), c), None),
594         # The result might change after 'FloorDiv' transformation.
623         check(Eq(FloorDiv(a + 10, 3), 3), Lt(a, (3 + 1) * 3 - 10))
629         check(Eq(FloorDiv(10 - a, 2), 4), Le(a, -(4 * 2 - 10)))
648         expr = Eq(FloorDiv(a + 10, 3), 3)