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

CHƯƠNG TRÌNH:

TÊN

aribas - Trình thông dịch số học đa chính xác

SYNOPSIS

aribas [lựa chọn] [tệp ari> [arg1>arg2> ...]]

Trang người đàn ông này được viết cho Debian vì phần mềm gốc không chứa trang người
.

MÔ TẢ

Aribas là một trình thông dịch tương tác thích hợp cho số học số nguyên lớn và
số học dấu phẩy động đa phương. Nó có cú pháp tương tự như Pascal hoặc Modula-2,
mà còn chứa các tính năng từ các ngôn ngữ lập trình khác như C, Lisp, Oberon.

SỬ DỤNG

Cách đơn giản nhất để sử dụng aribas là một máy tính cho số học (số nguyên lớn). Sau
aribas được bắt đầu, nó sẽ hiển thị một lời nhắc ==> và sẵn sàng chấp nhận đầu vào. Đơn giản chỉ cần nhập
biểu thức bạn muốn tính toán, theo sau là một dấu dừng đầy đủ, sau đó nhấn RETURN, cho
ví dụ

==> 123 + 456 * 789.

Aribas câu trả lời

-: 359907

Biểu tượng -: giới thiệu kết quả.
QUAN TRỌNG. Để đánh dấu phần cuối của đầu vào, bạn phải luôn nhập dấu chấm đầy đủ '.' và sau đó
nhấn quay lại.

Bạn có thể gán kết quả của một phép tính cho một biến, như trong

==> F6: = 2 ** 64 + 1.
-:18446_74407_37095_51617

Điều này tính toán số Fermat thứ 6 (** biểu thị lũy thừa) và gán nó cho
biến F6 (lưu ý rằng aribas phân biệt chữ hoa chữ thường, vì vậy điều này không giống như f6). Một lát sau
bạn có thể sử dụng biến này chẳng hạn trong biểu thức

==> 123 ** (F6 - 1) mod F6.
-:688_66214_58712_63971

điều này cho thấy (theo định lý Fermat) rằng F6 không phải là số nguyên tố.
Ba kết quả gần đây nhất được lưu trữ trong các biến giả _, __và ___. Đối với
Ví dụ, bạn có thể lưu trữ kết quả cuối cùng trong biến x bằng lệnh

==> x: = _.
-:688_66214_58712_63971

Như bạn có thể thấy trong các ví dụ trên, aribas sử dụng dấu gạch dưới _ để cấu trúc đầu ra
của số nguyên lớn (> = 2 ** 32). Ngoài ra, để nhập số nguyên, bạn có thể sử dụng dấu gạch dưới,
điều kiện duy nhất là ngay trước và sau dấu gạch dưới có các chữ số,
thí dụ:

==> z: = 123_4567_890.
-: 1234567890

Ở đây kết quả không chứa dấu gạch dưới, điều này cho thấy z nhỏ hơn 2 ** 32.

Aribas có một số hàm tích hợp để phân tích nhân tử, chẳng hạn rho_factorize, Mà
sử dụng thuật toán rho của Pollard.

==> rho_factorize (F6).

đang làm việc ..
hệ số được tìm thấy sau 512 lần lặp

-: 274177

Để tìm cofactor còn lại, hãy đưa ra lệnh

==> x: = F6 div _.
-:6728_04213_10721

Để kiểm tra xem yếu tố này có phải là nguyên tố hay không, thử nghiệm xác suất của Rabin rab_primetest có thể
áp dụng:

==> rab_primetest (x).
-: đúng vậy

Các chức năng rho_factorize rất tốt cho việc tìm các thừa số nhỏ (giả sử lên đến 10 số thập phân
chữ số); đối với các nhiệm vụ phân tích nhân tử phức tạp hơn, một thuật toán mạnh mẽ hơn như
sàng bậc hai qs_factorize nên được sử dụng

==> qs_factorize (2 ** 128 + 1).

(Tùy thuộc vào sức mạnh của máy tính của bạn, sẽ mất vài giây đến vài phút
để nhận được một thừa số nguyên tố của số Fermat thứ 7.)

