Если вы хотите исключить только знаменатель, вы можете разделить его на числитель и знаменатель. Если уравнение уже представлено в виде дроби и вам нужен числитель, то
>>> y=(x**2-2)/(3*x); y # note parentheses around denom, is that what you meant?
(x**2 - 2)/(3*x)
>>> numer(_)
x**2 - 2
Но если уравнение появляется в виде суммы, вы можете поместить его в знаменатель и, возможно, в коэффициент, чтобы определить факторы числителя, которые должны быть ноль, чтобы решить уравнение:
>>> y + x/(x**2+2)
x/(x**2 + 2) + (x**2 - 2)/(3*x)
>>> n, d = _.as_numer_denom(); (n, d)
(3*x**2 + (x**2 - 2)*(x**2 + 2), 3*x*(x**2 + 2))
>>> factor(n)
(x - 1)*(x + 1)*(x**2 + 4)
>>> solve(_)
[-1, 1, -2*I, 2*I]
Однако вам не нужно разлагать числитель, прежде чем пытаться решить. Но я иногда нахожу это полезным при работе с конкретным c уравнением.
Если у вас есть пример уравнения, которое быстро решается в другом месте, но не в SymPy, пожалуйста, опубликуйте его.