Обсуждение автоматической проверки формул

[cepesh]

Munin
Заменил.

[Алексей К.]

Поздновато заметил:

Munin в сообщении #452644 писал(а):

"Скорее всего, вы используете звездочку как знак умножения, что категорически запрещено в математике."

И не предлагаю снова править. Но Muninу хочу возразить: такого запрета не встречал; такое (в математике) вроде никому не приходит в голову.
Если я завтра явлюсь на работу и вывешу аналог —

Цитата:

Скорее всего, вы используете тальк для панировки котлет, что категорически запрещено в кулинарии.

, коллеги странно посмотрят на меня... В отличие от фразы "ещё поймаю кого, кто тальком панирует...", фразы вполне естественной.

Варианты

Цитата:

Скорее всего, вы используете звездочку как знак умножения, что категорически запрещено на форуме.
Скорее всего, вы используете звездочку как знак умножения, что неприемлемо в математике.

не вызвали бы этого наезда.
(see сабж)

[cepesh]

Алексей К.
Да мне не сложно поменять. Тем более, что тот вариант был спорным, хотя и лучше предшественника.

[Алексей К.]

Ну, выбирайте тогда: что в математике не принято, например.

[Алексей К.]

Пишу: $2*y$. "Замените на \cdot", говорит валидатор. Заменяю: $2\cdoty$
Получаю: $2\cdoty$

[cepesh]

Алексей К.
Пишу \Integral, мне говорят, замените Integral на \int. Заменяю: $\\int$.
Мораль: они тоже должны думать.

[Алексей К.]

Что, только sinx обнаруживается, а sinA, sinz нет?

Проверил, два последних по-разному трактуются.

[cepesh]

Алексей К. в сообщении #452999 писал(а):

Что, только sinx обнаруживается, а sinA, sinz нет?

да

Алексей К. в сообщении #452999 писал(а):

два последних по-разному трактуются.

исправил.

[Алексей К.]

...^22 случай трудноватый, а ...^[-,+,(] может стоит ловить. И \sqrt(...

-- 02 июн 2011, 16:34 --

Пока я писал, товарисч заменил ^(1/2) на \sqrt(...

klayt в сообщении #453010 писал(а):

$\int\limits_{-1,5}^{1,5} dy \int\limits_{-\sqrt(y^2 +z^2 -9)}^{\sqrt(y^2 +z^2 -9)} x^2 + y^2 +z^2 - 9 dx$

[Munin]

Алексей К. в сообщении #452828 писал(а):

Но Muninу хочу возразить: такого запрета не встречал; такое (в математике) вроде никому не приходит в голову.

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

[cepesh]

Алексей К.
Открывающая круглая скобка -- понятно. Сделал проверку для _(, ^(, \sqrt(.

Но как быть вот с такими случаями (реальные примеры с форума)?

$\sigma=i^+-i^-,\ r=i^++i^-$

$P(S_3^+>0|S_2^+=0,S_1^+=x)$

$Cu^{2+}+Cu^0\to2Cu^+$

$\pi^- \to \mu^- + \nu_{\mu^+} + \nu_{e^-}$

${0}^{+}^{0^+}=1$

[Алексей К.]

Да, действительно; но я и предлагал не очень уверенно. И про физику не подумал.
Просто any^-1 несколько намозолило глаза.
Именно как минус-первая-степень, не индекс.
Но в ваших руках и статистика (наверняка искажённая модераторами; лазят ведь, сами исправляют),
и прочие аргументы в пользу того, стОит или не стОит проверять ^-digit.
Возражение сам могу привести: классику $\mu^-\to e^-\gamma\gamma$ пишут и как $\mu^-\to e^-2\gamma$.

[Munin]

cepesh в сообщении #453352 писал(а):

Но как быть вот с такими случаями (реальные примеры с форума)?

Во всех этих примерах за плюсом или минусом не стоит цифры. Вообще-то даже и буквы не стоит.

Алексей К. в сообщении #453371 писал(а):

$\mu^-\to e^-2\gamma$

Это уж совсем редко. Я, например, не видел вообще. Выражения типа $\Gamma(2\gamma)$ видел, а вот $2\gamma$ в таких обозначениях реакций без плюсов - нет. (Кстати, реакция неправильная :-) )

-- 03.06.2011 15:35:43 --

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

[Батороев]

Написал:
4!=24
окружил "долларами".
В окне предварительного просмотра, вроде, все как я хотел, а автоматика подсказывает:

Цитата:

[ОШИБКА] Вместо != (символ 3) следует использовать \ne

Мне интересно стало, что такое "символ 3"?

[cepesh]

Батороев в сообщении #453652 писал(а):

что такое "символ 3"?

Это номер символа в строке, на котором возникла проблема.