Kiểm soát cấu trúc
Sản phẩm cho vòng lặp và trong khi vòng vào aribas có một cú pháp như trong Modula-2. Ví dụ,
chuỗi lệnh sau sẽ tính giai thừa của 100.

==> x: = 1;
cho tôi: = 2 đến 100 làm
x: = x * i;
kết thúc;
x.

Như bạn có thể thấy trong ví dụ này, đầu vào có thể kéo dài qua một vài dòng.

Trên đây cho vòng lặp tương đương như sau trong khi vòng lặp

==> x: = 1; i: = 2;
trong khi tôi <= 100 làm
x: = x * i;
inc (i);
kết thúc;
x.

Cấu trúc phân nhánh
if hữu ích. Cảm ơn ! sau đó hữu ích. Cảm ơn ! yêu tinh hữu ích. Cảm ơn ! khác hữu ích. Cảm ơn ! cuối
cũng có cú pháp tương tự như trong Modula-2.

Đa chính xác nổi điểm số học
Aribas hỗ trợ các loại số dấu phẩy động khác nhau được đại diện bên trong
với phần định trị có độ dài bit khác nhau:

single_float 32 bit
double_float 64 bit
long_float 128 bit

và một số giới hạn cao hơn cho đến giới hạn phụ thuộc vào việc triển khai, thường là 1024 hoặc
5120 bit, có thể được xác định bằng hàm max_floatprec (). Theo mặc định, khi
tính toán với các số kiểu dữ liệu thực, single_floats được sử dụng. Điều này tương ứng với một
độ chính xác từ 9 đến 10 chữ số thập phân. Độ chính xác 5120 bit tương ứng với hơn 1500
vị trí thập phân.

Độ chính xác có thể được thay đổi bằng cách sử dụng chức năng set_floatprec. Hàm có một
đối số số nguyên, là độ chính xác mong muốn tính bằng bit. Nó tự động được làm tròn thành
giá trị có sẵn cao hơn tiếp theo. Ví dụ, sau khi

==> set_floatprec(100).
-: 128

độ chính xác dấu phẩy động là 128 bit và bạn có thể tính toán

==> arctan (câu hỏi(3)).
-: 1.04719_75511_96597_74615_42144_61093_16762_8

==> _ / pi.
-: 0.33333_33333_33333_33333_33333_33333_33333_33

người sử dang xác định chức năng
Người dùng có thể xác định các chức năng của riêng mình. Một ví dụ điển hình như

==> function fac (n: integer): integer;
là
x, i: số nguyên;
bắt đầu
x: = 1;
for i: = 2 to n do
x: = x * i;
kết thúc;
trả về x;
cuối.

Nếu bạn đã nhập đúng, aribas lặp lại tên hàm

-: mặt

và từ bây giờ bạn có thể sử dụng fac theo cách tương tự như một hàm tích hợp, ví dụ:

==> fac(32).
-: 2_63130_83693_36935_30167_21801_21600_00000

Lưu ý rằng bên trong các định nghĩa hàm, tất cả các biến được sử dụng phải được khai báo rõ ràng,
trong khi ở cấp cao nhất của aribas các biến trình thông dịch có thể được tạo đơn giản bằng cách
bài tập. Đây là một ví dụ khác, hiển thị một số kiểu dữ liệu khác được hỗ trợ bởi
aribas:

==> function sqrt_list (n: integer): mảng thực;
là
vec: array [n] of real;
i: số nguyên;
bắt đầu
for i: = 1 to n do
vec [i-1]: = sqrt (i);
kết thúc;
trả về vec;
cuối.

Hàm này trả về một mảng các căn bậc hai của các số nguyên từ 1 đến n, cho
ví dụ

==> danh sách sqrt_list(10).
-: (1.00000000, 1.41421356, 1.73205081, 2.00000000,
2.23606798, 2.44948974, 2.64575131, 2.82842712, 3.00000000,
3.16227766)

