gfan_tropicalevaluation - Online di Cloud

PROGRAM:

NAMA

gfan - alat untuk menghitung penggemar Gröbner dan varietas tropis

RINGKASAN

gfan_alat [Pilihan]

gfan _alat [Pilihan]

DESKRIPSI

Gfan adalah paket perangkat lunak untuk menghitung penggemar Gröbner dan varietas tropis. Ini adalah
penggemar polihedral terkait dengan cita-cita polinomial. Kerucut maksimal dari kipas Gröbner berada di
bijeksi dengan basis Gröbner tereduksi yang ditandai dari idealnya yang menentukan. Perangkat lunak
menghitung semua basis Gröbner tereduksi yang ditandai dari suatu ideal. Persatuan mereka adalah Gröbner . universal
dasar. Variasi tropis dari polinomial ideal adalah subkompleks tertentu dari Gröbner
kipas. Gfan berisi algoritma untuk menghitung kompleks ini untuk cita-cita umum dan
algoritma khusus untuk kurva tropis, hypersurfaces tropis dan varietas tropis
dari idealisme utama. Selain fungsi inti di atas, paket ini berisi banyak alat
yang berguna dalam studi basis Gröbner, ideal awal dan geometri tropis.

Daftar lengkap alatadalah:

bases, buchberger, combinerays, dididealcontain, fancommonrefinement, fanhomology,
tautan penggemar, produk penggemar, penggemar subfan, perubahan linier umum, groebnercone, groebnerfan,
ruang homogenitas, menyeragamkan, bentuk awal, interaktif, bertandagroebnerbasis,
krulldimension, latticeideal, leadingterms, daftar, markpolynomialset, minkowskisum, anak di bawah umur,
mixedvolume, overinteger, padic, polynomialsetunion, render, renderstaircase, saturasi,
secondaryfan, statistik, pengganti, simetri, tolatex, topolyhedralfan, tropicalbasis,
kekuatan tropis, evaluasi tropis, fungsi tropis, hiperpermukaan tropis,
perpotongan tropis, pengangkatan tropis, ruang linier tropis, multiplisitas tropis,
tropicalrank, tropicalstartingcone, tropicaltraverse, tropicalweildivisor, versi.

Di bawah ini disajikan opsi umum yang tersedia dengan semua alatS. Untuk opsi spesifik dari
yang diberikan alat, kami merujuk ke pesan bantuan alat itu.

PILIHAN

--membantu Tampilkan pesan bantuan yang menjelaskan fungsi dari gfan_alat dan tersedia
pilihan tertentu.

--log1, --log2...
Beri tahu Gfan berapa banyak informasi yang harus ditulis ke kesalahan standar saat penghitungan
berlari. Opsi ini sangat berguna ketika Anda ingin tahu apakah Gfan sedang membuat sesuatu
kemajuan dalam perhitungannya.

--stdin nilai
Tentukan file yang akan digunakan sebagai input alih-alih membaca dari input standar.

--stdout nilai
Tentukan file untuk menulis output alih-alih menulis ke output standar.

--xml Biarkan kipas polihedral menjadi output dalam format XML, bukan dalam format teks. (NS
File XML tidak dapat dibaca oleh Gfan.)

Gunakan gfan_tropicalevaluation online menggunakan layanan onworks.net