4ti2-genmodel - ອອນລາຍໃນຄລາວ

ໂຄງການ:

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