Это, конечно, не ошибка. Я не смог однозначно решить, следует ли это описывать здесь или в разделе предложений.

[MATH lang=eng]u1:{t1р-t3р}/{t3р-t2р}[/MATH]
[MATH lang=eng]t111+u1)*t3-u1*t2[/MATH]

[MATH lang=eng]u2:{t1р-t3р}/{t1р-t2р}[/MATH]
[MATH lang=eng]t12:{t3-u2*t2}/{1-u2}[/MATH]

При символьном вычислении получается вот что:

[MATH lang=eng]t11-t12={((-t2р+t1р)*t3-(t1р-t3р)*t2)*(-t2р+t3р)-(t3*(t1р-t2р)-(t1р-t3р)*t2)*(t3р-t2р)}/{(-t2р+t3р)^2}[/MATH]

А в идеале должен быть 0. Похоже, в некоторых ситуациях программа не воспринимает пары типа [MATH lang=eng](-t2р+t3р)[/MATH] и [MATH lang=eng](t3р-t2р)[/MATH] как одно и то же.

Здравствуйте, Михаил.

Спасибо. Да, это проблема символьного движка программы... Задача упрощения сама по себе очень сложна для реализации, но я попробую усовершенствовать алгоритм таким образом, что бы приведённое Вами выражение сводилось к нулю.

С уважением, Андрей Ивашов.