Это команда gfan_saturation, которую можно запустить в провайдере бесплатного хостинга OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
gfan - инструмент для вычисления вееров Грёбнера и тропических разновидностей
СИНТАКСИС
gfan_инструментом [кредита]
гфан _инструментом [кредита]
ОПИСАНИЕ
Gfan - это программный пакет для вычисления вееров Гребнера и тропических сортов. Эти
полиэдральные вееры, ассоциированные с полиномиальными идеалами. Максимальные конусы веера Грёбнера лежат в
биекция с отмеченными редуцированными базисами Грёбнера определяющего его идеала. Программное обеспечение
вычисляет все отмеченные приведенные базисы Грёбнера идеала. Их союз - универсальный Гребнер.
основание. Тропическое многообразие полиномиального идеала - это некоторый подкомплекс системы Грёбнера.
поклонник. Gfan содержит алгоритмы вычисления этого комплекса для общих идеалов и
специализированные алгоритмы для тропических кривых, тропических гиперповерхностей и тропических многообразий
главных идеалов. В дополнение к перечисленным выше основным функциям пакет содержит множество инструментов.
которые полезны при изучении базисов Грёбнера, исходных идеалов и тропической геометрии.
Полный список инструментомs это:
основы, бухбергер, комбайны, идеальное содержание, фанкоммонитирование, фан-гомология,
фанлинк, фанпродукт, фансубфан, genericlinearchange, groebnercone, groebnerfan,
однородностьпространство, гомогенизация, начальные формы, интерактивный, ismarkedgroebnerbasis,
krulldimension, latticeideal, leadterms, list, markpolynomialset, minkowskisum, minors,
смешанный объем, сверхцелые числа, падик, объединение многочленов, рендеринг, ступенька рендеринга, насыщенность,
вторичный вентилятор, статистика, заменитель, симметрии, толатекс, тополиэдрический вентилятор, тропическая основа,
тропическая грубая сила, тропическая оценка, тропическая функция, тропическая гиперповерхность,
пересечение тропиков, тропический подъем, тропическое линейное пространство, тропическая множественность,
тропический ранг, тропический стартовый конус, тропический траверс, тропический ливень, версия.
Ниже представлены общие варианты, доступные для всех инструментомс. Для конкретных вариантов
данный инструментом, мы ссылаемся на справочное сообщение этого инструмента.
ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ
--Помогите Отображение справочного сообщения, описывающего функции gfan_инструментом и доступные
конкретные варианты.
--журнал1, --log2 ...
Сообщите Gfan, сколько информации нужно записать до стандартной ошибки, пока вычисление
Бег. Эти параметры очень полезны, если вы хотите узнать, делает ли Gfan какие-либо
прогресс в его вычислении.
--стдин ценностное
Укажите файл для использования в качестве ввода вместо чтения из стандартного ввода.
--stdout ценностное
Укажите файл для записи вывода вместо записи в стандартный вывод.
--xml Разрешить вывод многогранных вееров в формате XML, а не в текстовом формате. (В
XML-файлы не читаются Gfan.)
Используйте gfan_saturation онлайн с помощью сервисов onworks.net
