4ti2-zsolve

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-zsolve trực tuyến bằng các dịch vụ onworks.net