Ini ialah arahan gfan_saturation yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS
JADUAL:
NAMA
gfan - alat untuk mengira peminat Gröbner dan jenis tropika
SINOPSIS
gfan_alat [pilihan]
gfan _alat [pilihan]
DESCRIPTION
Gfan ialah pakej perisian untuk mengira peminat Gröbner dan jenis tropika. Ini adalah
peminat polihedral yang dikaitkan dengan cita-cita polinomial. Kon maksimum kipas Gröbner berada di dalam
bijection dengan asas Gröbner yang dikurangkan yang ditandakan daripada ideal yang menentukannya. Perisian
mengira semua asas Gröbner yang dikurangkan yang ditandakan bagi suatu ideal. Kesatuan mereka adalah Gröbner sejagat
asas. Kepelbagaian tropika bagi polinomial ideal ialah subkompleks tertentu Gröbner
kipas. Gfan mengandungi algoritma untuk mengira kompleks ini untuk cita-cita umum dan
algoritma khusus untuk lengkung tropika, permukaan hiper tropika dan jenis tropika
daripada cita-cita utama. Sebagai tambahan kepada fungsi teras di atas pakej mengandungi banyak alat
yang berguna dalam kajian asas Gröbner, ideal awal dan geometri tropika.
Senarai lengkap alats ialah:
asas, buchberger, combinerays, doesidealcontain, fancommonrefinement, fanhomology,
fanlink, fanproduct, fansubfan, genericlinearchange, groebnercone, groebnerfan,
homogeneityspace, homogenize, initialforms, interaktif, ismarkedgroebnerbasis,
krulldimension, latticeideal, leadingterms, list, markpolynomialset, minkowskisum, bawah umur,
volum bercampur, overinterteger, padic, polinomialsetunion, render, renderstaircase, tepu,
kipas sekunder, statistik, pengganti, simetri, tolateks, topolyhedralfan, tropikalbasis,
tropicalbruteforce, tropicalevaluation, tropicalfunction, tropicalhypersurface,
persimpangan tropika, pengangkatan tropika, ruang linear tropika, kepelbagaian tropika,
tropicalrank, tropicalstartingcone, tropicaltraverse, tropicalweildivisor, version.
Di bawah dibentangkan pilihan generik yang tersedia dengan semua alats. Untuk pilihan khusus bagi
yang diberikan alat, kami merujuk kepada mesej bantuan alat itu.
PILIHAN
- membantu Paparkan mesej bantuan yang menerangkan kefungsian gfan_alat dan yang ada
pilihan tertentu.
--log1, --log2...
Beritahu Gfan berapa banyak maklumat yang perlu ditulis kepada ralat standard semasa pengiraan
berlari. Pilihan ini sangat berguna apabila anda ingin mengetahui sama ada Gfan membuat apa-apa
kemajuan dalam pengiraannya.
--stdin nilai
Tentukan fail untuk digunakan sebagai input dan bukannya membaca daripada input standard.
--stdout nilai
Tentukan fail untuk menulis output dan bukannya menulis kepada output standard.
--xml Biarkan peminat polihedral dikeluarkan dalam format XML dan bukannya dalam format teks. (The
Fail XML tidak boleh dibaca oleh Gfan.)
Gunakan gfan_saturation dalam talian menggunakan perkhidmatan onworks.net
