gfan_saturation - Trực tuyến trên đám mây

CHƯƠNG TRÌNH:

TÊN

gfan - công cụ tính toán người hâm mộ Gröbner và các giống nhiệt đới

SYNOPSIS

gfan_công cụ [lựa chọn]

gfan _công cụ [lựa chọn]

MÔ TẢ

Gfan là một gói phần mềm để tính toán quạt Gröbner và các giống nhiệt đới. đó là
quạt đa diện liên kết với iđêan đa thức. Các hình nón cực đại của một chiếc quạt Gröbner nằm trong
bijection với các cơ sở Gröbner thu nhỏ được đánh dấu của lý tưởng xác định của nó. Phần mềm
tính toán tất cả các cơ sở Gröbner đã giảm được đánh dấu của một lý tưởng. Sự kết hợp của họ là một Gröbner toàn cầu
nền tảng. Sự đa dạng nhiệt đới của một lý tưởng đa thức là một tổng thể con nhất định của Gröbner
quạt. Gfan chứa các thuật toán để tính toán phức tạp này cho các lý tưởng chung và
các thuật toán chuyên biệt cho các đường cong nhiệt đới, siêu bề mặt nhiệt đới và các giống nhiệt đới
của các lý tưởng nguyên tố. Ngoài các chức năng cốt lõi trên, gói còn chứa nhiều công cụ
rất hữu ích trong việc nghiên cứu các cơ sở Gröbner, các lý tưởng ban đầu và hình học nhiệt đới.

Danh sách đầy đủ của công cụs là:

cơ sở, buchberger, kết hợp, doesidealcontain, fancommonrefinement, fanhomology,
liên kết fan, sản phẩm của người hâm mộ, fansubfan, thay đổi tuyến tính chung, groebnercone, groebnerfan,
không gian đồng nhất, đồng nhất, biểu mẫu ban đầu, tương tác, ismarkedgroebnerbasis,
krulldimension, latticeideal, dẫn đầu, danh sách, markpolynomialset, minkowskisum, trẻ vị thành niên,
mixvolume, overintegers, padic, polynomialsetunion, render, renderstaircase, saturation,
quạt thứ cấp, số liệu thống kê, vật thay thế, đối xứng, tolatex, topoly surfacefan, nhiệt đới,
nhiệt đới, nhiệt đới, đánh giá nhiệt đới, chức năng nhiệt đới, bề mặt nhiệt đới,
vùng nhiệt đới, nhiệt đới hóa, không gian nhiệt đới, tính đa dạng nhiệt đới,
Tropicalrank, Tropicalstartingcone, Tropicaltraverse, Tropicalweildivisor, Version.

Dưới đây là trình bày các tùy chọn chung có sẵn với tất cả công cụNS. Đối với các tùy chọn cụ thể của
một cho công cụ, chúng tôi đề cập đến thông báo trợ giúp của công cụ đó.

LỰA CHỌN

--Cứu giúp Hiển thị thông báo trợ giúp mô tả chức năng của gfan_công cụ và có sẵn
các tùy chọn cụ thể.

--log1, --log2 ...
Cho Gfan biết có bao nhiêu thông tin cần ghi vào lỗi chuẩn trong khi tính toán
đang chạy. Các tùy chọn này rất hữu ích khi bạn muốn biết liệu Gfan có đang thực hiện bất kỳ
tiến bộ trong tính toán của nó.

--stdin giá trị
Chỉ định một tệp để sử dụng làm đầu vào thay vì đọc từ đầu vào chuẩn.

--thiết bị xuất chuẩn giá trị
Chỉ định một tệp để ghi đầu ra thay vì ghi vào đầu ra chuẩn.

--xml Cho phép các quạt đa diện được xuất ra ở định dạng XML thay vì ở định dạng văn bản. (Các
Các tệp XML không thể đọc được bởi Gfan.)

Sử dụng gfan_saturation trực tuyến bằng dịch vụ onworks.net