นี่คือคำสั่ง gfan_saturation ที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้หนึ่งในเวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
gfan - เครื่องมือในการคำนวณพัดลม Gröbner และพันธุ์ไม้เขตร้อน
เรื่องย่อ
แฟน_เครื่องมือ [ตัวเลือก]
แฟน _เครื่องมือ [ตัวเลือก]
DESCRIPTION
Gfan เป็นชุดซอฟต์แวร์สำหรับคอมพิวเตอร์พัดลม Gröbner และพันธุ์เขตร้อน เหล่านี้คือ
พัดลมรูปทรงหลายเหลี่ยมที่เกี่ยวข้องกับอุดมคติพหุนาม กรวยสูงสุดของพัดลมGröbnerอยู่ใน
bijection กับฐาน Gröbner ที่ลดขนาดลงของอุดมคติที่กำหนด ซอฟต์แวร์
คำนวณฐาน Gröbner ที่ลดเครื่องหมายของอุดมคติทั้งหมด สหภาพของพวกเขาคือGröbner .สากล
พื้นฐาน ความหลากหลายของเขตร้อนของอุดมคติพหุนามเป็นคอมเพล็กซ์ย่อยของ Gröbner
พัดลม. Gfan มีอัลกอริทึมสำหรับการคำนวณที่ซับซ้อนนี้สำหรับอุดมคติทั่วไปและ
อัลกอริธึมเฉพาะสำหรับเส้นโค้งเขตร้อน ไฮเปอร์พื้นผิวเขตร้อน และพันธุ์เขตร้อน
ของอุดมการณ์สำคัญ นอกจากฟังก์ชันหลักข้างต้นแล้ว แพ็คเกจยังมีเครื่องมือมากมาย
ซึ่งมีประโยชน์ในการศึกษาฐานของ Gröbner อุดมคติเบื้องต้นและเรขาคณิตเขตร้อน
รายการทั้งหมดของ เครื่องมือs คือ:
เบส, buchberger, combinerays, doidealcontain, fancommonrefinement, fanhomology,
fanlink, fanproduct, fansubfan, genericlinearchange, groebnercone, groebnerfan,
homogeneityspace, ทำให้เป็นเนื้อเดียวกัน, initialforms, โต้ตอบ, ismarkedgroebnerbasis,
กรุลดิเมชัน, แลตทิซอุดมคติ, เงื่อนไขชั้นนำ, รายการ, มาร์กโพลิโนเมียลเซ็ต, มินโควสกีซัม, ผู้เยาว์,
mixedvolume, overintegers, padic, พหุนามเซตยูเนียน, เรนเดอร์, เรนเดอร์บันได, ความอิ่มตัว,
Secondaryfan, สถิติ, ตัวสำรอง, สมมาตร, tolatex, topolyhedralfan, tropicalbasis,
tropicalbruteforce, การประเมินเขตร้อน, ฟังก์ชันเขตร้อน, เขตร้อนไฮเปอร์เซอร์เฟซ,
ทางแยกเขตร้อน, เขตร้อนลิฟติ้ง, เขตร้อนเชิงเส้นสเปซ, เขตร้อนหลายหลาก,
tropicalrank, tropicalstartingcone, tropicaltraverse, tropicalweildivisor รุ่น
ด้านล่างนี้คือตัวเลือกทั่วไปที่มีให้ทั้งหมด เครื่องมือNS. สำหรับตัวเลือกเฉพาะของ
ให้ เครื่องมือเราอ้างถึงข้อความช่วยเหลือของเครื่องมือนั้น
OPTIONS
--ช่วยด้วย แสดงข้อความช่วยเหลือที่อธิบายการทำงานของ แฟน_เครื่องมือ และที่มีอยู่
ตัวเลือกเฉพาะ
--log1, --log2...
บอก Gfan ว่าต้องเขียนข้อมูลไปยังข้อผิดพลาดมาตรฐานมากแค่ไหนในขณะที่กำลังคำนวณอยู่
วิ่ง. ตัวเลือกเหล่านี้มีประโยชน์มากเมื่อคุณต้องการทราบว่า Gfan กำลังทำอะไรอยู่
ความคืบหน้าในการคำนวณ
-stdin ความคุ้มค่า
ระบุไฟล์ที่จะใช้เป็นอินพุตแทนการอ่านจากอินพุตมาตรฐาน
--stdout ความคุ้มค่า
ระบุไฟล์ที่จะเขียนเอาต์พุตไปยังแทนที่จะเขียนไปยังเอาต์พุตมาตรฐาน
--xml ให้แฟน polyhedral ส่งออกในรูปแบบ XML แทนในรูปแบบข้อความ (NS
Gfan ไม่สามารถอ่านไฟล์ XML ได้)
ใช้ gfan_saturation ออนไลน์โดยใช้บริการ onworks.net
