Символьная алгебра

Macsyma

MIT, 1968-1982 (Maclisp), Symbolics Inc., 1982 (Open Genera Lisp).

Reduce

Hearn A.C., 1974 (R-Lisp).

Maxima

GPL-licensed, 1982 (Common Lisp).

Типичные абстракции

• линейная комбинация,
• многочлен,
• рациональная или тригонометрическая функция.

Мы можем рассматривать их как объекты составных типов данных, полезных при обработке выражений.

x² sin(y² + 1) + cos 2y + cos(y³ − 2y²)

Проиллюстрируем типичные решения при разработке подобных систем на основе идей абстракции данных и обобщенных операций.

Арифметика многочленов (полиномов)

• Ограничимся многочленами с одной переменной.
• Рассматриваем многочлен как сумму термов.