Скачать пост в виде документа Mathematica, который содержит весь использованный код, можно здесь.

Одним из самых важных навыков в работе с системой Mathematica, является задание функций, которые имели бы самый разный вид, и зависели бы от разного количества переменных (от буквально ни одной переменной до бесконечного их количества), при этом некоторые переменные могли бы иметь значения, которые используются по умолчанию, если не вводятся их конкретные значения, другие имели бы вид опций, как у многих встроенных в Mathematica функций, или имели бы строгие ограничения на свой тип…

В данном посте будет показано как программировать в Mathematica на русском языке, а для этого я покажу как создать функции, имена которых задаются кириллицей, соответствующие оригинальным встроенным функциям. При этом вы познакомитесь с тем, как собственно задавать самые разные типы и виды функций.

Мне хотелось бы отметить, что в версии 10.1 языка Wolfram Language (Mathematica) начался процесс русификации интерфейса, документации и предсказательного интерфейса. Для ряда языков, например, китайского, процесс полной локализации уже практически завершен. При этом, более того, даже сервис Wolfram|Alpha скоро сможет работать на китайском.

WolframLanguageInRussian)rAdvancedFunctionSetting_1.gif

Создание стандартных функций нескольких переменных


Отсроченное задание функции


Задать стандартную функцию можно с помощью конструкции вида:

WolframLanguageInRussian)rAdvancedFunctionSetting_2.png

В данной конструкции участвуют три крайне важных функции Mathematica, первая — это отсроченное присваивание SetDelayed (в короткой форме имеет вид :=), вторая — шаблонное выражение Blank[] (в короткой форме имеет вид _), третья — шаблон с присвоенным ему именем Pattern[name, object] (в короткой форме имеет вид name:object, или, если шаблонный объект представляет собой просто _, то name_).

Рассмотрим подробнее зачем они нужны и как работают.

  • Отсроченное присваивание := употребляется в виде:


WolframLanguageInRussian)rAdvancedFunctionSetting_3.gif

оно присваивает выражение rhs (сокращение от “right hand side” — справа) в качестве отсроченного значения объекта (символа) lhs (сокращение от “left hand side” — слева), при этом выражение rhs остается в невычисленном виде. Как только в коде встречается объект lhs, он заменяется на выражение rhs, которое после этого вычисляется.

  • Шаблонное выражение _ употребляется в виде:


WolframLanguageInRussian)rAdvancedFunctionSetting_4.gif

или

WolframLanguageInRussian)rAdvancedFunctionSetting_5.gif

оно олицетворяет собой любое выражение, написанное на языке Wolfram Language. При этом, шаблон _h задает любое выражение, головная часть которого совпадает с h.

  • Шаблон с присвоенным ему именем name_ употребляется в виде:


WolframLanguageInRussian)rAdvancedFunctionSetting_6.gif

или

WolframLanguageInRussian)rAdvancedFunctionSetting_7.gif

он служит для “передачи” объекта внутри используемых функциональных конструкций (правил замен, задании функций и т. п.)

Что ж, суммируя сказанное выше, можно сказать, что стандартное задание функции одной переменной имеет вид:

WolframLanguageInRussian)rAdvancedFunctionSetting_8.png

которое в полной форме (в той, которой его на самом деле “видит” и использует Mathematica) выглядит так:

WolframLanguageInRussian)rAdvancedFunctionSetting_9.png

Задание функции в виде отсроченного присваивания, которое в общем случае имеет вид:

f[pattern]:=lhs

работает следующим образом:

  • как только Mathematica встречает при вычислении кода функцию с именем f, она проводит сопоставление ее вычисленного аргумента expr (если она встретила выражение f[expr]) с шаблоном pattern. В том случае, если выражение-аргумент expr удовлетворяют шаблону pattern, то конструкция f[expr] заменяется на выражение lhs, в котором все символы с именем, соответствующем имени шаблонного выражения pattern заменяются на выражение expr, после чего полученная конструкция вычисляется и замещает исходное выражение f[expr].


Понятно, что если используется задание функции вида f[v_]:=lhs[v], то, как было сказано выше, любое выражение expr удовлетворит шаблону v_.

Приведу пример. Зададим функцию, которая вычисляет WolframLanguageInRussian)rAdvancedFunctionSetting_10.png:

WolframLanguageInRussian)rAdvancedFunctionSetting_11.png

Попробуем вычислить ее значение от разных аргументов:

WolframLanguageInRussian)rAdvancedFunctionSetting_12.png

