ນີ້ແມ່ນຄໍາສັ່ງ gfan_saturation ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
gfan - ເຄື່ອງມືທີ່ຈະຄິດໄລ່ Gröbner fans ແລະແນວພັນເຂດຮ້ອນ
ສະຫຼຸບສັງລວມ
gfan_ເຄື່ອງມື [ທາງເລືອກໃນການ]
gfan _ເຄື່ອງມື [ທາງເລືອກໃນການ]
ລາຍລະອຽດ
Gfan ເປັນຊຸດຊອບແວສໍາລັບຄອມພິວເຕີ້ Gröbner fans ແລະແນວພັນເຂດຮ້ອນ. ພວກນີ້ແມ່ນ
ພັດລົມ polyhedral ທີ່ກ່ຽວພັນກັບອຸດົມການຫຼາຍຊື່. ໂກນສູງສຸດຂອງພັດລົມGröbnerແມ່ນຢູ່ໃນ
bijection ກັບເຄື່ອງຫມາຍການຫຼຸດຜ່ອນພື້ນຖານGröbnerຂອງທີ່ເຫມາະສົມກໍານົດຂອງຕົນ. ຊອບແວ
ຄິດໄລ່ພື້ນຖານ Gröbner ທີ່ຖືກໝາຍທັງໝົດທີ່ເໝາະສົມ. ສະຫະພັນຂອງພວກເຂົາແມ່ນ Gröbner ທົ່ວໄປ
ພື້ນຖານ. ແນວພັນເຂດຮ້ອນຂອງອຸດົມການພລິນາມແມ່ນເປັນ subcomplex ທີ່ແນ່ນອນຂອງGröbner
ພັດລົມ. Gfan ປະກອບດ້ວຍວິທີການສໍາລັບການຄິດໄລ່ສະລັບສັບຊ້ອນນີ້ສໍາລັບອຸປະກອນທົ່ວໄປແລະ
ສູດການຄິດໄລ່ສະເພາະສໍາລັບເສັ້ນໂຄ້ງເຂດຮ້ອນ, hypersurfaces ເຂດຮ້ອນ ແລະແນວພັນເຂດຮ້ອນ
ຂອງອຸດົມການຕົ້ນຕໍ. ນອກ ເໜືອ ໄປຈາກ ໜ້າ ທີ່ຫຼັກຂ້າງເທິງ, ຊຸດປະກອບມີເຄື່ອງມືຫຼາຍຢ່າງ
ທີ່ມີປະໂຫຍດໃນການສຶກສາພື້ນຖານGröbner, ອຸດົມການເບື້ອງຕົ້ນແລະເລຂາຄະນິດເຂດຮ້ອນ.
ບັນຊີລາຍຊື່ຄົບຖ້ວນຂອງ ເຄື່ອງມືs ແມ່ນ:
ຖານ, buchberger, ຜະສົມຜະສານ, doidealcontain, fancommonrefinement, fanhomology,
fanlink, fanproduct, fansubfan, genericlinearchange, groebnercone, groebnerfan,
homogeneityspace, homogenize, ຮູບແບບເບື້ອງຕົ້ນ, ການໂຕ້ຕອບ, ismarkedgroebnerbasi,
krulldimension, latticeideal, ຂໍ້ກໍານົດຊັ້ນນໍາ, ບັນຊີລາຍຊື່, markpolynomialset, minkowskisum, ເດັກນ້ອຍ,
ປະລິມານປະສົມປະສານ, overintegers, padic, polynomialsetunion, render, renderstaircase, ການອີ່ມຕົວ,
ພັດລົມຂັ້ນສອງ, ສະຖິຕິ, ການທົດແທນ, ຄວາມສົມມາ, tolatex, topolyhedralfan, ເຂດຮ້ອນ,
tropicalbruteforce, ການປະເມີນເຂດຮ້ອນ, ການທໍາງານຂອງເຂດຮ້ອນ, tropicalhypersurface,
ເຂດເຂດຮ້ອນ, ການຍົກເຂດຮ້ອນ, ພື້ນທີ່ເຂດຮ້ອນ, ພື້ນທີ່ເຂດຮ້ອນ, ຄວາມຫຼາກຫຼາຍຂອງເຂດຮ້ອນ,
tropicalrank, tropicalstartingcone, tropicaltraverse, tropicalweildivisor, ສະບັບ.
ຂ້າງລຸ່ມນີ້ແມ່ນໄດ້ນໍາສະເຫນີທາງເລືອກທົ່ວໄປທີ່ມີຢູ່ກັບທັງຫມົດ ເຄື່ອງມືດ. ສໍາລັບທາງເລືອກສະເພາະຂອງ
ໃຫ້ ເຄື່ອງມື, ພວກເຮົາອ້າງເຖິງຂໍ້ຄວາມຊ່ວຍເຫຼືອຂອງເຄື່ອງມືນັ້ນ.
OPTIONS
- ຊ່ວຍ ສະແດງຂໍ້ຄວາມຊ່ວຍເຫຼືອອະທິບາຍການທໍາງານຂອງ gfan_ເຄື່ອງມື ແລະທີ່ມີຢູ່
ທາງເລືອກສະເພາະ.
--log1, --log2...
ບອກ Gfan ວ່າມີຂໍ້ມູນຫຼາຍປານໃດທີ່ຈະຂຽນເຖິງຄວາມຜິດພາດມາດຕະຖານໃນຂະນະທີ່ການຄິດໄລ່ແມ່ນ
ແລ່ນ. ຕົວເລືອກເຫຼົ່ານີ້ແມ່ນມີປະໂຫຍດຫຼາຍເມື່ອທ່ານຢາກຮູ້ວ່າ Gfan ກຳ ລັງເຮັດຢູ່ບໍ
ຄວາມຄືບຫນ້າໃນການຄິດໄລ່ຂອງຕົນ.
--stdin ມູນຄ່າ
ລະບຸໄຟລ໌ທີ່ຈະໃຊ້ເປັນການປ້ອນຂໍ້ມູນແທນການອ່ານຈາກວັດສະດຸປ້ອນມາດຕະຖານ.
--stdout ມູນຄ່າ
ລະບຸໄຟລ໌ທີ່ຈະຂຽນຜົນອອກມາແທນການຂຽນໃສ່ຜົນໄດ້ຮັບມາດຕະຖານ.
--xml ໃຫ້ພັດລົມ polyhedral ເປັນຜົນຜະລິດໃນຮູບແບບ XML ແທນໃນຮູບແບບຂໍ້ຄວາມ. (ໄດ້
ໄຟລ໌ XML ບໍ່ສາມາດອ່ານໄດ້ໂດຍ Gfan.)
ໃຊ້ gfan_saturation ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net
