Системы компьютерной алгебры. Работа с системой Maple. Федотов А.В. - 25 стр.

    Одним из важных применений подстановок является проверка
правильности решений уравнений и систем уравнений. Ниже дан пример
такой проверки:




   Здесь задана система из трех нелинейных уравнений, которая затем
решена функцией solve. В конце примера с помощью функции
подстановки выполнена проверка правильности решения. Оно верно,
поскольку у всех уравнений значение левой части совпадает со значением
правой части.

   Функции сортировки и селекции
   Сортировка и селекция выражений широко используются в практике
символьных преобразований. Для выполнения сортировки служит
функция sort, применяемая в одной из следующих форм:
   sort(L) sort(L. F) sort(A) sort(A. V)

                                   25