WolframLanguageInRussian)rAdvancedFunctionSetting_13.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_14.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_15.gif

Как видно из рассмотренных выше примеров, действительно любой объект (число, символ, картинка) удовлетворяют шаблону x_ и Mathematica легко работает со всеми выражениями, что демонстрирует необычайную гибкость ее языка.

Задание функции многих переменных полностью аналогично. Скажем, зададим функцию 3 переменных:

WolframLanguageInRussian)rAdvancedFunctionSetting_16.png

WolframLanguageInRussian)rAdvancedFunctionSetting_17.png

WolframLanguageInRussian)rAdvancedFunctionSetting_18.gif

Создание функции, которая “помнит” свои вычисленные ранее значения


Если изменить отсроченное задание функции следующим образом:

WolframLanguageInRussian)rAdvancedFunctionSetting_19.png

то однажды вычислив значение в некоторой “точке” (значение при некотором значении аргумента, аргументом может быть не обязательно число и необязательно точка в привычном ее понимании...), функция f будет помнить (правда только в рамках данной сессии Mathematica) это значение (здесь была использована функция Set (в короткой форме имеет вид =), которая позволяет присвоить некоторому символу некоторое значение).

Такое задание функции способно сэкономить массу времени, если вычисление правой части отсроченного присваивания функции занимает много времени, но при этом требует больше памяти.

Пример (время вычисления некоторой команды можно узнать с помощью функции Timing):

WolframLanguageInRussian)rAdvancedFunctionSetting_20.png

WolframLanguageInRussian)rAdvancedFunctionSetting_21.png

WolframLanguageInRussian)rAdvancedFunctionSetting_22.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_23.png

WolframLanguageInRussian)rAdvancedFunctionSetting_24.gif

Из примера видно, что однажды вычислив значение функции в точке, при таком задании функции, в следующий раз оно не займет никакого времени.

  • Внимание! Такое присваивание может сыграть с вами злую шутку. Так как значение функции в данной точке хранится в памяти, оно становится нечувствительным к изменению собственно правой части lhs[v] функции:


WolframLanguageInRussian)rAdvancedFunctionSetting_25.png

WolframLanguageInRussian)rAdvancedFunctionSetting_26.png

WolframLanguageInRussian)rAdvancedFunctionSetting_27.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_28.png

WolframLanguageInRussian)rAdvancedFunctionSetting_29.png

WolframLanguageInRussian)rAdvancedFunctionSetting_30.gif

Абсолютное задание функции


В том случае, если использовать вместо функции SetDelayed (:=) функцию Set (=) в задании функции:

WolframLanguageInRussian)rAdvancedFunctionSetting_31.png

то выражение справа lhs[v] будет вычислено сразу, после чего в него будут подставляться значения аргументов функции при встрече в дальнейшем выражения вида f[expr] в коде. Такая форма задания функции способна сэкономить время в том случае, если вычисление выражения lhs[v] трудоемко и по сути не зависит от конкретного значения аргумента v.

Сравним отсроченное и абсолютное задания функций.

Вычисление выражения lhs[v] не зависит от значения v напрямую:

WolframLanguageInRussian)rAdvancedFunctionSetting_32.png

WolframLanguageInRussian)rAdvancedFunctionSetting_33.png

WolframLanguageInRussian)rAdvancedFunctionSetting_34.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_35.png

WolframLanguageInRussian)rAdvancedFunctionSetting_36.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_37.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_38.gif

Вычисление выражения lhs[v] зависит от значения v напрямую:

WolframLanguageInRussian)rAdvancedFunctionSetting_40.png

WolframLanguageInRussian)rAdvancedFunctionSetting_41.png

WolframLanguageInRussian)rAdvancedFunctionSetting_42.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_43.png

WolframLanguageInRussian)rAdvancedFunctionSetting_44.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_45.png

WolframLanguageInRussian)rAdvancedFunctionSetting_46.gif

Из двух примеров выше можно сделать два важных вывода:

  • Внимание! Абсолютное задание можно использовать только в том случае, если вычисление конструкции lhs[v] не зависит напрямую от переменной v. Если это не так, то ответ может быть не верен.


  • В случае применения абсолютного задания функций, вы получаете возможность заметно ускорить свои вычисления в ситуации, когда вычисление правой части задания функции не зависит напрямую от аргумента.


Задание функции, некоторые аргументы которой имеют значения по умолчанию


В некоторых ситуациях удобно использовать функции, некоторые переменные которых имели бы значения по умолчанию. Задать такого рода переменную для функции можно с помощью функции Optional, которая употребляется следующим образом:

