aribas - Daring di Awan

PROGRAM:

NAMA

aribas - Penerjemah Aritmatika Multipresisi

RINGKASAN

aribas [Pilihan] [ari-file> [argumen1>argumen2> ...]]

Halaman manual ini ditulis untuk Debian karena perangkat lunak asli tidak mengandung man
.

DESKRIPSI

Aribas adalah juru bahasa interaktif yang cocok untuk aritmatika bilangan bulat besar dan
aritmatika floating point multipresisi. Ini memiliki sintaks yang mirip dengan Pascal atau Modula-2,
tetapi berisi juga fitur dari bahasa pemrograman lain seperti C, Lisp, Oberon.

PENGGUNAAN

Cara paling sederhana untuk digunakan aribas adalah sebagai kalkulator untuk (bilangan bulat besar) aritmatika. Setelah
aribas dimulai, ini akan menampilkan prompt ==> dan siap menerima masukan. Cukup masukkan
ekspresi yang ingin Anda hitung, diikuti dengan titik, lalu tekan RETURN, untuk
contoh

==> 123 + 456*789.

Aribas jawaban

-: 359907

Simbol -: memperkenalkan hasilnya.
PENTING. Untuk menandai akhir masukan Anda, Anda harus selalu mengetikkan titik '.' lalu
tekan KEMBALI.

Anda dapat menetapkan hasil perhitungan ke variabel, seperti pada

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

Ini menghitung nomor Fermat ke-6 (** menunjukkan eksponensial) dan menetapkannya ke
variabel F6 (perhatikan itu aribas peka huruf besar/kecil, jadi ini tidak sama dengan f6). Nanti
anda dapat menggunakan variabel ini misalnya dalam ekspresi

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

yang menunjukkan (menurut teorema Fermat) bahwa F6 bukan bilangan prima.
Tiga hasil terbaru disimpan dalam variabel semu _, __, dan ___. Forum
contoh Anda dapat menyimpan hasil terakhir dalam variabel x dengan perintah

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

Seperti yang Anda lihat pada contoh di atas, aribas menggunakan garis bawah _ untuk menyusun output
bilangan bulat besar (>= 2**32). Juga untuk input bilangan bulat Anda dapat menggunakan garis bawah, the
satu-satunya syarat adalah bahwa sebelum dan sesudah garis bawah ada angka,
contoh:

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

Di sini output tidak mengandung garis bawah, yang menunjukkan bahwa z kurang dari 2**32.

Aribas memiliki beberapa fungsi bawaan untuk faktorisasi, misalnya rho_faktorisasi, yang
menggunakan algoritma rho Pollard.

==> rho_factorize (F6).

bekerja ..
faktor yang ditemukan setelah 512 iterasi

-: 274177

Untuk menemukan kofaktor yang tersisa, berikan perintah

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

Untuk menguji apakah faktor ini prima, uji probabilistik Rabin rab_primetest dapat
terapan:

==> rab_primetest(x).
-: benar

Fungsi rho_faktorisasi bagus untuk menemukan faktor kecil (misalnya hingga 10 desimal
angka); untuk tugas faktorisasi yang lebih rumit, algoritma yang lebih kuat seperti
saringan kuadrat qs_faktorkan seharusnya digunakan

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

(Tergantung pada kekuatan komputer Anda, ini akan memakan waktu beberapa detik hingga beberapa menit
untuk mendapatkan faktor prima dari bilangan Fermat ke-7.)

kontrol struktur
Grafik untuk lingkaran dan sementara lingkaran dalam aribas memiliki sintaks seperti pada Modula-2. Misalnya,
urutan perintah berikut menghitung faktorial dari 100.

=>>x := 1;
untuk i: = 2 hingga 100 lakukan
x := x*saya;
akhir;
x.

Seperti yang Anda lihat dalam contoh ini, input dapat meluas ke beberapa baris.

Atas untuk loop setara dengan yang berikut: sementara lingkaran

=>>x := 1; saya := 2;
sedangkan i <= 100 do
x := x*saya;
termasuk(i);
akhir;
x.

Konstruksi percabangan
if ... kemudian ... elif ... lain ... akhir
juga memiliki sintaks yang sama seperti di Modula-2.

Multipresisi mengambang titik hitung
Aribas mendukung berbagai jenis angka floating point yang diwakili secara internal
dengan mantissa dengan panjang bit yang berbeda:

single_float 32 bit
double_float 64 bit
long_float 128 bit