Trong một dự án lập trình lớn hơn, nơi bạn cần một số chức năng, bạn sẽ không nhập chúng
trực tiếp tại aribas nhắc nhở nhưng chuẩn bị các định nghĩa hàm với một văn bản bên ngoài
trình chỉnh sửa và lưu chúng trong một tệp có phần mở rộng .ari , Ví dụ abcd.ari . Tập tin này
sau đó có thể được tải bởi aribas sử dụng lệnh

==> tải ("abcd").

Nếu có lỗi cú pháp trong tệp, bạn sẽ nhận được thông báo lỗi của biểu mẫu

lỗi ở dòng <= 23 của tệp đã tải
nếu: kết thúc dự kiến

điều này cho bạn biết (trong ví dụ này) rằng có lỗi trong if xây dựng ở dòng 23 hoặc
trước đó trong tệp. (Lưu ý rằng các thông báo lỗi đôi khi không chính xác lắm.) Bạn
sau đó có thể sửa lỗi và tải lại tệp.

Trên mạng giúp đỡ
Lệnh

==> ký hiệu (aribas).

trả về danh sách tất cả các từ khóa và tên của các hàm nội trang của aribas. Danh sách này có
khoảng 200 mục nhập, bắt đầu và kết thúc như sau:

(ARGV, _, __, ___, abs, cert và, arccos, arcsin, arctan, arctan2, aribas, array, atof,
atoi, begin, binary, bit_and, bit_clear, bit_length, ......, tolower, toupper,
bảng điểm, đúng, cắt, loại, người dùng, var, phiên bản, trong khi, viết, write_block, write_byte,
ghiln)

Đối với hầu hết các ký hiệu trong danh sách này, bạn có thể nhận được trợ giúp trực tuyến ngắn bằng cách sử dụng hàm
Cứu giúp(). Ví dụ, lệnh

==> trợ giúp (ARGV).

cung cấp thông tin về biến nội trang ARGV, trong khi

==> trợ giúp (trong khi).

mô tả cú pháp của trong khi vòng. Nếu bạn cần thêm thông tin
trong phần trợ giúp trực tuyến, hãy tham khảo tài liệu có thể tìm thấy trong / usr / share / doc / aribas.

Độ đáng tin của đến ra
Để kết thúc một aribas phiên, loại ra tại aribas nhanh chóng

==> thoát

và sau đó nhấn phím RETURN (ENTER).

Nếu bạn không muốn rời đi aribas, nhưng muốn thoát ra khỏi vòng lặp vô hạn hoặc
tính toán kéo dài quá lâu, hãy nhập CONTROL-C (nếu bạn đang chạy aribas từ bên trong
Emacs, bạn phải nhấn CONTROL-C hai lần). Điều này sẽ (trong hầu hết các trường hợp) dừng dòng điện
tính toán và quay trở lại aribas lời nhắc.

Khi bạn không sử dụng giao diện Emacs nhưng phiên bản dòng lệnh của aribas, Bạn
đôi khi gặp trường hợp sau: Một số dòng trước đó có lỗi đánh máy,
nhưng bạn không thể quay lại dòng đó để sửa nó. Trong trường hợp này, bạn chỉ cần nhập một
Dấu chấm '.', tiếp theo là QUAY LẠI. Bạn sẽ nhận được một thông báo lỗi mà bạn có thể an toàn
bỏ qua và một lời nhắc mới ==> xuất hiện, cho phép bạn thử lại.

COMMAND ĐƯỜNG DÂY TRANH LUẬN

aribas [lựa chọn] [tệp ari> [arg1>arg2> ...]]

lựa chọn
Lựa chọn tiếp theo đã khả thi:

-q (chế độ yên tĩnh) Chặn tất cả thông báo trên màn hình (phiên bản không, thông báo bản quyền,
vv) khi nào aribas được bắt đầu

-v (chế độ tiết, mặc định) Không chặn thông báo trên màn hình khi aribas is
bắt đầu

-c
aribas dòng riêng của nó có bị đứt khi ghi vào màn hình không. Bình thường nó giả sử
rằng màn hình (hoặc cửa sổ trong đó aribas chạy) có 80 cột. Với -c
bạn có thể đặt một số khác, số này phải nằm trong khoảng từ 40 đến 160 (ở dạng thập phân
đại diện). Ví dụ, nếu bạn chạy aribas trong cửa sổ Xterm với 72
, sử dụng tùy chọn -c72 (hoặc -c 72, khoảng cách giữa -c và số là
không bắt buộc).

