def _eval_rewrite_as_factorial(self, x, k):
        if x.is_integer and k.is_integer:
            return factorial(k + x - 1) / factorial(x - 1)
dataset/ETHPy150Open sympy/sympy/sympy/functions/combinatorial/factorials.py/RisingFactorial._eval_rewrite_as_factorial/original