Đây là lệnh open-axiom 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, chẳng hạn 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
open-axiom - nền tảng mã nguồn mở để tính toán biểu tượng, đại số và số
SYNOPSIS
tiên đề mở [lựa chọn] [hồ sơ]
MÔ TẢ
Tổng quan lựa chọn:
--Cứu giúp In thông tin này và thoát.
--phiên bản
In phiên bản OpenAxiom và thoát.
--dài dòng
Làm cho hệ thống nói nhiều hơn. Trình thông dịch lặp lại lệnh và in kết quả
như thể trong vòng lặp đọc-đánh giá-in cấp cao nhất.
--kịch bản
Thực thi đối số tệp dưới dạng tập lệnh Spad. Nếu được chỉ định, tùy chọn này sẽ
cuối cùng trước đối số tệp.
- biên dịch
Gọi trình biên dịch trên đối số tệp. Nếu được chỉ định, tùy chọn này sẽ là cuối cùng
trước đối số tệp.
--người phục vụ
Bắt đầu quá trình Siêu nhân với tư cách là bậc thầy.
- không có máy chủ
Không bắt đầu Siêu nhân như quy trình tổng thể.
Siêu nhân lựa chọn:
--no-gui
Không khởi động các thành phần Đồ họa hoặc HyperDoc.
- đồ thị
Khởi động thành phần Đồ họa. Tùy chọn này chỉ có ý nghĩa nếu OpenAxiom là
được xây dựng với hỗ trợ đồ họa.
- không có đồ thị
Không khởi động thành phần Đồ họa.
--hyperdoc
Khởi động thành phần HyperDoc. Tùy chọn này chỉ có ý nghĩa nếu OpenAxiom là
được xây dựng với hỗ trợ đồ họa.
--no-hyperdoc
Không khởi động thành phần HyperDoc.
--hành hình cmd lập luận
thực thi 'cmd' với đối số là `args '
Trình biên dịch lựa chọn:
--optimize =
Đặt mức tối ưu hóa trình biên dịch thành , một số tự nhiên.
Nếu được gọi mà không có tùy chọn và không có tệp đầu vào, OpenAxiom sẽ bắt đầu dưới dạng tương tác
chương trình với Superman như là quá trình tổng thể, phần lớn các mục đích sử dụng. Nếu được gọi bằng một tệp
như một đối số duy nhất, OpenAxiom giả định tệp là một tập lệnh Spad và sẽ cố gắng
thực hiện nó như vậy.
Gửi báo cáo lỗi tới [email được bảo vệ]
Sử dụng tiên đề mở trực tuyến bằng các dịch vụ onworks.net
