В основном математическое выражение
\sum_{i=0}^n 1_{i==0}
, выраженное в SymPy, выглядит так:
Sum(Piecewise((1, Eq(i, 0)), (0, True)), (i, 0, n))
Это можно упростить до
1_{n>=0}
или если вы знаете, что n всегда n> = 0, это просто
1
Как я могу получить это упрощение в SymPy? Просто simplify не работает. Возможно, Piecewise тоже не лучший способ express. Есть ли лучшая альтернатива, такая же?
Другой пример:
Sum(Piecewise((2, Eq(i, 0)), (1, True)), (i, 0, n))
Следует упростить до:
2 + n
Я сообщил, что восходящий поток здесь .