gfan_saturation - Online sa Cloud

PROGRAMA:

NAME

gfan - tool upang makalkula ang mga tagahanga ng Gröbner at mga tropikal na uri

SINOPSIS

gfan_kasangkapan [pagpipilian]

gfan _kasangkapan [pagpipilian]

DESCRIPTION

Ang Gfan ay isang software package para sa pag-compute ng mga tagahanga ng Gröbner at mga tropikal na uri. Ang mga ito ay
polyhedral fan na nauugnay sa polynomial ideals. Ang pinakamaraming cone ng isang Gröbner fan ay nasa
bijection na may minarkahang pinababang mga base ng Gröbner ng pagtukoy sa ideal nito. Ang software
kinukuwenta ang lahat ng minarkahang pinababang mga base ng Gröbner ng isang ideal. Ang kanilang unyon ay isang unibersal na Gröbner
batayan. Ang tropikal na pagkakaiba-iba ng isang polynomial ideal ay isang tiyak na subcomplex ng Gröbner
tagahanga. Naglalaman ang Gfan ng mga algorithm para sa pag-compute ng kumplikadong ito para sa mga pangkalahatang ideyal at
mga dalubhasang algorithm para sa mga tropikal na kurba, mga tropikal na hypersurface at mga tropikal na uri
ng mga pangunahing mithiin. Bilang karagdagan sa mga pangunahing function sa itaas ang package ay naglalaman ng maraming mga tool
na kapaki-pakinabang sa pag-aaral ng mga base ng Gröbner, mga inisyal na ideyal at tropikal na geometry.

Ang kumpletong listahan ng kasangkapans ay:

bases, buchberger, combinerays, doesidealcontain, fancommonrefinement, fanhomology,
fanlink, fanproduct, fansubfan, genericlinearchange, groebnercone, groebnerfan,
homogeneityspace, homogenize, initialforms, interactive, ismarkedgroebnerbasis,
krulldimension, latticeideal, leadingterms, list, markpolynomialset, minkowskisum, menor de edad,
mixedvolume, overinteger, padic, polynomialsetunion, render, renderstaircase, saturation,
secondaryfan, stats, substitute, symmetries, tolatex, topolyhedralfan, tropicalbasis,
tropicalbruteforce, tropicalevaluation, tropicalfunction, tropicalhypersurface,
tropicalintersection, tropicallifting, tropicallinearspace, tropical multiplicity,
tropicalrank, tropicalstartingcone, tropicaltraverse, tropicalweildivisor, bersyon.

Sa ibaba ay ipinakita ang mga generic na opsyon na magagamit ng lahat kasangkapans. Para sa mga partikular na opsyon ng
isang ibinigay na kasangkapan, tinutukoy namin ang mensahe ng tulong ng tool na iyon.

Opsyon

- Tumulong Magpakita ng mensahe ng tulong na naglalarawan sa paggana ng gfan_kasangkapan at ang magagamit
tiyak na mga opsyon.

--log1, --log2...
Sabihin kay Gfan kung gaano karaming impormasyon ang isusulat sa karaniwang error habang ang isang pagtutuos ay
tumatakbo. Ang mga opsyong ito ay lubhang kapaki-pakinabang kapag nais mong malaman kung gumagawa ng anuman ang Gfan
progreso sa pagkalkula nito.

--stdin halaga
Tumukoy ng file na gagamitin bilang input sa halip na magbasa mula sa karaniwang input.

--stdout halaga
Tukuyin ang isang file kung saan isusulat ang output sa halip na isulat sa karaniwang output.

--xml Hayaan ang polyhedral fan na maging output sa isang XML na format sa halip na sa text format. (Ang
Ang mga XML file ay hindi nababasa ng Gfan.)

Gumamit ng gfan_saturation online gamit ang mga serbisyo ng onworks.net