* Данный текст распознан в автоматическом режиме, поэтому может содержать ошибки
Краткая характеристика систем компьютерной алгебры
43
Переменная просто повторена в выводе, что и указывает на то, что она неопре деленная, то есть ей не присвоено какое либо конкретное значение. Теперь решим уравнение, используя функцию solve:
> solve(eq,x);
Получено хорошо известное решение для квадратного уравнения. А теперь по пробуем найти аналитическое решение относительно других переменных a, b и c:
> solve(eq,a);
> solve(eq,b);
> solve(eq,c);
–ax2 – bx Решение прошло успешно – во всех случаях получены аналитические выраже ния для решения. Они более тривиальные, чем решение eq относительно x. Не следует считать решения в аналитическом виде ограничением СКА. Все рассмотренные в данной книге СКА легко решают подавляющее большинство за дач и в численном виде. Например, определив переменные, присвоив им некото рые значения
> a:=2:b:=3:c:=4:
получим решение в численном виде:
> solve(eq,x);
Решение получено в виде комплексно сопряженных чисел, в них I – это мни мая единица, то есть .
1.1.2. Задачи, решаемые компьютерной алгеброй
Круг задач, решаемых компьютерной алгеброй и СКА, исключительно широк и по стоянно расширяется. Тем не менее можно отметить некоторые наиболее характер ные задачи, перечисленные ниже по разделам вычислительной математики. Символьные и численные вычисления • выполнение операций точной арифметики; • вычисление фундаментальных констант с произвольной точностью; • упрощение математических выражений;