dan beberapa presisi yang lebih tinggi hingga batas yang bergantung pada implementasi, biasanya 1024 atau
5120 bit, yang dapat ditentukan oleh fungsi max_floatprec(). Secara default, ketika
menghitung dengan nomor tipe data nyata, single_floats digunakan. Ini sesuai dengan
presisi 9 sampai 10 tempat desimal. Presisi 5120 bit sesuai dengan lebih dari 1500
tempat desimal.

Presisi dapat diubah menggunakan fungsi set_floatprec. Fungsi mengambil satu
argumen integer, yang merupakan presisi yang diinginkan dalam bit. Secara otomatis dibulatkan menjadi
nilai yang tersedia lebih tinggi berikutnya. Misalnya, setelah

==> set_floatprec(100).
-: 128

presisi floating point adalah 128 bit dan Anda dapat menghitung

==> arctan(persegi(3)).
-: 1.04719_75511_96597_74615_42144_61093_16762_8

==> _/pi.
-: 0.33333_33333_33333_33333_33333_33333_33333_33

Pengguna didefinisikan fungsi
Pengguna dapat menentukan fungsinya sendiri. Contoh tipikal terlihat seperti

==> fungsi fac(n: integer): integer;
adalah
x,i: bilangan bulat;
mulai
x := 1;
untuk i := 2 sampai n do
x := x*saya;
akhir;
kembali x;
akhir.

Jika Anda telah memasukkan ini dengan benar, aribas menggemakan nama fungsi

-: wajah

dan mulai sekarang Anda dapat menggunakan fac dengan cara yang sama seperti fungsi bawaan, mis

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

Perhatikan bahwa di dalam definisi fungsi semua variabel yang digunakan harus dideklarasikan secara eksplisit,
sedangkan di tingkat atas aribas variabel interpreter dapat dengan mudah dibuat oleh
tugas. Berikut adalah contoh lain, yang menunjukkan beberapa tipe data lain yang didukung oleh
aribas:

==> function sqrt_list(n: integer): array real;
adalah
vec: array[n] nyata;
i: integer;
mulai
untuk i := 1 sampai n do
vec[i-1] := kuadrat(i);
akhir;
kembali vec;
akhir.

Fungsi ini mengembalikan larik akar kuadrat bilangan bulat dari 1 hingga n, untuk
contoh

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

Dalam proyek pemrograman yang lebih besar di mana Anda memerlukan beberapa fungsi, Anda tidak akan memasukkannya
langsung di aribas prompt tetapi siapkan definisi fungsi dengan teks eksternal
editor dan simpan dalam file dengan ekstensi .ari , sebagai contoh abcd.ari . File ini
kemudian dapat dimuat oleh aribas menggunakan perintah

==> memuat("abcd").

Jika ada kesalahan sintaks dalam file, Anda mendapatkan pesan kesalahan formulir

kesalahan dalam baris <= 23 file yang dimuat
jika: akhir yang diharapkan

yang memberi tahu Anda (dalam contoh ini) bahwa ada kesalahan dalam if membangun di baris 23 atau
sebelumnya dalam file. (Perhatikan bahwa pesan kesalahan terkadang tidak terlalu tepat.) Anda
kemudian dapat memperbaiki kesalahan dan memuat file lagi.

On line membantu
Perintah

==> simbol (aribas).

mengembalikan daftar semua kata kunci dan nama fungsi bawaan dari aribas. Daftar ini memiliki
sekitar 200 entri, dan dimulai dan diakhiri sebagai berikut:

(ARGV, _, __, ___, abs, alloc, dan, arccos, arcsin, arctan, arctan2, aribas, array, atof,
atoi, awal, biner, bit_and, bit_clear, bit_length, ...... , tolower, toupper,
transkrip, true, trunc, ketik, pengguna, var, versi, sementara, tulis, write_block, write_byte,
tulis)

Untuk sebagian besar simbol dalam daftar ini, Anda bisa mendapatkan bantuan online singkat menggunakan fungsi
Tolong(). Misalnya perintah

==> bantuan (ARGV).

memberikan informasi tentang variabel bawaan ARGV, sedangkan

==> bantuan (sementara).

menjelaskan sintaks dari sementara lingkaran. Jika Anda membutuhkan lebih banyak informasi daripada yang terkandung
dalam bantuan online, lihat dokumentasi yang dapat ditemukan di /usr/share/doc/aribas.

Seterpercayaapakah Olymp Trade? Kesimpulan untuk keluar
Untuk mengakhiri aribas sesi, ketik keluar di aribas cepat