-m
Nơi đây là một số (ở dạng biểu diễn thập phân) từ 500 đến 32000. Đây
số cho biết có bao nhiêu Kilobyte RAM aribas nên sử dụng cho aribas đống.
Giá trị mặc định phụ thuộc vào các tùy chọn được sử dụng khi aribas đã được biên dịch. Tiêu biểu,
dưới UNIX hoặc LINUX nó là 6 Megabyte, tương ứng với -m6000

-h of giúp đỡ tập tin>
Sự trợ giúp trực tuyến của aribas phụ thuộc vào tệp aribas.hlp sẽ nằm trong
phạm vi của biến môi trường PATH. Nếu đây không phải là trường hợp bạn có thể chỉ định
đường dẫn chính xác của tệp trợ giúp với tùy chọn -h. Nếu ví dụ tệp
aribas.hlp có trong thư mục / Usr / local / lib, sử dụng tùy chọn -h / Usr / local / lib
(khoảng trống sau -h là không cần thiết). Tùy chọn -h cũng có thể được sử dụng nếu trợ giúp
tệp có tên khác. Nếu tệp trợ giúp được đặt tên là help-aribas và nằm trong
thư mục / home / joe / ari, sử dụng -h / home / joe / ari / help-aribas.

Với một gói Debian được cài đặt đúng cách của aribas nó không cần thiết phải
sử dụng tùy chọn này.

-p
Với tùy chọn này, bạn có thể chỉ định đường dẫn tìm kiếm để tải tệp bằng aribas nguồn
mã số. có thể là tên đường dẫn (tuyệt đối) của một thư mục hoặc
một số tên đường dẫn được phân tách bằng dấu hai chấm. Giả sử rằng bạn đã gọi aribas với
tùy chọn

-p / usr / local / lib / aribas:~ / ari / ví dụ

và thư mục chính của bạn là / home / alice /. Sau đó, lệnh

==> tải ("hệ số").

sẽ tìm kiếm tệp factor.ari trước tiên trong thư mục hiện tại, sau đó trong
thư mục / usr / local / lib / aribas và cuối cùng là trong / home / alice / ari /amples.

-b Chế độ hàng loạt khi tải một aribas tệp mã nguồn từ dòng lệnh, xem
phía dưới.

Ví dụ: các tùy chọn một chữ cái không yêu cầu đối số có thể được hợp nhất

Aribas -q -b

tương đương với

Aribas -qb

Xa hơn lệnh hàng đối số

Đối số dòng lệnh tiếp theo sau các tùy chọn được hiểu là tên của
nộp hồ sơ với aribas mã nguồn. Nếu tên tệp có phần mở rộng .ari, điều này
phần mở rộng có thể bị bỏ qua. Tệp được tải như thể lệnh trọng tải(" ")
đã được đưa ra sau khi bắt đầu aribas tại aribas lời nhắc. Nếu tệp không
tìm thấy trong thư mục hiện tại, nó được tìm kiếm trong các thư mục được chỉ định bởi
-p tùy chọn. Nếu tùy chọn -b được đưa ra, tệp sẽ được tải và thực thi.
Sau đó aribas thoát ra mà không hiển thị lời nhắc của nó. Nếu tệp không thể tải được
hoàn toàn do lỗi, aribas thoát ngay sau thông báo lỗi.

hữu ích. Cảm ơn !
Khi các đối số dòng lệnh tiếp theo , chúng được thu thập (như
chuỗi) cùng với trong vector ARGV có thể được truy cập từ
ở trong aribas. Ví dụ: Nếu bạn gọi aribas với dòng lệnh

khởi động aribas 4536 eisenstein

và thư mục hiện tại chứa tệp startup.ari, sau đó aribas tải nó và
vectơ ARGV có hình thức

==> ARGV.
-: ("khởi động", "4536", "eisenstein")

