Я тут "прикинул размеры бедствия" - посмотрел на свою реализацию ленивых степенных рядов на Сях и посчитал, сколько дополнительных функций требуется для реализации 14-ти операций над ними.
Оказалось, ни много, ни мало, 25.
Варьируется от "ни одной" в районе некоторых похожих (функция для t1 сильно напоминает функцию для c*t0), до 6 на корень квадратный. Это не функции инфраструктуры, это то, что зовётся из eval. То есть, как не реализуй, но если eval не скрыт и нет толковых ФВП, то придётся такое писать.
Собственно, по следам дискуссии у
dz. Так что от холиваров тоже польза есть. ;)
Посему прошу помощи у зала: кому-либо эта реализация будет интересна? Я могу выложить куда-либо, на mskhug, например.