Автоматическая проверка формул

[cepesh]

Автоматическая валидация (проверка) формул

Сегодня мы добавили новый функционал для обнаружения основных ошибок новичков при наборе формул. Если в вашем сообщении есть формула (записанная либо через тег math, либо в сокращенной записи через знаки доллара), то она будет автоматически проверена в режиме реального времени. Если были обнаружены ошибки или недочеты, то под формой ввода текста сообщения появится такой текст:

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

Что умеет валидатор?

(Здесь подробности)

• Проверка парности скобок [{()}], с учетом пропуска \{ и \}, а также с учетом пропуска скобок, перед которыми есть \left или \right, но проверка идет независимо для каждого типа скобок. То есть вот такие вещи не задетектятся: [{]}.
• Проверка парности \left и \right
• Проверка парности и корректной вложенности \begin{blabla} и \end{blabla}
• Проверка на наличие слеша перед

  sin|cos|tg|ctg|arcsin|arccos|arctg|arcctg|sh|ch|cth|th|frac|sqrt|lim|sup|sum|prod|max|mod|min|ln|log|exp|inf|alpha|beta|pi|gamma|Pi|delta|arg|det|ker

• Проверка на использование звездочки как знака умножения. Валидным использованием звездочки считается: \operatorname*, названия окружений, new звездочка как верхний индекс.
• Проверка на неправильное задание символа производной (^' и ^{'... )
• При написании со слешом или без слеша предлагется замена на \operatorname{...} для:
  

  arsh|arch|arth|arcth|Arcsin|Arccos|Arctg|Arcctg|Arsh|Arch|Arth|Arcth|Ln|Log|grad|div|rot|pr|tr|Tr|Sp|diag|Re|Im|Ker|img|Res|res

• Также предлагается замена для следующих выражений:
  

          '!='            => '\ne',
          '<>'            => '\ne',
          '=/='           => '\ne',
          '+-'            => '\pm',
          '-+'            => '\mp',
          '->'            => '\to',
          '<=>'           => '\Leftrightarrow',
          '<='            => '\leqslant',
          '=>'            => '\Rightarrow',
          '>='            => '\geqslant',
          '^('            => '^{...}',
          '_('            => '_{...}',
          '\sqrt('        => '\sqrt{...}',
  
          'cosx'          => '\cos x',
          'sinx'          => '\sin x',
          'ctgx'          => '\ctg x',
          'tgx'           => '\tg x',
          'Sin'           => '\sin',
          'Cos'           => '\cos',
          'Infty'         => '\infty',
          'Infinity'      => '\infty',
          'Infin'         => '\infty',
          'Integral'      => '\int',
          'Int'           => '\int',
          'alfa'          => '\alpha',
          'fi'            => '\varphi',
          'ksi'           => '\xi',
          'Pi'            => '\pi',
          'PI'            => '\pi',
          'atan'          => '\arctg',
          'asin'          => '\arcsin',
          'acos'          => '\arccos',
          'tan'           => '\tg',
          'arctan'        => '\arctg',
  

• В последовательности \<цифры> предлагается заменить слеш на прямой.
• Предлагает поставить верхний или нижний индекс в конструкциях типа X2+Y2=Z2

Как отключить автоматическую проверку?
Если по какой-то причине вы не нуждаетесь в советах и понимаете, что рискуете тем, что из-за ошибок в формулах вашего сообщения тема может быть перемещена в Карантин, то отключить валидацию формул можно в настройках Профиля в Личном разделе:

Открыто обсуждение нового функционала.

Бонус
Также в тестовом режиме запущена проверка текста сообщений на наличие символов, которые обычно свидетельствуют о том, что автор пытается набрать формулу не по правилам, то есть без использования тега math (либо "долларовой" записи). Текст с сообщением о найденных символах появляется сразу под полем ввода текста.


P.S. Выражаю особую благодарность Заслуженным Участникам, которые приняли активное участие в тестировании Валидатора и предложили множество правил для проверки.