gfan_substitute - Online in de cloud

PROGRAMMA:

NAAM

gfan - tool om Gröbner-fans en tropische variëteiten te berekenen

KORTE INHOUD

gfan_tools [opties]

fan _tools [opties]

PRODUCTBESCHRIJVING

Gfan is een softwarepakket voor het berekenen van Gröbner-fans en tropische variëteiten. Dit zijn
veelvlakkige fans geassocieerd met polynomiale idealen. De maximale kegels van een Gröbner-fan zijn binnen
bijectie met de gemarkeerde gereduceerde Gröbner-bases van zijn bepalende ideaal. De software
berekent alle gemarkeerde gereduceerde Gröbner-bases van een ideaal. Hun unie is een universele Gröbner
basis. De tropische variant van een polynoomideaal is een bepaald subcomplex van de Gröbner
fan. Gfan bevat algoritmen voor het berekenen van dit complex voor algemene idealen en
gespecialiseerde algoritmen voor tropische krommen, tropische hyperoppervlakken en tropische variëteiten
van eerste idealen. Naast de bovenstaande kernfuncties bevat het pakket veel tools
die nuttig zijn bij de studie van Gröbner-bases, initiële idealen en tropische geometrie.

De volledige lijst met toolszus:

basen, buchberger, combinerays, dididealcontain, fancommonrefinement, fanhomology,
fanlink, fanproduct, fanssubfan, genericlinearchange, groebnercone, groebnerfan,
homogenityspace, homogenize, initialforms, interactive, ismarkedgroebnerbasis,
krulldimension, roosterideaal, leidende termen, lijst, markeer polynoomset, minkowskisum, minderjarigen,
mixedvolume, overintegers, padic, polynomialsetunion, render, renderstaircase, verzadiging,
secundairefan, stats, substituut, symmetrieën, tolatex, topolyhedralfan, tropischebasis,
tropische bruteforce, tropische evaluatie, tropische functie, tropische hyperoppervlak,
tropische kruising, tropische opheffing, tropische lineaire ruimte, tropische multipliciteit,
Tropicalrank, Tropicalstartingcone, Tropicaltraverse, Tropicalweildivisor, versie.

Hieronder worden de generieke opties weergegeven die beschikbaar zijn bij alle toolss. Voor specifieke opties van
een gegeven tools, verwijzen we naar het helpbericht van die tool.

OPTIES

--help Een helpbericht weergeven waarin de functionaliteit van . wordt beschreven gfan_tools en de beschikbare
specifieke opties.

--log1, --log2...
Vertel Gfan hoeveel informatie naar de standaardfout moet worden geschreven terwijl een berekening is
rennen. Deze opties zijn erg handig als je wilt weten of Gfan er een maakt
vooruitgang in zijn berekening.

--standaard waarde
Geef een bestand op dat als invoer moet worden gebruikt in plaats van te lezen uit de standaardinvoer.

--stdout waarde
Geef een bestand op waarnaar de uitvoer moet worden geschreven in plaats van naar de standaarduitvoer te schrijven.

--xml Laat polyhedral fans worden uitgevoerd in een XML-formaat in plaats van in het tekstformaat. (De
XML-bestanden zijn niet leesbaar voor Gfan.)

Gebruik gfan_substitute online met behulp van onworks.net-services