python - 如果 n 是正整数，Max(n, log(n, 2)) 应该返回 n 吗？

Question

我已经指定 n 是一个正整数，但下面的代码没有按预期工作。

>>> n = Symbol('n', integer=True, positive=True)
>>> Max(n, log(n, 2))

将输出:

Max(n, log(n)/log(2))

在 Max 之后添加 .rewrite(Piecewise) 之后

>>> Max(n, log(n, 2)).rewrite(Piecewise)
Piecewise((n, n >= log(n)/log(2)), (log(n)/log(2), True))

我认为如果n是一个正整数，n应该总是大于log(n, 2)。

知道这个结果吗？？

有没有办法让 Max(n, log(n, 2)) 返回 n？？

Answer 1

我已经在 github 上打开了这个问题，似乎 sympy Max 函数没有实现这种情况。

https://github.com/sympy/sympy/issues/16926