Questo è il comando gfan_saturation che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
gfan - strumento per calcolare i fan di Gröbner e le varietà tropicali
SINOSSI
gfan_ [Opzioni]
gfan _ [Opzioni]
DESCRIZIONE
Gfan è un pacchetto software per il calcolo dei fan di Gröbner e delle varietà tropicali. Questi sono
ventagli poliedrici associati a ideali polinomiali. I coni massimi di un ventilatore di Gröbner sono in
biiezione con le basi di Gröbner marcatamente ridotte del suo ideale che lo definisce. Il software
calcola tutte le basi di Gröbner ridotte marcate di un ideale. La loro unione è un Gröbner . universale
base. La varietà tropicale di un ideale polinomiale è un certo sottocomplesso del Gröbner
fan. Gfan contiene algoritmi per calcolare questo complesso per ideali generali e
algoritmi specializzati per curve tropicali, ipersuperfici tropicali e varietà tropicali
degli ideali primi. Oltre alle funzioni principali di cui sopra, il pacchetto contiene molti strumenti
utili nello studio delle basi di Gröbner, degli ideali iniziali e della geometria tropicale.
L'elenco completo di s è:
basi, buchberger, combinerays, dididealcontain, fancommonrefinement, fanhomology,
fanlink, fanproduct, fansubfan, genericlinearchange, groebnercone, groebnerfan,
omogeneitàspazio, omogeneizzare, forme iniziali, interattivo, ismarkedgroebnerbasis,
krulldimension, latticeideal, leadingterms, elenco, markpolynomialset, minkowskisum, minors,
volume misto, sovrainteri, padic, polynomialsetunion, render, renderstaircase, saturation,
secondaryfan, statistiche, sostituto, simmetrie, tolatex, topolyhedralfan, tropicalbasis,
forza bruta tropicale, valutazione tropicale, funzione tropicale, ipersuperficie tropicale,
tropicalintersection, tropicallifting, tropicallinearspace, tropicalmultiplicity,
rango tropicale, cono di partenza tropicale, traversa tropicale, divisore tropicale, versione.
Di seguito sono presentate le opzioni generiche disponibili con tutti S. Per opzioni specifiche di
un dato , facciamo riferimento al messaggio di aiuto di quello strumento.
VERSIONI
--Aiuto Visualizza un messaggio di aiuto che descrive la funzionalità di gfan_ e il disponibile
opzioni specifiche.
--log1, --log2...
Dì a Gfan quante informazioni scrivere sull'errore standard mentre è in corso un calcolo
in esecuzione. Queste opzioni sono molto utili quando desideri sapere se Gfan sta facendo qualcosa
progressi nel suo calcolo.
--stdin APPREZZIAMO
Specificare un file da utilizzare come input invece di leggere dall'input standard.
--stdout APPREZZIAMO
Specificare un file in cui scrivere l'output invece di scrivere nell'output standard.
--xml Lascia che i fan poliedrici vengano emessi in un formato XML anziché nel formato di testo. (Il
I file XML non sono leggibili da Gfan.)
Usa gfan_saturation online usando i servizi onworks.net
