Це команда gfan_tropicalbruteforce, яку можна запустити в постачальнику безкоштовного хостингу OnWorks, використовуючи одну з наших численних безкоштовних робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн емулятор Windows або онлайн емулятор MAC OS
ПРОГРАМА:
ІМ'Я
gfan - інструмент для розрахунку вентиляторів Грьобнера та тропічних сортів
СИНТАКСИС
gfan_інструмент [опції]
gfan _інструмент [опції]
ОПИС
Gfan — це пакет програмного забезпечення для обчислення вентиляторів Gröbner і тропічних сортів. Це такі
багатогранні віяла, пов'язані з поліноміальними ідеалами. Максимальні конуси вентилятора Грьобнера
бієкція з позначеними редукованими базами Грьобнера його визначального ідеалу. Програмне забезпечення
обчислює всі позначені приведені бази Грьобнера ідеалу. Їхній союз - це універсальний Грьобнер
основи. Тропічний різновид поліноміального ідеалу є певним підкомплексом Грьобнера
вентилятор. Gfan містить алгоритми для обчислення цього комплексу для загальних ідеалів і
спеціалізовані алгоритми для тропічних кривих, тропічних гіперповерхень і тропічних різновидів
первинних ідеалів. На додаток до перерахованих вище основних функцій пакет містить багато інструментів
які корисні при вивченні основ Грьобнера, початкових ідеалів і тропічної геометрії.
Повний список інструментs це:
бази, buchberger, комбіновані промені, doidealcontain, fancommonrefinement, fanhomology,
fanlink, fanproduct, fansubfan, genericlinearchchange, groebnercone, groebnerfan,
однорідний простір, гомогенізація, початкові форми, інтерактивний, позначенийгроебнербазис,
вимір крулля, ідеал решітки, провідні терміни, список, набір поліномів знаків, сума мінковського, мінори,
змішаний об'єм, надцілі числа, падичний, поліноміальний набір, візуалізація, рендерсход, насичення,
вторинний фан, статистика, замінник, симетрії, толатекс, тополіедрфан, тропічна основа,
тропічна груба сила, тропічна оцінка, тропічна функція, тропічна гіперповерхня,
тропічний перетин, тропічний ліфтинг, тропічний лінійний простір, тропічна множинність,
tropicalrank, tropical starting cone, tropicaltraverse, tropicalweildivisor, версія.
Нижче представлені загальні варіанти, доступні для всіх інструментс. Для конкретних варіантів
даність інструмент, ми посилаємось на довідкове повідомлення цього інструмента.
ВАРІАНТИ
--допомога Відобразити довідкове повідомлення з описом функцій gfan_інструмент і наявні
конкретні варіанти.
--log1, --log2...
Скажіть Gfan, скільки інформації потрібно записати в стандартну помилку під час обчислення
біг. Ці параметри дуже корисні, якщо ви хочете знати, чи робить Gfan якісь
прогрес у його обчисленні.
--stdin значення
Вкажіть файл, який буде використовуватися як вхідний файл замість читання зі стандартного введення.
--stdout значення
Вкажіть файл для запису виводу замість запису в стандартний вихід.
--xml Нехай багатогранні віяла виводяться у форматі XML, а не в текстовому форматі. (В
Файли XML не читаються Gfan.)
Використовуйте gfan_tropicalbruteforce онлайн за допомогою служб onworks.net