==> keluar

lalu tekan tombol RETURN (ENTER).

Jika kamu tidak ingin pergi aribas, tetapi ingin keluar dari infinite loop atau a
perhitungan yang berlangsung terlalu lama, ketik CONTROL-C (jika Anda menjalankan aribas dari dalam
Emacs, Anda harus menekan CONTROL-C dua kali). Ini akan (dalam banyak kasus) menghentikan arus
perhitungan dan kembali ke aribas cepat.

Saat Anda tidak menggunakan antarmuka Emacs tetapi versi baris perintah dari aribas, Anda
terkadang masuk ke situasi berikut: Beberapa baris sebelumnya mengandung kesalahan pengetikan,
tetapi Anda tidak dapat kembali ke baris itu untuk memperbaikinya. Dalam hal ini Anda cukup mengetik a
titik '.' , diikuti oleh KEMBALI. Anda akan mendapatkan pesan kesalahan yang Anda dapat dengan aman
abaikan, dan prompt baru ==> muncul, memungkinkan Anda untuk mencoba lagi.

COMMAND GARIS ARGUMEN

aribas [Pilihan] [ari-file> [argumen1>argumen2> ...]]

Pilihan
Opsi berikut tersedia:

-q (mode diam) Menekan semua pesan ke layar (no versi, pemberitahuan hak cipta,
dll.) ketika aribas dimulai

-v (mode verbose, default) Tidak menekan pesan ke layar saat aribas is
mulai.

-c
aribas melakukan pemutusan garis sendiri saat menulis ke layar. Biasanya itu mengandaikan
bahwa layar (atau jendela di mana aribas berjalan) memiliki 80 kolom. Dengan -c
pilihan Anda dapat mengatur nomor lain, yang harus antara 40 dan 160 (dalam desimal
perwakilan). Misalnya, jika Anda berlari aribas di jendela Xterm dengan 72
kolom, gunakan opsi -c72 (atau -c 72, spasi antara -c dan angkanya adalah
opsional).

-m
Di Sini adalah angka (dalam representasi desimal) antara 500 dan 32000. Ini
angka menunjukkan berapa Kilobyte RAM aribas harus digunakan untuk aribas tumpukan.
Nilai default tergantung pada opsi yang digunakan saat aribas dikompilasi. Khas,
di bawah UNIX atau LINUX itu adalah 6 Megabyte, sesuai dengan -m6000

-h <jalur of membantu berkas>
Bantuan online dari aribas tergantung pada file aribas.hlp yang seharusnya berada di
kisaran PATH variabel lingkungan. Jika ini bukan masalahnya, Anda dapat menentukan
jalur yang tepat dari file bantuan dengan opsi -h. Jika misalnya file
aribas.hlp ada di direktori / Usr / local / lib, gunakan opsi -h / Usr / local / lib
(spasi setelah -h tidak diperlukan). Opsi -h juga dapat digunakan jika bantuan
file memiliki nama yang berbeda. Jika file bantuan bernama help-aribas dan terletak di
direktori /home/joe/ari, gunakan -h/home/joe/ari/help-aribas.

Dengan paket Debian yang terinstal dengan benar dari aribas seharusnya tidak perlu
gunakan opsi ini.

-p
Dengan opsi ini Anda dapat menentukan jalur pencarian untuk memuat file dengan aribas sumber
kode. dapat berupa nama path (mutlak) dari satu direktori atau
beberapa nama path dipisahkan oleh titik dua. Misalkan Anda telah menelepon aribas dengan
pilihan

-p/usr/lokal/lib/aribas:~/ari/contoh

dan direktori home Anda adalah /home/alice/. Kemudian perintah

==> memuat("faktor").

akan mencari file factor.ari terlebih dahulu di direktori saat ini, lalu di
direktori /usr/local/lib/aribas dan terakhir di /home/alice/ari/examples.

-b Mode batch saat memuat dan aribas file kode sumber dari baris perintah, lihat
di bawah.

Opsi satu huruf yang tidak memerlukan argumen dapat digabungkan, misalnya

aribas -q -b

adalah setara dengan

aribas-qb

Lebih lanjut Command line argumen

