gfan_saturation - Online în cloud

PROGRAM:

NUME

gfan - instrument pentru a calcula ventilatoarele Gröbner și soiurile tropicale

REZUMAT

gfan_instrument [Opțiuni]

gfan _instrument [Opțiuni]

DESCRIERE

Gfan este un pachet software pentru calcularea ventilatoarelor Gröbner și a soiurilor tropicale. Acestea sunt
ventilatoare poliedrice asociate idealurilor polinomiale. Conurile maxime ale unui ventilator Gröbner sunt în
bijecție cu bazele Gröbner reduse marcate ale idealului său definitoriu. Software-ul
calculează toate bazele Gröbner reduse marcate ale unui ideal. Unirea lor este un Gröbner universal
bază. Varietatea tropicală a unui ideal polinom este un anumit subcomplex al lui Gröbner
ventilator. Gfan conține algoritmi pentru calcularea acestui complex pentru idealuri generale și
algoritmi specializați pentru curbe tropicale, hipersuprafețe tropicale și soiuri tropicale
a idealurilor prime. Pe lângă funcțiile de bază de mai sus, pachetul conține multe instrumente
care sunt utile în studiul bazelor Gröbner, al idealurilor inițiale și al geometriei tropicale.

Lista completă a instruments este:

baze, buchberger, combinerays, doidealcontain, fancommonrefinement, fanomologie,
fanlink, fanproduct, fansubfan, genericlinearchange, groebnercone, groebnerfan,
omogenitatespațiu, omogenizare, forme inițiale, interactiv, este marcatgroebnerbasis,
krulldimension, latticeideal, termeni conducători, listă, markpolynomialset, minkowskisum, minori,
volum mixt, supraîntreger, padic, polynomialsetunion, randare, redscară, saturație,
ventilator secundar, statistici, înlocuitor, simetrii, tolatex, topoliedralfan, bază tropicală,
tropicalbruteforce, tropicalevaluation, tropicalfunction, tropicalhypersurface,
tropicalintersection, tropicallifting, tropicallinearspace, tropicalmultiplicity,
tropicalrank, tropicalstartingcone, tropicaltraverse, tropicalweildivisor, versiune.

Mai jos sunt prezentate opțiunile generice disponibile pentru toate instruments. Pentru opțiuni specifice de
o anumită instrument, ne referim la mesajul de ajutor al instrumentului respectiv.

OPŢIUNI

--Ajutor Afișează un mesaj de ajutor care descrie funcționalitatea gfan_instrument si cele disponibile
opțiuni specifice.

--log1, --log2...
Spune-i lui Gfan câte informații să scrie în eroarea standard în timpul calculului
alergare. Aceste opțiuni sunt foarte utile atunci când doriți să știți dacă Gfan face vreuna
progresul în calculul acesteia.

--stdin valoare
Specificați un fișier de utilizat ca intrare în loc să citiți din intrarea standard.

--stdout valoare
Specificați un fișier în care să scrieți ieșirea în loc să scrieți în ieșirea standard.

--xml Lăsați ventilatoarele poliedrice să fie scoase în format XML, nu în format text. (Cel
Fișierele XML nu pot fi citite de Gfan.)

Utilizați gfan_saturation online folosind serviciile onworks.net