Каково фактическое поведение expr.replace() при использовании «exact=False» ⇐ Python

[Anonymous]

Я изучал документацию SymPy. В разделе Темы->Основные->Основные->Основные я нашел следующее:

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

>>> e = x**(1 + y)
>>> (x**(1 + y)).replace(x**(1 + a), lambda a: x**-a, exact=False)
x
>>> (x**(1 + y)).replace(x**(1 + a), lambda a: x**-a, exact=True)
x**(-x - y + 1)
>>> (x**y).replace(x**(1 + a), lambda a: x**-a, exact=False)
x
>>> (x**y).replace(x**(1 + a), lambda a: x**-a, exact=True)
x**(1 - y)

Это поведение не соответствует остальной документации expr.replace(). Может ли кто-нибудь из героев рассказать подробнее об этих выводах?
Я ожидаю, что первый вывод, например, будет: x**(-y)
Вот ссылка на место в документации, где появляется предыдущий пример. Это сразу после раздела 3.1, при введении «exact=False»

Подробнее здесь: https://stackoverflow.com/questions/777 ... xact-false