gfan_substitute - ออนไลน์ในคลาวด์

โครงการ:

ชื่อ

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_substitute ออนไลน์โดยใช้บริการ onworks.net