Едва исчезли со страниц журналов восторженные отзывы на новую версию математического пакета Maple V 4.0 компании Maple Waterloo, как компания Wolfram Research представила не менее интересный продукт - Mathematica 3.0.
Немного истории для тех, кто недостаточно хорошо знаком с этой программой.
Она разработана компанией Wolfram Research Inc., основанной известным математиком и физиком Стефаном Вольфрамом, одним из создателей теории сложных систем. Первая версия программы, появившаяся в 1988 г., стала новым словом в автоматизации математических расчетов.
Mathematica отличается охватом широкого круга задач, так как ее разработчики задались целью объединить все известные математические методы, использующиеся для решения научных задач, в унифицированном и согласованном виде, включая аналитические и численные расчеты.
За основу был взят специально разработанный язык символьного программирования, который способен оперировать очень широким спектром различных объектов с применением небольшого числа базисных конструкций.
Однако программа не приобрела большой популярности из-за того, что ее сложно было освоить и невозможно работать без использования объемной документации. Только в 1991 г., после выхода в свет второй версии, в которой разработчики устранили многие ошибки предыдущей версии, а также применили более дружелюбный интерфейс и включили подсказки по встроенным функциям, программа начала быстро завоевывать популярность. А к моменту выхода Mathematica 3.0 уже было зарегистрировано более миллиона постоянных пользователей программы.
Mathematica дает возможность специалистам решать большое количество достаточно сложных задач, не вдаваясь в тонкости программирования. Благодаря этому программа получила широкое распространение в таких областях, как физика, биология, экономика. Программа также применяется как для выполнения, так и для оформления инженерных проектов.
Mathematica является важным инструментом при разработке программного обеспечения. Она может быть модернизирована самим пользователем, так как относится к открытым программным продуктам. Была разработана примерно сотня профессиональных приложений, расширяющих возможности системы применительно к конкретным областям деятельности.
Программа Mathematica наряду с программами Maple, MatLab и MathCad применяется в качестве базисной для построения курса математики во многих высших как технических, так и гуманитарных учебных заведениях. Несколько периодических изданий и более двухсот книг посвящено этой программе.
Интерфейс
Программа состоит из двух частей - ядра, которое, собственно, и производит вычисления, выполняя заданные команды, и интерфейсного процессора, который определяет внешнее оформление и характер взаимодействия с пользователем и системой. Основной рабочий документ программы - тетрадь, в которой пользователь записывает все выкладки. Вид рабочей тетради на экране монитора зависит от интерфейсного процессора, реализация которого для разных платформ несколько отличается.
Пользовательский интерфейс программы Mathematica 3.0 сначала кажется несколько примитивным: инструментальная панель - это просто строка меню, а отдельное окно документа выглядит как бы подвешенным. Кроме того, на инструментальной панели отсутствуют кнопки для выполнения часто повторяемых операций, которые были в предыдущей версии.
Однако впечатление примитивности интерфейса сразу же исчезает, когда выясняется, что можно подключать настраиваемые кнопочные палитры, которых в программе имеется больше десятка. С их помощью можно выполнять различные функции, а часть кнопок соответствуют специальным символам. Всего в программе более 700 математических, языковых и других символов. При нажатии на кнопки с символом последний переносится в рабочий документ на указанное курсором место. Другие кнопки палитры соответствуют наименованиям ряда функций программы, которые при выборе вводятся в командную строку. При нажатии кнопки алгебраических преобразований предварительно выделенное алгебраическое выражение трансформируется в соответствии с названием выбранной команды, например упрощается командой Simplify[].
Программа позволяет применять различные стили для оформления документа на экране и вывода его на печать, причем в новой версии стилей может быть значительно больше, чем в предыдущей. Для их изменения предусмотрена специальная палитра.
Программа дает возможность отображать математические символы с достаточно высоким полиграфическим качеством в тексте на экране, в командах, а также при выводе на печать. Увеличено количество опций форматирования всего текста и его частей. Возможно создание гипертекстовых связей.
Рабочую тетрадь можно сохранять в HTML-формате, а также в формате полиграфического языка LaTex и некоторых других.
Усовершенствована и расширена система подсказок, имеется интерактивный доступ к полному тексту электронной версии документации, которая состоит из инструкции пользователя, справочника по стандартным дополнениям, учебника для начинающих и демонстрационных файлов.
Меню окна справки очень хорошо продумано, что позволяет получить информацию различными путями. Можно получить справку по интересующей теме или функции, а также просмотреть текст всех документов, содержащих введенное ключевое слово. Файлы справки снабжены гипертекстовыми ссылками.
Аналитические расчеты
Умение проводить аналитические расчеты - одно из главных достоинств этой программы, автоматизирующей математические расчеты. Mathematica умеет преобразовывать и упрощать алгебраические выражения, дифференцировать и вычислять определенные и неопределенные интегралы, вычислять конечные и бесконечные суммы и произведения, решать алгебраические и дифференциальные уравнения и системы, а также разлагать функции в ряды и находить пределы. Кроме того, Mathematica имеет стандартные дополнения для аналитических расчетов, которые будут подробнее рассмотрены ниже.
Следует заметить, что возможности каждой новой версии программы качественно возрастают. В версии 3.0 программы команда упрощения алгебраических выражений Simplify[] дополнена значительно более мощной командой FullSimplify[], которая позволяет обрабатывать математические выражения, включающие специальные функции.
Расширен спектр математических выражений, для которых аналитически находятся неопределенные и определенные интегралы. Появилась также возможность задавать область изменения параметров в подынтегральных выражениях, что позволяет интегрировать многие выражения, которые в общем случае не имеют первообразной.
Значительно возросло число различных (конечных и бесконечных) сумм и произведений, вычисляемых аналитически, а также аналитически решаемых обыкновенных дифференциальных уравнений и уравнений в частных производных.
Из числа других улучшений можно выделить повышение скорости решения задач линейной алгебры.
Численные методы
Для тех задач, которые невозможно решить аналитически, Mathematica 3.0 предлагает большое количество эффективных алгоритмов для проведения численных расчетов. Она позволяет находить конечные и бесконечные суммы и произведения, вычислять интегралы, решать алгебраические и дифференциальные уравнения и системы, задачи оптимизации (линейного программирования, нахождения экстремумов функций), а также задачи математической статистики.
При численном решении математических задач наряду с правильностью алгоритмов расчета особую роль играет точность вычислений. В Mathematica 3.0 реализован адаптивный контроль точности, основанный на выборе внутренних алгоритмов, позволяющих ее максимизировать. В этой версии программы повышена эффективность одно- и многомерной интерполяции, оптимизированы алгоритмы численного решения дифференциальных уравнений.
Добавлены многократное численное интегрирование, а также численное дифференцирование. Оптимизированы алгоритмы нахождения экстремумов. Поддерживается арифметика интервалов.
Осуществлен независимый от конкретной компьютерной платформы механизм ввода и вывода числовых данных без потери точности.
Математические функции
Mathematica 3.0 позволяет включать в расчеты все известные элементарные функции, а также сотни специальных встроенных функций. Разумеется, пользователь программы может вводить и свои функции как для применения в течение одного сеанса работы, так и для постоянного использования.
В новой версии 3.0 добавлены интегралы Френеля, интегральные гиперболические синус и косинус, обратная функция ошибок, гамма- и бета-функции, дополнительная функция Вейерштрасса, эллиптические и родственные с ними функции, функции Матье. Введены числа и полиномы Фибоначчи. В качестве примера на рис. 2 показано, как Mathematica оперирует с функцией Френеля FresnelC(x).
Графика и звук
Mathematica позволяет строить двух- и трехмерные графики различных типов: в виде точек и линий на плоскости, поверхностей, а также контурные, градиентные (dencity plot), параметрические. Имеется большое количество опций оформления и настройки, например изменение подсветки, цвета, размеров и точки наблюдения.
Mathematica выполняет построение графика в три этапа. На первом создается множество графических примитивов, на втором они преобразуются в независимое от вычислительной платформы описание на языке PostScript, а на третьем это описание переводится в графический формат для той системы, на которой установлена Mathematica. Если первые два этапа осуществляет ядро программы, то последний - интерфейсный процессор.
Mathematica позволяет также строить серии картинок, которые могут быть воспроизведены как анимация. Программа содержит функции, позволяющие создавать и воспроизводить различные звуки, а также воспринимает и может анализировать некоторые типы стандартных звуковых файлов.
На рис. 7 показан вид команды, создающей звук. После выполнения команды в рабочей тетради появляется картинка, представляющая собой график синусоид, входящих в аргумент команды, а звуковой файл (так же как и файл анимации) запоминается в документе. Это позволяет сразу после открытия документа воспроизвести их без повторного вычисления.
В новой версии 3.0 программы заметно улучшено текстовое оформление графиков. Теперь заголовки и текст меток на графиках могут быть представлены с достаточно высоким полиграфическим качеством (правильное изображение математических символов). Возможно также включение в сам график форматированных текстовых строк.
Ячейки рабочего документа теперь автоматически конвертируются в EPS, TIFF, GIF и другие графические форматы.
Программирование
Входной язык Mathematica содержит большое количество конструкций, позволяющих для каждой конкретной задачи выбрать оптимальный метод программирования. Помимо обычного процедурного программирования с применением условных переходов и операторов цикла, имеется еще несколько методов:
В каждой конкретной программе пользователь может одновременно применять несколько методов или даже все перечисленные.
Серьезным недостатком предыдущей версии программы было неэкономное использование памяти компьютера. В третьей версии программы типичные операции ядра осуществляются быстрее и с меньшим использованием памяти, чем во второй. Для ускорения загрузки уменьшено количество первоначально загружаемых в память функций.
Введены новые мощные операторы символьного программирования и усовершенствованные операторы для манипулирования строками.
Появилась возможность компилировать вычисляемые выражения и процедуры. При этом скорость вычислений может быть сравнима со скоростью такой же процедуры, написанной на языке Си или Фортране, или даже выше.
В приведенном на рис. 8 примере выполняется 10 000-кратный цикл сначала без компиляции, а затем после нее. В обоих случаях при помощи функции Timing[] вычисляется время выполнения программы для значения переменной t=0,37.
Стандартные дополнения
Mathematica 3.0 содержит 11 стандартных дополнений, включающих подпрограммы (пакеты), значительно расширяющие функциональные возможности в таких областях, как алгебра, аналитические и численные расчеты, графика, дискретная математика, теория чисел и статистика. Стандартные дополнения могут загружаться по мере надобности. Для загрузки пакета используется соответствующее название, включающее имя дополнения и имя пакета из данного дополнения. Рассмотрим подробнее стандартные дополнения.
Алгебра
В это дополнение входят пакеты, позволяющие задавать различные алгебраические поля и оперировать в них, а также несколько пакетов, расширяющих функциональность программы при оперировании с полиномами и нахождении их корней. В новой версии оно пополнилось пакетами для решения некоторых типов алгебраических неравенств и симметричных полиномов и, кроме того, добавлена Гамильтонова алгебра кватернионов и элементы полей Галуа.
Вычисления
Это дополнение содержит пакеты, позволяющие расширять возможности программы при вычислении интегралов, нахождении пределов, решении дифференциальных уравнений и задач линейной алгебры в различных системах координат, а также включает команды преобразования Фурье и Лапласа, обобщенные функции, вариационные методы. В новой версии оно пополнилось пакетом для нахождения полных интегралов и дифференциальных инвариантов нелинейных уравнений в частных производных.
Дискретная математика
Дополнение предлагает примерно 200 функций для проведения исследований в области комбинаторики и теории графов; вычислительную геометрию, которая содержит несколько геометрических функций для непараметрического анализа данных; пакеты для оперирования с функциями от целых чисел, в частности для решения рекуррентных уравнений, выполнения преобразований.
Графика
Дополнение включает 21 пакет. Оно значительно расширяет возможности программы при построении графиков и анимаций. Введены новые типы: логарифмические графики, графики тел вращения, полярные, контурные, матричные графики, трехмерные параметрические, двух- и трехмерные графики векторных полей, графики неявно заданных функций и др. Появилась возможность отображать ортогональные проекции трехмерных графических объектов на координатные плоскости.
Добавлены также функции для графического представления комплексных функций.
Геометрия
Геометрическое дополнение содержит пакеты, включающие функции для задания параметров правильных многоугольников и многогранников, а также функции, обеспечивающие вращение на плоскости и в пространстве.
Линейная алгебра
В это дополнение входят функции для создания ортогональных векторных базисов, решения матричных уравнений, разложения матриц и выполнения других операций с матрицами. Оно включает пакеты Cholesky, GaussianElimination, MatrixManipulation, Orthogonalization, Tridiagonal.
Теория чисел
Функции, относящиеся к теории чисел, широко представлены в ядре программы Mathematica, например PrimePi, EulerPhi, MoebiusMu и DivisorSigma.
Дополнение теории чисел расширяет этот список функций. В него включены пакеты для доказательства простоты чисел, разложения целых чисел на множители. Имеются функции для аппроксимации действительных чисел рациональными и полиномов с действительными корнями, полиномами с целыми коэффициентами. Пользуясь дополнениями, можно найти разложение действительного числа в бесконечную дробь или произвольное разложение действительного числа разбить на непериодическую и периодическую части. Поддерживаются также такие функции теории чисел, как Ramujan и Siegel.
В новой версии появились возможности для нахождения базисных элементов для произвольных алгебраических расширений рациональных чисел.
Приближенные вычисления
Это дополнение расширяет список встроенных функций программы Mathematica для приближенных численных расчетов. Оно содержит средства подгонки функциями (полиномом, сплайнами, тригонометрическими), численные версии некоторых аналитических функций ядра (ND, NLimit, NResidue, NSeries), функции численного интегрирования (CauchyPrincipalValue, ListIntegrate, IntegrateInterpolationFunction), аппроксимации отношением полиномов, поддержки численного решения дифференциальных уравнений (BesselZeros, Butcher, OrderStar), а также альтернативный способ нахождения корней (FindRoot) с использованием методов интервалов или интерполяции.
В последнюю версию введены пакеты для численного нахождения вычетов и разложений комплексных функций.
Статистика
Это дополнение включает методы статистической обработки данных. В нем содержатся функции известных непрерывных и дискретных статистических распределений.
В новую версию добавлены пакеты подгонки и сглаживания данных, классической и робастной описательной статистики, линейной и нелинейной регрессии с диагностикой.
Утилиты и разное
Дополнение "утилиты" содержит команды для контроля времени вычислений, оптимизации использования памяти и др. К "разному" относятся те функции, которые трудно классифицировать, в частности функции, расширяющие аудиовозможности системы, - модуляция звуковых волн и музыкальные гаммы. В "разное" входят также календарные данные, физические постоянные, единицы измерения физических величин, свойства химических элементов и, кроме того, различные географические данные и даже функции для построения географических карт.
Пакеты и отдельные функции из них могут загружаться по мере необходимости. Если же какой-либо пакет часто используется, то его можно инициализировать при загрузке ядра программы.
В новой версии доступна полная документация по стандартным дополнениям в интерактивном режиме.
Профессиональные приложения
Для программы Mathematica помимо стандартных дополнений разработано большое количество профессиональных приложений - пакетов, расширяющих возможности программы в специальных областях. Библиотека предлагаемых корпорацией Wolfram Research профессиональных приложений в настоящее время содержит 23 различных пакета, из которых 18 разработано корпорацией, а остальные - другими разработчиками. Причем эта библиотека очень быстро пополняется.
Перечислим только некоторые из профессиональных приложений, демонстрирующих их разнообразие: Structural Mechanics, Experimental Data Analyst, Time Series, Finance Essentials, Fuzzy logic, Optica, Electrical Engineering, Scientific Astronomer, Joy of Mathematica, Industrial Thermics.
Сравнение программ Mathematica и Maple
Имеет смысл сравнить программу Mathematica 3.0 компании Wolfram Research Inc. и близкую по функциям Maple V 4.0 компании Maple Waterloo.
Обе программы автоматизируют как аналитические, так и численные расчеты. По диапазону задач, выполняемых аналитически, Mathematica 3.0 несколько отстает от программы Maple V 4.0, однако по диапазону и скорости выполнения численных задач во многих случаях превосходит ее благодаря использованию компилятора.
Программа Maple имеет более удобный интерфейс, в частности имеет широкие возможности для непосредственной настройки многих параметров построения графиков. Зато Mathematica может создавать звуки и оперировать с ними.
Обе программы поддерживаются на многих вычислительных платформах. Однако если в программе Maple это достигается одинаковостью языка команд, то в программе Mathematica - независимостью рабочей тетради от конкретной вычислительной платформы. Язык программирования Mathematica, на мой взгляд, более строгий и функциональный, чем объясняется широкое использование программы для создания профессиональных приложений. Программа Maple расширяется в основном за счет пополнения библиотеки пользователей (Share library).
Обе программы широко используются в качестве дополнения к другим приложениям, например, программа Maple - для выполнения расчетов в программах Scientific Word (программа Scientific WorkPlace) и Microsoft Word (MathOffice), а также в качестве инструмента аналитических расчетов в программах MatLab и MathCad.
С другой стороны, программа Mathematica включает модуль MathLink, позволяющий подключать ее к интерфейсам других программ. Так, в настоящее время распространяются как независимые коммерческие продукты MathLink-дополнения к программам Microsoft Excel, Microsoft Word, Xmath и некоторым другим программам. Кроме того, в самой программе есть языковые возможности для самостоятельной организации взаимодействия Mathematica с другими программами.
Обе программы имеют электронную поддержку пользователей через Internet, которые могут получить информацию по новым статьям и книгам, по улучшенным версиям, новым функциям и приложениям. Однако программа Mathematica позволяет также создавать электронные публикации для Internet, а ее документы, как уже упоминалось, могут конвертироваться в формат HTML.
Как видим, программа Mathematica по одним параметрам превосходит программу Maple, а по другим отстает от нее. Какие же рекомендации в этом случае можно дать потенциальным пользователям?
Обе программы могут быть использованы как для преподавания, так и для серьезной профессиональной работы. И все-таки, работая с Maple, получаешь больше удовольствия. Возможно, это связано с тем, что интерфейс программы Maple более дружелюбный, а язык команд более привычный и легче усваивается. Поэтому пользователь быстро начинает получать результаты, что его и вдохновляет. Для изучения математики или для выполнения проектов, требующих в основном аналитических расчетов, я бы порекомендовал программу Maple. Для выполнения проектов, требующих преимущественно численных расчетов, а также для создания профессиональных приложений, по моему мнению, предпочтительнее программа Mathematica.
Определенные недостатки
Можно, конечно, назвать недостатком неумение решить ту или иную задачу, однако я так не считаю. Программа, как, впрочем, и все направление автоматизации математических расчетов, находится в развитии. Поэтому те задачи, которые невозможно решить в ней сегодня, будут решаться в следующих версиях. Важно то, что программа многое умеет делать лучше других, т. е. находится в числе лидеров. Но есть и некоторые недостатки другого рода.
Эти недостатки были замечены при тестировании пробной версии (Trial version). Возможно, в коммерческом продукте они будут устранены.
Заключение
Основная идея разработчиков программы Mathematica - объединить все известные понятия и методы математики в единую универсальную систему. В идеале эта система должна представлять собой базу данных по всем существующим математическим понятиям, методам, доказательствам, решениям и алгоритмам; уметь для каждой конкретной задачи выбрать оптимальный метод решения, аналитический или численный; функционировать на любой вычислительной платформе. Такая идея, несмотря на всю свою амбициозность, весьма плодотворна, причем не только с чисто коммерческой точки зрения - увеличения количества потенциальных потребителей. Действительно, было бы очень удобно решать совершенно различные математические задачи, обращаясь к одной и той же системе. При этом отпадает необходимость в поиске и освоении новых программ. Если вычислительные возможности компьютера не достаточны для решения той или иной задачи, то написанная программа без всяких переделок переносится на более мощный компьютер.
Если продолжить эти рассуждения и предположить, что большинство специалистов, исходя из универсальности Mathematica, будут в основном применять именно эту программу, а высшие учебные заведения - преподавать математику на ее основе, то очень скоро появится универсальный язык современной математики и программирования, что будет способствовать взаимопониманию специалистов.
Нужно сказать, что компания Wolfram Research Inc. достигла определенного успеха в продвижении этой идеи, а также сумела увлечь ею многих разработчиков и преподавателей. Об этом свидетельствует быстро растущее число профессиональных приложений и использующих ее учебных заведений. Возможно, в будущем на вопрос: "Что такое математика?" - последует ответ: "Это программа, разработанная компанией Wolfram Research Inc". Остается пожелать, чтобы когда-нибудь это действительно произошло.
Борис Михайлович Манзон - к.ф.-м.н., тел.: (095) 208-36-10.
Коротко о продукте
Mathematica 3