Почему Sympy не упрощает "ABS (cos (Inc))/SQRT (cos (Inc) ** 2)" как 1? ⇐ Python

[Anonymous]

Я пытаюсь использовать Sympy Помочь мне упростить некоторые уравнения и проверить, являются ли две формулы равными. Но в одном случае я нахожу это довольно запутанным при обращении с ABS (cos (Inc)) /SQRT (cos (Inc (Inc) ** 2).
Я ожидаю, что вывод должен быть 1, но исходное выражение возвращается. < /P>

Код: Выделить всё

from sympy import simplify, parse_expr,Symbol
inc=Symbol('inc',positive=True,real=True)
exp_str='1*Abs(cos(inc))/sqrt(cos(inc)**2)'
exp=parse_expr(exp_str)
tmp=exp.subs("Abs(cos(inc))/sqrt(cos(inc)**2)","1")
< /code>
, который дает следующий вывод:
Abs(cos(inc))/sqrt(cos(inc)**2)

вместо просто 1.
Обратите внимание, что я уже ограничиваю INC позитивным реальным числом, мне интересно, что делать, чтобы она работала, и понять, почему формула не упрощена.>

Подробнее здесь: https://stackoverflow.com/questions/797 ... sinc2-as-1