Nếu bạn cần một số đối số dưới dạng số chứ không phải dưới dạng chuỗi, bạn có thể biến đổi chúng bằng cách
của bạn (Hoặc trên mái nhà); trong ví dụ của chúng tôi

==> x: = atoi (ARGV [1]).
-: 4536

sẽ làm điều đó. Chiều dài của vectơ ARGV có thể được xác định bởi chiều dài (ARGV).

ĐANG CHẠY ARIBA TRONG EMACS

Bạn có thể chạy aribas từ bên trong Emacs bằng cách đưa ra lệnh (trong bộ đệm nhỏ của Emacs)

Mx run-aribas

(Nếu bạn không có khóa META, hãy sử dụng ESC x thay vì Mx) Sau đó aribas sẽ được tải vào
một cửa sổ Emacs với tên * aribas * và bạn có thể chỉnh sửa thông tin đầu vào của mình thành aribas với những điều bình thường
Các lệnh của Emacs.

Nếu đầu vào của bạn kết thúc bằng dấu chấm hết '.' và bạn nhấn RETURN, nó sẽ được gửi đến aribas. Nếu
tuy nhiên, thông tin đầu vào hoàn chỉnh của bạn không kết thúc bằng một điểm dừng hoàn toàn, (ví dụ: để phản hồi
đã đọc), đầu vào được gửi đến aribas bằng Cj (Control-j) hoặc Cc RETURN.

Nếu bạn muốn lặp lại một đầu vào trước đó, Mp (hoặc ESC p) sẽ quay ngược lại thông qua đầu vào
lịch sử, và Mn (hoặc ESC n) chu kỳ về phía trước.

Một Control-C được gửi đến aribas bằng Cc Cc (nhấn Cc hai lần).

Nó cũng có thể bắt đầu aribas từ Emacs với các đối số dòng lệnh. Đối với điều này
mục đích của lệnh

Cu Mx run-aribas

phải được đưa ra. Sau đó, một lời nhắc

run-aribas: aribas

xuất hiện trong Bộ đệm nhỏ của Emacs và bạn có thể hoàn thành dòng lệnh, chẳng hạn

run-aribas: khởi động aribas 4536 eisenstein

(xem ở trên).

CẤU HÌNH FILE

Các tùy chọn để chạy aribas cũng có thể được chỉ định bằng cách sử dụng tệp cấu hình có tên
.arirc. Aribas tìm kiếm tệp cấu hình theo thứ tự sau:

1) thư mục hiện tại
2) thư mục chính của người dùng

Có khả năng thứ ba: Bạn có thể xác định một biến môi trường ARIRC chứa
tên của tệp cấu hình (có thể khác với .arirc), bao gồm đầy đủ
con đường.

Trong tệp cấu hình, bạn có thể chỉ định tất cả các tùy chọn dòng lệnh được mô tả ở trên
bắt đầu bằng dấu -, tuy nhiên phải sử dụng một dòng riêng cho mọi tùy chọn. Dòng
bắt đầu bằng ký tự # hoặc các dòng trống sẽ bị bỏ qua. Ngoài các tùy chọn
được mô tả ở trên, tệp cấu hình có thể chứa aribas mã nguồn. Vì mục đích này
phải có một dòng đọc

-trong đó

Sau đó, mọi thứ sau dòng này được coi là aribas mã nguồn và được thực thi khi aribas
được bắt đầu.

Sự tồn tại của một tệp cấu hình cho aribas không loại trừ khả năng cho
đối số dòng lệnh. Nếu một tùy chọn (ví dụ: tùy chọn -m) được chỉ định cả trong
tệp cấu hình và dòng lệnh nhưng có các giá trị khác nhau, thì thông số kỹ thuật
tại dòng lệnh là hợp lệ. Tương tự, tùy chọn a -v trên dòng lệnh sẽ ghi đè lên a -q
trong tệp cấu hình. Nếu có mã -init trong tệp cấu hình và
đối số tại dòng lệnh, sau đó mã -init được thực thi đầu tiên và
sau đó được tải và mã của nó được thực thi.

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