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



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

Сейчас этот форум просматривают: worm2


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

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