Я знаю, что следующую систему параметрических уравнений
x = cos(t)
y = sin(t)
можно упростить с помощью идентификатора триггера, чтобы исключить параметр t и обеспечить неявное уравнение x^2 + y^2 = 1 для единичного круга.
Можно ли сделать такое упрощение в SymPy?