Подготовка бланковых тестов — занятие не из веселых. Мало того, что нужно составить перечень вопросов и вариантов ответов, так еще и бланки нарисовать, а потом составить для себя один эталонный бланк с правильными вариантами ответов (чтобы проверять было проще).

Однако, TeX — очень мощная система, способная даже решать кубические уравнения! Неужели она не справится с такой простой задачей? Справится, и еще как!

Демонстрируем некоторые особенности написания TeX-макросов, встраивая в TeX калькулятор теоретико-числовых функций.

Постановка задачи

Время от времени мне приходится набирать очередной текст, сопровождаемый примерами вычисления теоретико-числовых функций: функция Эйлера φ, функция делителей τ, функция Кармайкла λ. Раньше это делалось так: запускаем любимый калькулятор (мой выбор — PARI/GP), в нем все считаем и копируем выкладки в ТеХ. Изменились исходные данные — снова в калькулятор и обратно. Много возни, много шансов забыть заменить какой-то промежуточный результат. Да и просто мышкой махать надоедает. Хочется автоматизировать этот процесс хотя бы для самых распространенных функций, чтобы можно было написать

$\phi(1001)=\Phi(1001)$

и получить на печати

Почти полгода назад я написал на хабре статью о проекте математической поисковой системы uniquation.ru. Тогда была получена конструктивная критика, которая помогла улучшить проект.

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

Mы только что открыли α-тестирование проекта Uniquation. Это математическая поисковая система, которая ищет решения среди уравнений, равенств и прочих математических объектов, размещенных в интернете. На текущем этапе развития её можно мыслить как развивающуюся CAS (wiki). Помимо этого поста про неё можно прочитать в нашей презентации.

При написании console-like форума был задан вопрос: «какую разметку лучше использовать?». Среди вариантов были стандартный бб-код ([b]bold[/b]), вики-разметка(*bold*), или TeX-like разметка (\b{bold}). После недолгого совещания выбор был остановлен именно на TeX-like. Была написана небольшая библиотека, которая, по моему мнению, достаточно интересна, расширяема и гибка. Желающие посмотреть пример могут перейти по ссылке freecr.ru/TeX/

	ConTeXt
	TeTeX
	TeX Live
	XeTeX
	MikTeX
	MacTeX
	другой (укажите пожалуйста какой)

Проголосовало 107 человек. Воздержалось 186 человек.

Зачем нужна оптимизация: eps и pdf файлы сохраненные векторным редактором не всегда полностью совместимы с LaTeX'ом. Кроме того, уменьшение их размера положительно сказывается на размере документа и скорости работы просмотрщика dvi.

Кроме собственно векторного редактора, нам понадобятся eps2eps и epstopdf. Эти две утилиты существуют и в Windows, и в Linux, и в Mac OS. В Windows они есть в составе MiKTeX. В Linux и Mac OS, насколько мне известно, они так же приходят с TeX'ом.

Весь процесс выглядит следующим образом. Создаем изображение в редакторе и сохраняем в eps. Прогоняем его через eps2eps и уже этот оптимизированный файл — через epstopdf. Оптимизированные eps и pdf подаем LaTeX'у (на самом деле pdfTeX'у). Напомню, что при компиляции \includegraphics{your_image} в dvi — автоматически используется your_image.eps, в pdf — your_image.pdf.

Когда я увидел на главной странице топик про LaTeX в одноимённом блоге, я порадовался, что на Хабре освещается близкая мне тема (и немного опечалился, что не написал подобную статью сам ;)). За плечами имею некоторый опыт работы с TeX'ом в виде 300 свёрстанных страниц лекций по матану (три семестра), пары курсовых работ и кое-чего по мелочи. Накопленным опытом грех не поделиться — поэтому я и пишу этот материал.

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

Вчерашний комментарий Siddthartha к моему топику про архив Дейкстры навёл меня на мысль продолжить тему великих программистов и рассказать о домашней странице Дональда Кнута.