Это команда interpformat, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
interpformat - инструмент для преобразования mace4(1) модели
СИНТАКСИС
интерпформатировать [кредита]преобразование> -f входной файл > выходной файл
интерпформатировать [кредита]преобразование> входной файл > выходной файл
ОПИСАНИЕ
Модели (конструкции) в mace4(1) выходные файлы могут быть преобразованы различными способами с помощью
Программа интерпформатировать.
ПРЕОБРАЗОВАНИЯ
Преобразования перечислены здесь.
стандарт
одна строка на операцию
стандарт2
стандартный, с бинарными операциями в квадрате (по умолчанию)
портативный
список списков, пригодных для парсинга Python, GAP и т. д.
табличный
как красивые столы
сырье аналогично стандартному, но без знаков препинания
приготовленный как члены, например, f (0,1) = 2
текс отформатирован для LaTeX
XML XML
ДОПОЛНИТЕЛЬНЫЕ УСЛУГИ, НЕ ВКЛЮЧЕННЫЕ В ПАКЕТ
Сводка опций приведена ниже.
выходной
Вывести только перечисленные операции.
заворачивать Заключить вывод в список (интерпретации).
Используйте форматирование в Интернете с помощью сервисов onworks.net