Argumen baris perintah berikutnya setelah opsi ditafsirkan sebagai nama a
file dengan aribas Kode sumber. Jika nama file memiliki ekstensi .ari, ini
ekstensi dapat dihilangkan. File dimuat seolah-olah perintah memuat(" ")
telah diberikan setelah dimulainya aribas di aribas mengingatkan. Jika file tidak
ditemukan di direktori saat ini dicari di direktori yang ditentukan oleh
-p pilihan. Jika opsi -b diberikan, file akan dimuat dan dieksekusi.
Setelah itu aribas keluar tanpa menunjukkan promptnya. Jika file tidak dapat dimuat
sepenuhnya karena kesalahan, aribas keluar segera setelah pesan kesalahan.

...
Ketika argumen baris perintah lebih lanjut mengikuti , mereka dikumpulkan (sebagai
string) bersama-sama dengan dalam vektor ARGV yang dapat diakses dari
dalam aribas. Contoh: Jika Anda menelepon aribas dengan baris perintah

startup aribas 4536 eisenstein

dan direktori saat ini berisi file startup.ari, lalu aribas memuatnya dan
vektor ARGV memiliki bentuk

==> ARGV.
-: ("startup", "4536", "eisenstein")

Jika Anda memerlukan beberapa argumen sebagai angka dan bukan sebagai string, Anda dapat mengubahnya dengan
milikmu (Atau atof); dalam contoh kita

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

akan melakukannya. panjang vektor ARGV dapat ditentukan oleh panjang (ARGV).

RUNNING ARIBA DALAM EMACS

Anda bisa lari aribas dari dalam Emacs dengan memberikan perintah (di minibuffer Emacs)

MX run-aribas

(Jika Anda tidak memiliki kunci META, gunakan ESC x alih-alih Mx) Kemudian aribas akan dimuat ke
jendela Emacs dengan nama *aribas* dan Anda dapat mengedit masukan Anda ke aribas dengan yang biasa
perintah Emacs.

Jika masukan Anda diakhiri dengan titik '.' dan Anda menekan RETURN, itu dikirim ke aribas. Jika
namun masukan lengkap Anda tidak diakhiri dengan titik, (misalnya dalam menanggapi a
baca), masukan dikirim ke aribas oleh Cj (Kontrol-j) atau Cc RETURN.

Jika Anda ingin mengulang input sebelumnya, Mp (atau ESC p) berputar mundur melalui input
sejarah, dan Mn (atau ESC n) berputar ke depan.

Kontrol-C dikirim ke aribas oleh Cc Cc (tekan Cc dua kali).

Hal ini juga memungkinkan untuk memulai aribas dari Emacs dengan argumen baris perintah. Untuk ini
tujuan perintah

Cu Mx run-aribas

harus diberikan. Kemudian sebuah prompt

run-aribas: aribas

muncul di Minibuffer of Emacs dan Anda dapat menyelesaikan baris perintah, misalnya

run-aribas: startup aribas 4536 eisenstein

(Lihat di atas).

KONFIGURASI FILE

Pilihan untuk berlari aribas dapat ditentukan juga menggunakan file konfigurasi dengan nama
.arirc. Aribas mencari file konfigurasi dalam urutan berikut:

1) direktori saat ini
2) direktori home pengguna

Ada kemungkinan ketiga: Anda dapat mendefinisikan variabel lingkungan ARIRC yang berisi
nama file konfigurasi (yang mungkin berbeda dari .arirc), termasuk nama lengkapnya
jalan.

Dalam file konfigurasi Anda dapat menentukan semua opsi baris perintah yang dijelaskan di atas yang
dimulai dengan tanda -, namun baris terpisah harus digunakan untuk setiap opsi. Garis
dimulai dengan karakter # atau baris kosong diabaikan. Selain opsi
dijelaskan di atas, file konfigurasi mungkin berisi: aribas Kode sumber. Untuk tujuan ini
harus ada bacaan baris

-init

Maka segala sesuatu setelah baris ini diperlakukan sebagai aribas kode sumber dan dieksekusi ketika aribas
dimulai.

Adanya file konfigurasi untuk aribas tidak mengecualikan kemungkinan untuk memberi
argumen baris perintah. Jika sebuah opsi (misalnya opsi -m) ditentukan baik dalam
file konfigurasi dan baris perintah tetapi dengan nilai yang berbeda, maka spesifikasinya
di baris perintah valid. Secara analog, opsi -v pada baris perintah menimpa a -q
pilihan dalam file konfigurasi. Jika ada kode -init di file konfigurasi dan
argumen di baris perintah, maka kode -init dieksekusi terlebih dahulu dan
setelah itu dimuat dan kodenya dieksekusi.

Gunakan aribas online menggunakan layanan onworks.net