Question

我已指定n是一个正整数，但以下代码无法正常工作。

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

将输出：

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

在.rewrite(Piecewise)之后添加Max

>>> 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函数没有实现这种情况。