WolframLanguageInRussian)rAdvancedFunctionSetting_47.gif

Зададим функцию, которая строит круг или окружность, при этом по умолчанию центр этого круга (окружности) находится в точке (0, 0), он (она) имеет радиус равный 1, а также имеет красный цвет:

WolframLanguageInRussian)rAdvancedFunctionSetting_48.png

WolframLanguageInRussian)rAdvancedFunctionSetting_49.png

WolframLanguageInRussian)rAdvancedFunctionSetting_50.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_51.png

WolframLanguageInRussian)rAdvancedFunctionSetting_52.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_53.png

WolframLanguageInRussian)rAdvancedFunctionSetting_54.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_55.png

WolframLanguageInRussian)rAdvancedFunctionSetting_56.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_57.png

WolframLanguageInRussian)rAdvancedFunctionSetting_58.gif

Очевидным неудобством работы с такими функциями является то, что если вы хотите использовать много аргументов со значениями по умолчанию, то использовать эти значения у вас получится только в том случае, если они стоят справа от тех аргументов, которым вы придаете какое-то значение. Если же вы меняете какое-то значение по умолчанию на конкретное, то вам придется в обязательном порядке явно указывать и все значения, что стоят левее от него. Таким образом, данное задание очень чувствительно к порядку следования аргументов, а значит переменные со значениями по умолчанию должны располагаться в порядке убыли частоты их использования, если же частота примерно одинакова, то целесообразность задания таких функций резко падает.

Задание функции с опциями


Для того, чтобы избавиться от проблемы, связанной с использованием переменных, которые имеют значения по умолчанию, которая рассматривалась выше, служат функции, которые имеют так называемые опции. Большинство встроенных функции Mathematica имеют те или иные опции.

Для того, чтобы задать опции для некоторой функции, служат встроенные функции OptionsPattern и OptionValue, смысл работы с которыми ясен из следующего примера: реализуем ту же функцию, что и ранее (строящую круг или окружность, с центром по умолчанию в точке (0, 0), радиуса 1, красного цвета), только все значения по умолчанию теперь задаются опциями:

WolframLanguageInRussian)rAdvancedFunctionSetting_59.png

WolframLanguageInRussian)rAdvancedFunctionSetting_60.png

WolframLanguageInRussian)rAdvancedFunctionSetting_61.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_62.png

WolframLanguageInRussian)rAdvancedFunctionSetting_63.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_64.png

WolframLanguageInRussian)rAdvancedFunctionSetting_65.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_66.png

WolframLanguageInRussian)rAdvancedFunctionSetting_67.gif

Задание функции с наложенными на аргументы условиями


Для того, чтобы наложить на какой-то аргумент функции ограничение, служит функция Condition (имеющая короткую форму /;).

Скажем, создадим функцию, которая вычислялась бы, только если ее аргумент больше 2:

WolframLanguageInRussian)rAdvancedFunctionSetting_68.png

WolframLanguageInRussian)rAdvancedFunctionSetting_69.png

WolframLanguageInRussian)rAdvancedFunctionSetting_70.gif

Или функцию, которая вычислялась бы, если ее аргумент является списком, состоящим не более чем из 4 элементов:

WolframLanguageInRussian)rAdvancedFunctionSetting_71.png

WolframLanguageInRussian)rAdvancedFunctionSetting_72.png

WolframLanguageInRussian)rAdvancedFunctionSetting_73.gif

В примере выше также использовался шаблон с указанием головной части выражения List (x_List), который задает любой список.

Такого рода шаблоны могут быть самыми разными:

WolframLanguageInRussian)rAdvancedFunctionSetting_74.png

WolframLanguageInRussian)rAdvancedFunctionSetting_75.png

WolframLanguageInRussian)rAdvancedFunctionSetting_76.gif

Также вы можете пользоваться всевозможными тестовыми функциями, которые проверяют, обладает ли выражение, определенным свойством. Это делается с помощью функции PatternTest (имеющая короткую форму ?), стандартный синтаксис которой выглядит следующим образом:

WolframLanguageInRussian)rAdvancedFunctionSetting_77.gif

Все тесты (как видно из кода ниже, их 128) в системе Mathematica это функции, которые оканчиваются, как правило, на заглавную букву Q:

WolframLanguageInRussian)rAdvancedFunctionSetting_78.png

WolframLanguageInRussian)rAdvancedFunctionSetting_79.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_80.png
128

Скажем, вот так просто можно создать функцию, которая будет работать только с простыми числами:

