Що таке система Reduce?

Розвиток обчислювальної техніки починався з автоматизації виконання арифметичних дій. Область обчислювальної математики, пов'язана з аналітичними перетвореннями, отримала назву комп'ютерної алгебри. Основним об'єктом, над яким справляє дію комп'ютер, є аналітичний (символьний) вираз, організований і перетворюваний за заданими логічними правилами.

Для цих цілей створені та розвиваються спеціальні системи аналітичних перетворень, наприклад, універсальна система Reduce, автором якої є професор А. Хієн. Очевидно, що відомі системи програмування (Паскаль, СІ, Бейсік тощо) мало придатні для аналізу та перетворення символьної інформації.

Мова Reduce, що становить ядро системи, транслятори якої розроблені для всіх поширених типів ЕОМ, призначена, передусім, для обчислень в аналітичному вигляді. Мова Reduce "знає" всі операції з багаточленами, приведенням подібних членів, розкриттям дужок; всі базові елементарні функції, зокрема й у комплексній формі, низку інших функцій; широкий набір операції над матрицями, які входять у звичайні вузівські програми, так і такі, які виходять за їх межі (наприклад, функції від матриць); дуже добре диференціює і дещо гірше обчислює первісні, вміє робити й низку інших дій.

Зрозуміло, система Reduce "уміє" робити і чисельні операції, причому її арифметика має довільну точність, не прив'язану до способу представлення чисел з плаваючою комою в регістрах процесора і комірках ОЗУ. Отримати при обчисленні 20 або 50 значущих цифр в результаті для системи Reduce цілком можливо.

У системі Reduce програма записується та виконується за пропозиціями, кожна з яких є послідовністю символів. Пропозиція завершується одним із символів: крапка з комою, або кружок із рисками.

У Reduce кожна змінна має ім'я та значення. Якщо змінній не присвоєно якесь значення, ім'я змінної є її значенням. У цьому полягає одна з принципових відмінностей подібних систем від традиційних мов програмування. Спочатку ім'я та значення змінної збігаються між собою, і така змінна називається вільною.

Запуск програми виконання в системі Reduce здійснюється клавішею Enter.