def _eval_rewrite_as_zeta(self, n, z):
if n >= S.One:
return (-1)**(n + 1)*C.factorial(n)*zeta(n + 1, z)
else:
return self
微信
公众号
扫码关注公众号