Đây là lệnh poly-4d.x 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 mô phỏng trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
poly.x, poly- dx - tính toán dữ liệu của một polytope
SYNOPSIS
poly.x [-] [trong tập tin [ngoài hồ sơ]]
MÔ TẢ
Tính toán dữ liệu của một đa giác P
Poly- các chương trình biến thể dx, trong đó là một trong 4, 5, 6 và 11 công việc khác nhau
kích thước; poly.x mặc định là thứ nguyên 6.
Các lựa chọn (nối bất kì con số of họ trong ):
h in thông tin này
f sử dụng làm bộ lọc
g sản lượng chung; đối với P phản xạ: số điểm / đỉnh (kép), số né tránh và
nếu P không phản xạ: số điểm, đỉnh, phương trình
p điểm của P
v đỉnh của P
phương trình e của P / đỉnh của P-kép
m ma trận ghép nối giữa các đỉnh và phương trình
d điểm của kép P (chỉ khi P phản xạ)
a tất cả các điều trên ngoại trừ h, f
l LG-`` Ẩn số '' từ đầu vào trọng lượng đơn
r bỏ qua đầu vào không phản xạ
D polytope kép làm đầu vào (chỉ tham chiếu)
n không hoàn thành polytope hoặc tính toán số Hodge
tôi mắc bệnh thông tin
s kiểm tra thuộc tính span (chỉ khi P từ CWS)
Tôi kiểm tra thuộc tính IP
S số đối xứng
T dạng tam giác trên
N dạng bình thường
t tính toán dạng bình thường theo dấu vết
V IP đơn giản giữa các đỉnh của P *
P IP đơn giản hóa giữa các điểm của P * (với 1 <= codim <= # khi # được đặt)
Thương số mạng Z cho đơn giản IP
# # = 1,2,3 sợi được kéo dài bởi IP đơn giản với codim <= #
## ## = 11,22,33, (12,23): tất cả các sợi (được tạo sợi) với (các) codim được chỉ định khi kết hợp: ### =
(##) #
Một dạng thông thường affine
B Khối lượng trung tâm và mạng tinh thể [# ... điểm ở độ #]
F in tất cả các khía cạnh
G Gorenstein: chia hết cho I> 1
Giống như 'l' với dữ liệu Hodge cho các cung xoắn
U các khía cạnh đơn giản trong mạng tinh thể N
U1 Fano (các mặt đơn giản và đơn giản trong mạng tinh thể N)
U5 5d fano từ phép chiếu 4d phản xạ (mạng tinh thể M)
C1 conifold CY (đơn phương hoặc vuông 2 mặt)
C2 conifold FANO (chia hết cho 2 & 2 mặt cơ bản)
Các đối xứng E liên quan đến các thước đo Einstein-Kaehler
Đầu vào
độ và trọng lượng `d1 w11 w12 ... d2 w21 w22 ... 'hoặc` d np' hoặc `np d '(d = Thứ nguyên,
np = # [điểm]) và (sau dòng mới) np * d tọa độ
Đầu ra
như được chỉ định bởi các tùy chọn
Sử dụng poly-4d.x trực tuyến bằng các dịch vụ onworks.net