Это команда 4ti2-graver, которую можно запустить в провайдере бесплатного хостинга OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
4ti2 - программный комплекс для алгебраических, геометрических и комбинаторных задач по линейному
пространства
СИНТАКСИС
4ti2-цепи
4ti2-генмодель [--тихий] foo.mod
4ti2-генсимм [--тихий] a b c d Foo
4ти2-гравер [--тихий] foo [| .mat | .lat]
4ti2-Groebner [--quiet | -q] [--force | -f] [--saturation | -s] [--project-and-lift | -p]
[--normal | -n] [--weighted | -w] [--gebauer-moeller | -g] [--auto-reduce-freq =N| -aN] Foo
4ti2-гильберт [--тихий] Foo
4ти2-марков [--quiet | -q] Foo
4ti2-минимизировать [--quiet | -q] Foo
4ti2-нормальная форма
4ти2-выход [--тихий] [--биномы] [--клен] [--0-1] [--транспонировать] [--степень [N]]
[--положительный] [--3way a b c] Foo
4ti2-ppi
4ti2-qsolve
4ti2-лучи
4ti2-прогулка
4ти2-збазис
4ti2-zsolve
ОПИСАНИЕ
Программный пакет 4ti2 представляет собой набор инструментов командной строки для адресации алгебраических,
геометрические и комбинаторные задачи на линейных пространствах.
ДАННЫЕ СТРУКТУРА
Основная концепция 4ti2 осталась прежней: проект определяется через файл. foo [.mat]
содержащую матрицу задачи. Связанные множества, такие как базис Гравера или базис Маркова, помещаются
в foo.gra и foo.mar, Соответственно.
Входные и выходные файлы обычно содержат матрицу или список векторов (записанный как
матрица) в стандартной кодировке, такой как
2 4
1 1 1 1
1 2 3 4
Есть только несколько исключений, например в файле foo.vars содержащий указанный пользователем
имена переменных:
3
abx
Используйте 4ti2-graver онлайн через сервисы onworks.net
