Jest to polecenie gfan_tropicalbasis, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks przy użyciu jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online systemu MAC OS
PROGRAM:
IMIĘ
gfan - narzędzie do obliczania wachlarzy Gröbnera i odmian tropikalnych
STRESZCZENIE
gfan_narzędzie [Opcje]
gfan _narzędzie [Opcje]
OPIS
Gfan to pakiet oprogramowania do obliczeń fanów Gröbnera i odmian tropikalnych. To są
wachlarze wielościenne związane z ideałami wielomianowymi. Maksymalne stożki wentylatora Gröbnera są in
bijection z zaznaczonymi zredukowanymi podstawami Gröbnera jego definiującego ideału. Oprogramowanie
oblicza wszystkie zaznaczone zredukowane podstawy Gröbnera ideału. Ich związek to uniwersalny Gröbner
podstawa. Tropikalna odmiana ideału wielomianowego jest pewnym podkompleksem Gröbner
wentylator. Gfan zawiera algorytmy do obliczania tego kompleksu dla ogólnych ideałów i
specjalizowane algorytmy dla krzywych tropikalnych, hiperpowierzchni tropikalnych i odmian tropikalnych
ideałów pierwotnych. Oprócz powyższych podstawowych funkcji pakiet zawiera wiele narzędzi
które są przydatne w badaniu podstaw Gröbnera, początkowych ideałów i geometrii tropikalnej.
Pełna lista narzędzies to:
podstawy, buchberger, kombajny, czyidealcontain, fancommonrefinement, fanhomology,
link do fana, produkt fanowski, fansubfan, rodzajowylinearchange, groebnercone, groebnerfan,
jednorodnośćprzestrzeń, homogenizacja, formy początkowe, interaktywne, ismarkedgroebnerbasis,
krulldimension, kratyideal, wiodące terminy, lista, markpolynomialset, minkowskisum, nieletni,
mixedvolume, overintegers, padic, wielomian, setunion, render, renderstaircase, saturation,
wentylator drugorzędny, statystyki, substytut, symetrie, tolateks, topolihedralfan, podstawa tropikalna,
tropikalna brutalność, ocena tropikalna, funkcja tropikalna, hiperpowierzchnia tropikalna,
tropikalny przecięcie, tropikalnylifting, tropikalnylinearspace, tropikalna wielość,
tropikalny ranga, tropikalny stożek początkowy, tropikalnytrawers, dzielnik tropikalny, wersja.
Poniżej przedstawiono ogólne opcje dostępne we wszystkich narzędzies. Dla konkretnych opcji
dany narzędzie, odwołujemy się do komunikatu pomocy tego narzędzia.
OPCJE
--help Wyświetl komunikat pomocy opisujący funkcjonalność gfan_narzędzie i dostępne
konkretne opcje.
--log1, --log2...
Powiedz Gfanowi, ile informacji ma zapisać do standardowego błędu podczas obliczeń
bieganie. Te opcje są bardzo przydatne, gdy chcesz wiedzieć, czy Gfan coś robi
postęp w jego obliczeniach.
--stdin wartość
Określ plik, który ma być używany jako wejście zamiast odczytywania ze standardowego wejścia.
-- stdout wartość
Określ plik, do którego chcesz zapisać dane wyjściowe, zamiast zapisywać na standardowym wyjściu.
--xml Niech wielościenne wentylatory będą wyprowadzane w formacie XML zamiast w formacie tekstowym. (Ten
Pliki XML nie są odczytywane przez Gfan).
Używaj gfan_tropicalbasis online, korzystając z usług onworks.net
