Đây là lệnh isofilter2 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
isofilter - loại bỏ cấu trúc đẳng cấu khỏi mace4(1) mô hình
SYNOPSIS
máy lọc nước [lựa chọn] tập tin đầu vào > tập tin đầu ra
isofilter0 [lựa chọn] tập tin đầu vào > tập tin đầu ra
isofilter2 [lựa chọn] tập tin đầu vào > tập tin đầu ra
MÔ TẢ
Trang hướng dẫn sử dụng này tài liệu ngắn gọn về máy lọc nước, isofilter0 và isofilter2 lệnh.
If mace4(1) tạo ra nhiều hơn một cấu trúc, một số trong số chúng rất có thể
đẳng cấu với những người khác. Chương trình máy lọc nước có thể được sử dụng để loại bỏ các cấu trúc đẳng lập.
TIẾNG VIỆT
Có nhiều máy lọc nước các biến thể cung cấp các thuật toán thay thế.
máy lọc nước
Sử dụng thuật toán Hồ sơ xuất hiện.
isofilter2
Sử dụng thuật toán Canonical Forms.
LỰA CHỌN
Dưới đây là một bản tóm tắt các tùy chọn.
bỏ qua_constants
Bỏ qua tất cả các hằng số trong các thử nghiệm đẳng cấu.
kiểm tra
Chỉ xem xét danh sách hoạt động trong các bài kiểm tra đẳng cấu.
đầu ra
Chỉ xuất ra danh sách hoạt động.
bọc Bao gồm các cấu trúc kết quả trong danh sách (diễn giải). hữu ích. Cảm ơn ! cuối_of_list.
Sử dụng isofilter2 trực tuyến bằng các dịch vụ onworks.net
