gfan_minkowskisum - ອອນລາຍໃນຄລາວ

ໂຄງການ:

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_minkowskisum ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net