англійськафранцузькаіспанська

Ad


Значок OnWorks

4ti2-qsolve – онлайн у хмарі

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

Це команда 4ti2-qsolve, яку можна запустити в постачальнику безкоштовного хостингу OnWorks за допомогою однієї з наших численних безкоштовних робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн-емулятор Windows або онлайн-емулятор MAC OS

ПРОГРАМА:

ІМ'Я


4ti2 - пакет програм для алгебраїчних, геометричних та комбінаторних задач на лінійні
пробіли

СИНТАКСИС


4ti2-ланцюги
4ti2-генмодель [--спокійно] foo.mod
4ti2-gensymm [--спокійно] a b c d Foo
4ти2-гравер [--спокійно] foo[|.mat|.lat]
4ti2-Grebner [--тихий|-q] [--force|-f] [--насичення|-s] [--project-and-lift|-p]
[--нормальний|-n] [--зважений|-w] [--gebauer-moeller|-g] [--auto-reduce-freq=N| -aN] Foo
4ti2-гільберт [--спокійно] Foo
4ти2-марков [--тихий|-q] Foo
4ti2-звести до мінімуму [--тихий|-q] Foo
4ti2-нормальна форма
4ti2-вихід [--спокійно] [--біноми] [--клен] [--0-1] [--транспонувати] [--градус [N]]
[--позитивний] [--3way a b c] Foo
4ti2-ppi
4ti2-qвирішити
4ti2-промені
4ti2-прогулянка
4ti2-zоснова
4ti2-zsolve

ОПИС


Пакет програм 4ti2 являє собою набір інструментів командного рядка для адресації алгебраїки,
геометричні та комбінаторні задачі про лінійні простори.

ДАНІ СТРУКТУРА


Основна концепція 4ti2 залишається незмінною: проект визначається через файл foo[.mat]
що містить матрицю проблеми. Ставляться споріднені множини, такі як базис Гравера або базис Маркова
в foo.gra та foo.mar, відповідно.

Вхідні та вихідні файли зазвичай містять матрицю або список векторів (записуються як a
matrix) у стандартному кодуванні, наприклад
2 4
1 1 1 1
1 2 3 4

Є лише кілька винятків, наприклад у файлі foo.vars містить вказаного користувача
імена змінних:
3
abx

Використовуйте 4ti2-qsolve онлайн за допомогою служб onworks.net


Безкоштовні сервери та робочі станції

Завантажте програми для Windows і Linux

  • 1
    Phaser
    Phaser
    Phaser — це швидке, безкоштовне та веселе відкриття
    вихідний ігровий фреймворк HTML5, який пропонує
    Взаємовідображення WebGL і Canvas
    настільні та мобільні веб-браузери. Ігри
    можна спільно...
    Завантажити Phaser
  • 2
    Двигун ВАССАЛ
    Двигун ВАССАЛ
    VASSAL — ігровий движок для створення
    електронні версії традиційної дошки
    і карткові ігри. Він забезпечує підтримку для
    рендеринг і взаємодія ігрових елементів,
    і ...
    Завантажити VASSAL Engine
  • 3
    OpenPDF - форк iText
    OpenPDF - форк iText
    OpenPDF - це бібліотека Java для створення
    і редагування файлів PDF за допомогою LGPL і
    Ліцензія з відкритим кодом MPL. OpenPDF - це
    LGPL/MPL з відкритим кодом наступник iText,
    має ...
    Завантажте OpenPDF - Fork of iText
  • 4
    SAGA GIS
    SAGA GIS
    SAGA - Система для автоматизації
    Географічні аналізи - це географічні
    Програмне забезпечення інформаційної системи (ГІС) с
    величезні можливості для геоданих
    обробка та ана...
    Завантажити SAGA GIS
  • 5
    Панель інструментів для Java/JTOpen
    Панель інструментів для Java/JTOpen
    IBM Toolbox для Java / JTOpen є a
    бібліотека класів Java, що підтримують
    програмування клієнт/сервер та Інтернет
    моделі до системи під керуванням OS/400,
    i5/OS, o...
    Завантажте Toolbox для Java/JTOpen
  • 6
    D3.js
    D3.js
    D3.js (або D3 для документів, керованих даними)
    це бібліотека JavaScript, яка дозволяє вам
    створювати динамічні інтерактивні дані
    візуалізації у веб-браузерах. З D3
    ти ...
    Завантажити D3.js
  • Детальніше »

Команди Linux

  • 1
    abidiff
    abidiff
    abidiff - порівняння ABI файлів ELF
    abidiff порівнює двійковий файл програми
    Інтерфейси (ABI) двох спільних бібліотек
    у форматі ELF. Воно випромінює змістовне
    звіт...
    Запустіть abidiff
  • 2
    abidw
    abidw
    abidw - серіалізує ABI ELF
    файл abidw читає спільну бібліотеку в ELF
    форматує та створює представлення XML
    свого ABI до стандартного виводу. The
    випущений ...
    Запустіть abidw
  • 3
    copac2xml
    copac2xml
    bibutils - перетворення бібліографії
    комунальні послуги ...
    Запустіть copac2xml
  • 4
    копт
    копт
    copt - оптимізатор вічка SYSNOPIS:
    файл copt.. ОПИС: copt - це a
    оптимізатор вічко загального призначення. Це
    читає код зі свого стандартного вводу та
    пише...
    Біг копт
  • 5
    gather_stx_titles
    gather_stx_titles
    gather_stx_titles - заголовок збірки
    декларації з документів Stx ...
    Запустіть gather_stx_titles
  • 6
    гатлінг-бенч
    гатлінг-бенч
    bench - http benchmark ...
    Лава для бігу Гатлінга
  • Детальніше »

Ad