Найдите общее частичное применение пары функций

Предположим, у нас есть две функции f(a,b,c) и g(a,b,d), которые мы можем выразить в виде выражений в Sympy. Как мы можем найти функции h(a,b), f'(x,c), g'(x,d) такие, что f'(h(a,b),c) = f(a,b,c) и g'(h(a,b),d)=g(a,b,d) через SymPy?

Например, я хотел бы сделать следующее с помощью Sympy:

from sympy import symbols, Eq

a,b,c,d = symbols('a b c d')

eq1 = a-b+c
eq2 = sin(2a-2b)*d

# Function I'd like to implement
common_partial(eq1, eq2) # Returns h(a, b) = (a-b), f'(x, c) = x+c, g'(x, d) = sin(2x)*d

Я не уверен, есть ли простой способ сделать это в SymPy. Я также не знаю названия этой точной математической задачи, которую стоит поискать в исследовательской литературе.

Почему в Python есть оператор "pass"?
Почему в Python есть оператор "pass"?
Оператор pass в Python - это простая концепция, которую могут быстро освоить даже новички без опыта программирования.
Некоторые методы, о которых вы не знали, что они существуют в Python
Некоторые методы, о которых вы не знали, что они существуют в Python
Python - самый известный и самый простой в изучении язык в наши дни. Имея широкий спектр применения в области машинного обучения, Data Science,...
Основы Python Часть I
Основы Python Часть I
Вы когда-нибудь задумывались, почему в программах на Python вы видите приведенный ниже код?
LeetCode - 1579. Удаление максимального числа ребер для сохранения полной проходимости графа
LeetCode - 1579. Удаление максимального числа ребер для сохранения полной проходимости графа
Алиса и Боб имеют неориентированный граф из n узлов и трех типов ребер:
Оптимизация кода с помощью тернарного оператора Python
Оптимизация кода с помощью тернарного оператора Python
И последнее, что мы хотели бы показать вам, прежде чем двигаться дальше, это
Советы по эффективной веб-разработке с помощью Python
Советы по эффективной веб-разработке с помощью Python
Как веб-разработчик, Python может стать мощным инструментом для создания эффективных и масштабируемых веб-приложений.
0
0
51
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Оказывается, есть функция SymPy, которая делает это: «Общие подвыражения»: https://docs.sympy.org/latest/modules/simplify/simplify.html#sympy.simplify.cse_main.cse

from sympy import symbols, sin, cse
a,b,c,d = symbols('a b c d')

eq1 = a-b+c
eq2 = sin(2*a-2*b)*d

cse([eq1, eq2], optimizations='basic', ignore=[c, d])
([(x0, a - b)], [c + x0, d*sin(2*x0)])

Другие вопросы по теме