АнглийскийФранцузскийИспанский

Ad


Значок OnWorks

4ti2-walk - Онлайн в облаке

Запустите 4ti2-walk в бесплатном хостинг-провайдере OnWorks через Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS

Это команда 4ti2-walk, которую можно запустить в бесплатном хостинг-провайдере 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-walk онлайн с помощью сервисов onworks.net


Бесплатные серверы и рабочие станции

Скачать приложения для Windows и Linux

  • 1
    libjpeg-турбо
    libjpeg-турбо
    libjpeg-turbo - это кодек изображений JPEG
    который использует инструкции SIMD (MMX, SSE2,
    NEON, AltiVec) для ускорения базового уровня
    Сжатие и распаковка JPEG на
    x86, x8 ...
    Скачать libjpeg-turbo
  • 2
    Xtreme Download Manager
    Xtreme Download Manager
    У проекта теперь новый дом:
    https://xtremedownloadmanager.com/ For
    Разработчики:
    https://github.com/subhra74/xdm Xtreme
    Менеджер загрузок — это мощный инструмент для...
    Скачать Xtreme Download Manager
  • 3
    ТТГО VGA32 Лайт
    ТТГО VGA32 Лайт
    Особенности: низкое разрешение 4:3 и 16:9.
    Выход VGAКлавиатура и мышь PS/2
    Пользовательский интерфейс на основе inputText (TUI)
    с диалоговым менеджеромЧастично Unicode
    поддержкаSlave dis...
    Скачать TTGO VGA32 Lite
  • 4
    Загрузчик Clover EFI
    Загрузчик Clover EFI
    Проект переехал в
    https://github.com/CloverHackyColor/CloverBootloader..
    Особенности: загрузка macOS, Windows и Linux.
    в UEFI или устаревшем режиме на Mac или ПК с
    УЭ...
    Скачать загрузчик Clover EFI
  • 5
    UnitedRPMS
    UnitedRPMS
    Присоединяйтесь к нам в Gitter!
    https://gitter.im/unitedrpms-people/Lobby
    Включите репозиторий URPMS в вашем
    система -
    https://github.com/UnitedRPMs/unitedrpms.github.io/bl...
    Скачать объединенные рпмс
  • 6
    Boost C ++ библиотеки
    Boost C ++ библиотеки
    Boost предоставляет бесплатное портативное
    рецензируемые библиотеки C++.
    упор делается на портативные библиотеки, которые
    хорошо работать со стандартной библиотекой C++.
    Смотрите http://www.bo...
    Скачать библиотеки Boost C++
  • Больше »

Команды Linux

Ad