Đây là lệnh 4ti2-gensymm có thể chạy trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks bằng cách sử dụng một trong nhiều máy trạm trực tuyến miễn phí của chúng tôi như Ubuntu Online, Fedora Online, trình giả lập trực tuyến Windows hoặc trình giả lập trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
4ti2 - gói phần mềm cho các bài toán đại số, hình học và tổ hợp trên tuyến tính
không gian
SYNOPSIS
4ti2-mạch
4ti2-gen model [--Yên lặng] foo.mod
4ti2-gensymm [--Yên lặng] a b c d foo
máy cắt 4ti2 [--Yên lặng] foo [| .mat | .lat]
4ti2-groebner [--quiet | -q] [--force | -f] [--saturation | -s] [--project-and-lift | -p]
[--normal | -n] [- weighted | -w] [--gebauer-moeller | -g] [--auto-Reduce-freq =N| -aN] foo
4ti2-hilbert [--Yên lặng] foo
4ti2-markov [--quiet | -q] foo
4ti2-thu nhỏ [--quiet | -q] foo
4ti2-dạng bình thường
4ti2-đầu ra [--Yên lặng] [--nhị thức] [--cây phong] [--0-1] [--chuyển vị] [--trình độ [N]]
[--khả quan] [--3đường a b c] foo
4ti2-ppi
4ti2-qsolve
4ti2-tia
4ti2-đi bộ
cơ sở 4ti2
4ti2-zsolve
MÔ TẢ
Gói phần mềm 4ti2 là một bộ công cụ dòng lệnh để xử lý đại số,
các bài toán hình học và tổ hợp trên không gian tuyến tính.
DỮ LIỆU Cơ cấu
Khái niệm chính của 4ti2 vẫn giữ nguyên: một dự án được xác định thông qua một tệp foo [.mat]
chứa ma trận bài toán. Các bộ liên quan như cơ sở Graver hoặc cơ sở Markov được đặt
trong foo.gra và foo.mar, Tương ứng.
Tệp đầu vào và tệp đầu ra thường chứa ma trận hoặc danh sách các vectơ (được viết dưới dạng
ma trận) trong một mã hóa tiêu chuẩn chẳng hạn như
2 4
1 1 1 1
1 2 3 4
Chỉ có một số ngoại lệ, ví dụ như trong một tệp foo.vars chứa người dùng được chỉ định
tên biến:
3
abx
Sử dụng 4ti2-gensymm trực tuyến bằng các dịch vụ onworks.net