WolframLanguageInRussian)rAdvancedFunctionSetting_82.png

WolframLanguageInRussian)rAdvancedFunctionSetting_83.png

WolframLanguageInRussian)rAdvancedFunctionSetting_84.gif

Альтернативные шаблоны


В некоторых случаях функция должна работать с выражением, если оно удовлетворяет одному из заданных шаблонов. Реализовать подобную конструкцию можно с помощью функции Alternatives (имеющая короткую форму |).

Ниже представлена функция, аргумент которой может быть либо списком, либо целым числом, большим 4:

WolframLanguageInRussian)rAdvancedFunctionSetting_85.png

WolframLanguageInRussian)rAdvancedFunctionSetting_86.png

WolframLanguageInRussian)rAdvancedFunctionSetting_87.gif

Множественное задание функций (перегрузка функций)


В Mathematica у вас есть возможность задать определения функции, которые будут применяться в разных ситуациях. Сделать это можно с помощью применения шаблонов с головными частями выражений, а также с использованием ограничений, наложенных на переменные.

В примере ниже создана функция, которая по разному обрабатывает входные данные в зависимости от их типа:

WolframLanguageInRussian)rAdvancedFunctionSetting_88.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_89.png

WolframLanguageInRussian)rAdvancedFunctionSetting_90.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_91.png

WolframLanguageInRussian)rAdvancedFunctionSetting_92.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_93.png

WolframLanguageInRussian)rAdvancedFunctionSetting_94.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_95.png

WolframLanguageInRussian)rAdvancedFunctionSetting_96.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_97.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_98.gif

Пример: композиция из описанных ранее способов задания функций и ее аргументов


WolframLanguageInRussian)rAdvancedFunctionSetting_99.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_100.png

WolframLanguageInRussian)rAdvancedFunctionSetting_101.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_102.png

WolframLanguageInRussian)rAdvancedFunctionSetting_103.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_104.png

WolframLanguageInRussian)rAdvancedFunctionSetting_105.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_106.png

WolframLanguageInRussian)rAdvancedFunctionSetting_107.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_108.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_109.gif

Программирование в Mathematica на русском языке


Теперь, когда мы знаем о том, как задаются функции, можно поставить перед собой такую задачу: сделать так, чтобы можно было программировать в Mathematica на русском языке с соблюдением основных парадигм: встроенные функции капитализированы и их названия в точности соответствуют действию, которое они осуществляют.

Для этого, нужно сделать русские аналоги встроенных функций.

Начнем с функции Plot, на русском языке ей будет соответствовать функция График. Синтаксис функции Plot имеет вид:

WolframLanguageInRussian)rAdvancedFunctionSetting_110.png

Ее русский аналог будет полностью аналогичен.

Начнем с того, что узнаем список всех опций функции Plot и их значения по умолчанию, это можно сделать с помощью функции Options:

WolframLanguageInRussian)rAdvancedFunctionSetting_111.png

WolframLanguageInRussian)rAdvancedFunctionSetting_112.gif

Теперь создадим этот список на русском языке (здесь опущены некоторые опции, которые, по опыту, употребляются крайне редко при построении графика):

WolframLanguageInRussian)rAdvancedFunctionSetting_113.png

Теперь зададим связь русских названий с встроенными аналогами:

WolframLanguageInRussian)rAdvancedFunctionSetting_114.png

Теперь мы можем задать русский аналог функции Plot:

WolframLanguageInRussian)rAdvancedFunctionSetting_115.png

Также нам потребуются некоторые стандартные обозначения толщины и цвета линий:

WolframLanguageInRussian)rAdvancedFunctionSetting_116.gif

Аналогично зададим функцию Решить — русский аналог функции Solve, АбсолютныйРазмерТочкиAbsolutePointSize, ТочкаPoint, ЛинияLine:

WolframLanguageInRussian)rAdvancedFunctionSetting_117.gif

Попробуем создать некоторый график:

WolframLanguageInRussian)rAdvancedFunctionSetting_118.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_119.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_120.gif

WolframLanguageInRussian)rAdvancedFunctionSetting_121.gif

Таким образом, в Mathematica возможно создать пакет, который позволит программировать на обычном русском языке, подобно тому, как это делалось в СССР, скажем на языке АЛМИР-65.

Если у кого-то из вас появится желание развить данную идею, то вполне возможно сделать так, чтобы Mathematica работала на русском языке.

