Đây là định dạng liên lệnh có thể được 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
interpformat - công cụ để chuyển đổi mace4(1) mô hình
SYNOPSIS
định dạng xen kẽ [lựa chọn]chuyển đổi> -f tập tin đầu vào > tập tin đầu ra
định dạng xen kẽ [lựa chọn]chuyển đổi> tập tin đầu vào > tập tin đầu ra
MÔ TẢ
Các mô hình (cấu trúc) trong mace4(1) các tệp đầu ra có thể được chuyển đổi theo nhiều cách khác nhau với
chương trình định dạng xen kẽ.
CHUYỂN ĐỔI
Các phép biến đổi được liệt kê ở đây.
Tiêu chuẩn
một dòng cho mỗi hoạt động
tiêu chuẩn2
tiêu chuẩn, với các phép toán nhị phân trong một hình vuông (mặc định)
di động
danh sách các danh sách, thích hợp để phân tích cú pháp bằng Python, GAP, v.v.
bảng
như những chiếc bàn đẹp
nguyên tương tự như tiêu chuẩn, nhưng không có dấu chấm câu
nấu chín như các điều khoản, ví dụ, f (0,1) = 2
tex được định dạng cho LaTeX
xml XML
LỰA CHỌN
Dưới đây là một bản tóm tắt các tùy chọn.
đầu ra
Chỉ xuất ra danh sách hoạt động.
bọc Bao gồm đầu ra trong danh sách (diễn giải).
Sử dụng interpformat trực tuyến bằng các dịch vụ onworks.net