Pymbolic->symengine floordiv

Author: Ravindu-Hirimuthugoda

pymbolic/interop/common.py

@@ -156,6 +156,9 @@ def map_variable(self, expr):
     def map_constant(self, expr):
         return self.sym.sympify(expr)
 
+    def map_floor_div(self, expr):
+        return self.sym.floor(self.rec(expr.numerator) / self.rec(expr.denominator))
+
     def map_call(self, expr):
         if isinstance(expr.function, prim.Variable):
             func_name = expr.function.name

test/test_sympy.py

@@ -96,6 +96,8 @@ def _test_from_pymbolic(mapper, sym, use_symengine):
         sym.Subs(x**2, (x,), (y,))
     deriv = sym.Derivative(x**2, x)
     assert mapper(prim.Derivative(x_**2, ("x",))) == deriv
+    floordiv = sym.floor(x / y)
+    assert mapper(prim.FloorDiv(x_, y_)) == floordiv
 
     if use_symengine:
         assert mapper(x_[0]) == sym.Function("Indexed")("x", 0)