ນີ້ແມ່ນຄໍາສັ່ງ 4ti2-minimize ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
4ti2 - ຊຸດຊອບແວສໍາລັບບັນຫາກ່ຽວກັບພຶດຊະຄະນິດ, geometric ແລະປະສົມປະສານກ່ຽວກັບເສັ້ນຊື່
spaces
ສະຫຼຸບສັງລວມ
4ti2-ວົງຈອນ
4ti2-genmodel [--ງຽບ] foo.mod
4ti2-gensymm [--ງຽບ] a b c d ຟູ
4ti2-graver [--ງຽບ] foo[|.mat|.lat]
4ti2-groebner [--ງຽບ|-q] [--force|-f] [--saturation|-s] [--project-and-lift|-p]
[--ປົກກະຕິ|-n] [--ນໍ້າໜັກ|-w] [--gebauer-moeller|-g] [--auto-reduce-freq=N|-aN] ຟູ
4ti2-hilbert [--ງຽບ] ຟູ
4ti2-markov [--ງຽບ|-q] ຟູ
4ti2-ຫຍໍ້ລົງ [--ງຽບ|-q] ຟູ
4ti2-ປົກກະຕິ
4ti2-ຜົນຜະລິດ [--ງຽບ] [--binomials] [-- maple] [--0-1] [--transpose] [-- ອົງສາ [N]]
[-- ບວກ] [--3 ທາງ a b c] ຟູ
4ti2-ppi
4ti2-qsolve
4ti2-rays
4ti2-ຍ່າງ
4ti2-zbasis
4ti2-zsolve
ລາຍລະອຽດ
ຊຸດຊອບແວ 4ti2 ແມ່ນຊຸດຂອງເຄື່ອງມືບັນທັດຄໍາສັ່ງສໍາລັບການແກ້ໄຂບັນຫາ algebraic,
ບັນຫາທາງເລຂາຄະນິດ ແລະ ປະສົມປະສານໃນຊ່ອງຫວ່າງ.
ຂໍ້ມູນ STRUCTURE
ແນວຄວາມຄິດຕົ້ນຕໍຂອງ 4ti2 ຍັງຄົງຄືກັນ: ໂຄງການແມ່ນຖືກກໍານົດໂດຍຜ່ານໄຟລ໌ foo[.mat]
ປະກອບມີຕາຕະລາງບັນຫາ. ຊຸດທີ່ກ່ຽວຂ້ອງເຊັ່ນພື້ນຖານ Graver ຫຼືພື້ນຖານ Markov ແມ່ນໃສ່
ເຂົ້າໄປໃນ foo.gra ແລະ foo.mar, ຕາມລໍາດັບ.
ໄຟລ໌ປ້ອນຂໍ້ມູນ ແລະໄຟລ໌ຜົນຜະລິດ ປົກກະຕິແລ້ວມີມາຕຣິກເບື້ອງ ຫຼືບັນຊີລາຍຊື່ຂອງ vectors (ຂຽນເປັນ a
matrix) ໃນການເຂົ້າລະຫັດມາດຕະຖານເຊັ່ນ
2 4
1 1 1 1
1 2 3 4
ມີພຽງແຕ່ຂໍ້ຍົກເວັ້ນຈໍານວນຫນ້ອຍ, ຕົວຢ່າງໃນໄຟລ໌ foo.vars ປະກອບດ້ວຍຜູ້ໃຊ້ທີ່ລະບຸໄວ້
ຊື່ຕົວແປ:
3
abx
ໃຊ້ 4ti2-minimize ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net