Комментарии (15)


  1. Juggernaut
    19.04.2015 14:37
    -1

    Только один вопрос — ЗАЧЕМ?
    Это стратегическая ошибка — языковое самоогораживание. Зачем мне код на русском языке, который я не смогу обсудить например с коллегой из Штатов? Зачем учить начинающего писать кириллический код, чтобы лишить его возможности работать со всем миром? Это изобретение еще одного 1С-подобного велосипеда. Не вижу никаких причин делать так, кроме разве порождения локального неконкурентоспособного сообщества программистов.


    1. Pavel_Osipov
      19.04.2015 15:04
      +1

      Тут получается, что это только перевод названий функций и всех типовых понятий и параметров. Т.е. Вы свой код будете видеть на русском, а коллега в Штатах на английском.


    1. OsipovRoman Автор
      19.04.2015 15:06
      +1

      Вы совершенно не поняли статьи. Wolfram Language как был английским, так и останется.

      Статья про задание функций в Wolfram Language с последующей иллюстрацией рассмотренных приемов на ряде примеров, один из которых — построение локализации.

      Это скорее демонстрирует то, как вы можете создать свой собственный диалект языка, или целый новый язык на базе Wolfram Language.


  1. AndreWin
    21.04.2015 17:06
    +1

    Синус кружка в квадрате, арксинус картинки. Подскажите пожалуйста, что это означает. Я сломал себе мозг…


    1. Himura
      21.04.2015 20:49

      В Wolfram Language любой объект символьный и если какое-то выражение имеет логический смысл, то оно будет нормально вычислено. Например, можно написать
      Rasterize@Plot[x^2,{x,-1,1}] и объект типа «график» проследует на вход функции Rasterize, которая его успешно преобразует в объект типа «растровая картинка». Синус кружка, конечно вычислить не получится, но если выражение имеет смысл, то почему бы и нет.


      1. AndreWin
        21.04.2015 21:02

        Синус кружка, конечно, вычислить не получится

        Т.е. Wolfram Alpha выдаст ошибку при попытке вычислить такой синус? Правильно понимаю?


        1. Himura
          21.04.2015 21:07

          тут речь не об альфе. альфе вы не сможете донести такую мысль ))
          Математика оставить синус кружка не вычисленным — это даже показано в статье. Но можно поэкспериментировать с определением кружка как чего-то осмысленного


        1. Himura
          21.04.2015 21:13

          Получается xD
          image


          1. AndreWin
            21.04.2015 21:15

            О_о Ну… пусть это останется экзотической плюшкой…


            1. Himura
              21.04.2015 21:16

              Как было написано в статье,

              действительно любой объект (число, символ, картинка) удовлетворяют шаблону x_ и Mathematica легко работает со всеми выражениями, что демонстрирует необычайную гибкость ее языка.


              1. AndreWin
                21.04.2015 21:18

                Это всё хорошо, но я пока не могу сказать что-то внятное на «синус кружка, делённый на кружок, даёт pi/2».


                1. Himura
                  22.04.2015 08:25

                  не совсем так. операция /. — это подмена чего-то чем-то. я подменил символ кружка на символ Pi/2 и система дала ответ 1 потому что знает что кружок я понимаю как Pi/2


                  1. OsipovRoman Автор
                    22.04.2015 11:21

                    AndreWin, посмотрите это видео «Символьные возможности языка Wolfram»


  1. AndreWin
    21.04.2015 21:01

    Промазал с веткой.


  1. Himura
    21.04.2015 21:05
    +1

    На самом деле, статья действительно крута. Только тяжеловата… Думаю, именно по этому ее практически никто не проглотил. Называть функции functionN[] — это сродни обфускации! Это совершенно невозможно читать и понимать. Даже я, зная все эти тонкости работы с функциями не осилил вникнуть в примеры, они реально абсолютно неподъемные и перегруженные… Однако, в этой статье изложен огромный массив знаний, которые на практике познается не сразу, но благодаря продвинутой документации, очень просто и сполпинка. Думаю, пока рано для таких концептуальных статей. Пока не все еще знают что такое вообще Wolfram Language — надо заинтересовывать людей, показывая им потрясающе простые и бесконечно красивые вещи вроде Manipulate[], Image Processing и всего такого… Показывать как красиво решаются задачи на этом языке… А эта статья для тех кого не заботит красота и ему (зачем-то) жизненно необходимо знать как всё устроено внутри и достичь абсолютного теоретического понимания. Как техрайтер, могу сказать что такой формат документов никому сегодня не нужен. Востребован Reference, который отлично представлен во встроенной справке и How To, который вобщем-то тоже там есть. Таким образом, самая крутая задача — перевести справку