Este é o comando gfan_saturation que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas múltiplas estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online de Windows ou emulador online de MAC OS.
PROGRAMA:
NOME
gfan - ferramenta para calcular os fãs de Gröbner e variedades tropicais
SINOPSE
gfan_ferramenta [opções]
gfan _ferramenta [opções]
DESCRIÇÃO
Gfan é um pacote de software para computar fãs de Gröbner e variedades tropicais. Estes são
leques poliédricos associados a ideais polinomiais. Os cones máximos de um leque Gröbner estão em
bijeção com as bases Gröbner reduzidas marcadas de seu ideal definidor. O software
calcula todas as bases de Gröbner reduzidas marcadas de um ideal. A união deles é um Gröbner universal
base. A variedade tropical de um ideal polinomial é um certo subcomplexo do Gröbner
fã. Gfan contém algoritmos para calcular este complexo para ideais gerais e
algoritmos especializados para curvas tropicais, hipersuperfícies tropicais e variedades tropicais
de ideais primordiais. Além das funções centrais acima, o pacote contém muitas ferramentas
que são úteis no estudo das bases de Gröbner, ideais iniciais e geometria tropical.
A lista completa de ferramentas é:
bases, buchberger, combinerays, dididealcontain, fancommonrefinement, fanhomology,
fanlink, fanproduct, fansubfan, genericlinearchange, groebnercone, groebnerfan,
homogeneityspace, homogeneize, initialforms, interativo, ismarkedgroebnerbasis,
krulldimension, latticeideal, leadterms, lista, markpolynomialset, minkowskisum, menores,
volume misto, overintegers, padic, polinomialsetunion, render, renderstaircase, saturation,
secundáriofan, estatísticas, substituto, simetrias, tolatex, topoliedrofã, base tropical,
força bruta tropical, avaliação tropical, função tropical, hipersuperfície tropical,
interseção tropical, elevação tropical, espaço interno tropical, multiplicidade tropical,
tropicalrank, tropicalstartingcone, tropicaltraverse, tropicalweildivisor, versão.
Abaixo são apresentadas as opções genéricas disponíveis com todos ferramentas. Para opções específicas de
um dado ferramenta, nos referimos à mensagem de ajuda dessa ferramenta.
OPÇÕES
--Socorro Exibir uma mensagem de ajuda descrevendo a funcionalidade do gfan_ferramenta e o disponível
opções específicas.
--log1, --log2 ...
Diga a Gfan quanta informação deve ser escrita no erro padrão enquanto um cálculo é
correndo. Essas opções são muito úteis quando você deseja saber se Gfan está fazendo algum
progresso em seu cálculo.
--stdin valor
Especifique um arquivo para usar como entrada em vez de ler a entrada padrão.
--stdout valor
Especifique um arquivo para gravar a saída em vez de gravar na saída padrão.
--xml Deixe que os ventiladores poliédricos sejam produzidos em um formato XML em vez de no formato de texto. (O
Os arquivos XML não podem ser lidos pelo Gfan.)
Use gfan_saturation online usando serviços onworks.net
