2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки





Начать новую тему Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней.
 
 Автоматическая проверка формул
Сообщение31.05.2011, 17:02 
Основатель
Аватара пользователя


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

Сегодня мы добавили новый функционал для обнаружения основных ошибок новичков при наборе формул. Если в вашем сообщении есть формула (записанная либо через тег 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. Выражаю особую благодарность Заслуженным Участникам, которые приняли активное участие в тестировании Валидатора и предложили множество правил для проверки.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней.  [ 1 сообщение ] 

Модераторы: cepesh, Forum Administration



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group