aribas - Dalam talian di Awan

JADUAL:

NAMA

aribas - Jurubahasa Aritmetik Berbilang Ketepatan

SINOPSIS

aribas [pilihan] [ari-fail> [arg1>arg2> ...]]

Halaman manual ini ditulis untuk Debian kerana perisian asal tidak mengandungi lelaki
.

DESCRIPTION

Aribas ialah penterjemah interaktif yang sesuai untuk aritmetik integer besar dan
aritmetik titik terapung berbilang ketepatan. Ia mempunyai sintaks yang serupa dengan Pascal atau Modula-2,
tetapi mengandungi juga ciri dari bahasa pengaturcaraan lain seperti C, Lisp, Oberon.

PENGGUNAAN

Cara paling mudah untuk digunakan aribas adalah sebagai kalkulator untuk aritmetik (integer besar). Selepas
aribas dimulakan, ia memaparkan gesaan ==> dan sedia menerima input. Cukup masukkan
ungkapan yang anda ingin kira, diikuti dengan noktah, dan kemudian tekan RETURN, untuk
contoh

==> 123 + 456*789.

Aribas jawapan

-: 359907

Simbol -: memperkenalkan hasilnya.
PENTING. Untuk menandakan berakhirnya input anda, anda mesti sentiasa menaip noktah '.' dan kemudian
tekan RETURN.

Anda boleh menetapkan hasil pengiraan kepada pembolehubah, seperti dalam

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

Ini mengira nombor Fermat ke-6 (** menandakan eksponen) dan memberikannya kepada
berubah-ubah F6 (perhatikan bahawa aribas adalah sensitif huruf besar-besaran, jadi ini tidak sama dengan f6). Nanti
anda boleh menggunakan pembolehubah ini sebagai contoh dalam ungkapan

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

yang menunjukkan (dengan teorem Fermat) bahawa F6 bukan nombor perdana.
Tiga keputusan terkini disimpan dalam pembolehubah pseudo _, __, dan ___. Untuk
contoh anda boleh menyimpan hasil terakhir dalam pembolehubah x dengan arahan

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

Seperti yang anda lihat dalam contoh di atas, aribas menggunakan garis bawah _ untuk menstrukturkan output
daripada integer besar (>= 2**32). Juga untuk input integer anda boleh menggunakan garis bawah, the
cuma syaratnya ialah sejurus sebelum dan selepas garis bawah terdapat digit,
contoh:

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

Di sini output tidak mengandungi garis bawah, yang menunjukkan bahawa z kurang daripada 2**32.

Aribas mempunyai beberapa fungsi terbina dalam untuk pemfaktoran, contohnya rho_factorize, Yang
menggunakan algoritma rho Pollard.

==> rho_factorize(F6).

bekerja..
faktor ditemui selepas 512 lelaran

-: 274177

Untuk mencari kofaktor yang tinggal, berikan arahan

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

Untuk menguji sama ada faktor ini adalah perdana, ujian kebarangkalian Rabin rab_primetest boleh
digunakan:

==> rab_primetest(x).
-: benar

Majlis tersebut rho_factorize adalah baik untuk mencari faktor kecil (katakan sehingga 10 perpuluhan
digit); untuk tugas pemfaktoran yang lebih rumit, algoritma yang lebih berkuasa seperti
penapis kuadratik qs_faktorkan sepatutnya digunakan

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

(Bergantung pada kuasa komputer anda, ia akan mengambil masa beberapa saat hingga beberapa minit
untuk mendapatkan faktor perdana bagi nombor Fermat ke-7.)

Mengawal struktur
. Untuk gelung dan manakala gelung masuk aribas mempunyai sintaks seperti dalam Modula-2. Sebagai contoh, yang
turutan arahan berikut mengira faktorial 100.

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

Seperti yang anda lihat dalam contoh ini, input mungkin meluas ke beberapa baris.

Di atas Untuk gelung adalah bersamaan dengan yang berikut manakala gelung

==> x := 1; i := 2;
manakala saya <= 100 lakukan
x := x*i;
inc(i);
akhir;
x.

Konstruk bercabang
if ... kemudian ... elsif ... lagi ... akhir
juga mempunyai sintaks yang sama seperti dalam Modula-2.

Ketepatan berbilang terapung titik aritmetik
Aribas menyokong pelbagai jenis nombor titik terapung yang diwakili secara dalaman
dengan mantissas dengan panjang bit yang berbeza:

single_float 32 bit
double_float 64 bit
long_float 128 bit

dan beberapa ketepatan yang lebih tinggi sehingga had bergantung kepada pelaksanaan, biasanya 1024 atau
5120 bit, yang boleh ditentukan oleh fungsi max_floatprec(). Secara lalai, bila
mengira dengan nombor jenis data sebenar, single_floats digunakan. Ini sepadan dengan a
ketepatan 9 hingga 10 tempat perpuluhan. Ketepatan 5120 bit sepadan dengan lebih 1500
tempat perpuluhan.

Ketepatan boleh diubah menggunakan fungsi set_floatprec. Fungsi mengambil satu
hujah integer, iaitu ketepatan yang dikehendaki dalam bit. Ia secara automatik dibundarkan kepada
nilai tersedia yang lebih tinggi seterusnya. Contohnya, selepas

==> set_floatprec(100).
-: 128

ketepatan titik terapung ialah 128 bit dan anda boleh mengira

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

==> _/pi.
-: 0.33333_33333_33333_33333_33333_33333_33333_33

pengguna ditakrifkan fungsi
Pengguna boleh menentukan fungsinya sendiri. Contoh biasa kelihatan seperti

==> fungsi fac(n: integer): integer;
var
x,i: integer;
memulakan
x:= 1;
untuk i := 2 hingga n lakukan
x := x*i;
akhir;
pulangkan x;
akhir.

Jika anda telah memasukkan ini dengan betul, aribas menggemakan nama fungsi

-: muka

dan mulai sekarang anda boleh gunakan fac dengan cara yang sama seperti fungsi terbina dalam, cth

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

Ambil perhatian bahawa dalam definisi fungsi semua pembolehubah yang digunakan mesti diisytiharkan secara eksplisit,
sedangkan di peringkat atas aribas pembolehubah penterjemah boleh dibuat dengan mudah oleh
tugasan. Berikut ialah contoh lain, yang menunjukkan beberapa jenis data lain yang disokong oleh
aribas:

==> fungsi sqrt_list(n: integer): tatasusunan sebenar;
var
vec: tatasusunan[n] sebenar;
i: integer;
memulakan
untuk i := 1 hingga n lakukan
vec[i-1] := sqrt(i);
akhir;
kembalikan vec;
akhir.

Fungsi ini mengembalikan tatasusunan punca kuasa dua integer daripada 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 projek pengaturcaraan yang lebih besar di mana anda memerlukan beberapa fungsi, anda tidak akan memasukkannya
secara langsung di aribas segera tetapi sediakan definisi fungsi dengan teks luaran
editor dan simpannya dalam fail dengan sambungan .ari , Sebagai contoh abcd.ari . Fail ini
kemudian boleh dimuatkan oleh aribas menggunakan arahan

==> beban("abcd").

Jika terdapat ralat sintaks dalam fail, anda mendapat mesej ralat borang

ralat dalam baris <= 23 fail yang dimuatkan
jika: akhir dijangka

yang memberitahu anda (dalam contoh ini) bahawa terdapat ralat dalam if bina dalam baris 23 atau
lebih awal dalam fail. (Perhatikan bahawa mesej ralat kadangkala tidak begitu tepat.) Anda
kemudian boleh membetulkan ralat dan memuatkan fail sekali lagi.

Talian membantu
Perintah itu

==> simbol(aribas).

mengembalikan senarai semua kata kunci dan nama fungsi terbina dalam aribas. Senarai ini mempunyai
kira-kira 200 penyertaan, dan bermula dan berakhir seperti berikut:

(ARGV, _, __, ___, abs, alloc, dan, arccos, arcsin, arctan, arctan2, aribas, array, atof,
atoi, mula, binari, bit_and, bit_clear, bit_length, ...... , tolower, toupper,
transkrip, benar, trunc, jenis, pengguna, var, versi, manakala, tulis, tulis_sekat, tulis_bait,
writeln)

Untuk kebanyakan simbol dalam senarai ini, anda boleh mendapatkan bantuan dalam talian singkat menggunakan fungsi tersebut
pertolongan(). Sebagai contoh, arahan

==> bantuan(ARGV).

memberikan maklumat tentang pembolehubah terbina ARGV, sementara

==> bantuan(sambil).

menerangkan sintaks bagi manakala gelung. Jika anda memerlukan lebih banyak maklumat daripada yang terkandung
dalam bantuan dalam talian, rujuk dokumentasi yang boleh didapati dalam /usr/share/doc/aribas.

Cara kepada keluar
Untuk mengakhiri sebuah aribas sesi, taip keluar pada aribas segera

==> keluar

dan kemudian tekan kekunci RETURN (ENTER).

Jika anda tidak mahu pergi aribas, tetapi ingin keluar dari gelung tak terhingga atau a
pengiraan yang berlangsung terlalu lama, taip CONTROL-C (jika anda menjalankan aribas dari dalam
Emacs, anda mesti menekan CONTROL-C dua kali). Ini akan (dalam kebanyakan kes) menghentikan arus
pengiraan dan kembali ke aribas segera.

Apabila anda tidak menggunakan antara muka Emacs tetapi versi baris arahan aribas, Anda
kadangkala masuk ke dalam situasi berikut: Beberapa baris sebelumnya mengandungi ralat menaip,
tetapi anda tidak boleh kembali ke baris itu untuk membetulkannya. Dalam kes ini anda hanya perlu menaip a
noktah '.' , diikuti dengan RETURN. Anda akan mendapat mesej ralat yang anda boleh dengan selamat
abaikan, dan gesaan baharu ==> muncul, membolehkan anda mencuba lagi.

COMMAND LINE HUJAH

aribas [pilihan] [ari-fail> [arg1>arg2> ...]]

pilihan
Pilihan berikut ada:

-q (mod senyap) Menahan semua mesej ke skrin (no versi, notis hak cipta,
dll) apabila aribas dimulakan

-v (mod verbose, lalai) Tidak menyekat mesej ke skrin apabila aribas is
bermula.

-c
aribas adakah barisnya terputus apabila menulis ke skrin. Biasanya ia andaikan
bahawa skrin (atau tetingkap di mana aribas runs) mempunyai 80 lajur. Dengan -c
pilihan anda boleh menetapkan nombor lain, yang mestilah antara 40 dan 160 (dalam perpuluhan
perwakilan). Sebagai contoh, jika anda berlari aribas dalam tetingkap Xterm dengan 72
lajur, gunakan pilihan -c72 (atau -c 72, ruang antara -c dan nombor ialah
pilihan).

-m
Di sini ialah nombor (dalam perwakilan perpuluhan) antara 500 dan 32000. Ini
nombor menunjukkan berapa Kilobait RAM aribas harus digunakan untuk aribas timbunan.
Nilai lalai bergantung pada pilihan yang digunakan apabila aribas telah disusun. lazimnya,
di bawah UNIX atau LINUX ia adalah 6 Megabait, sepadan dengan -m6000

-h <laluan of membantu fail>
Bantuan dalam talian daripada aribas bergantung pada fail aribas.hlp yang sepatutnya terletak di
julat PATH pembolehubah persekitaran. Jika ini tidak berlaku, anda boleh nyatakan
laluan tepat fail bantuan dengan pilihan -h. Jika contohnya fail
aribas.hlp ada dalam direktori / Local / lib / usr, gunakan pilihan -h / Local / lib / usr
(ruang selepas -h tidak diperlukan). Pilihan -h juga boleh digunakan jika bantuan
fail mempunyai nama yang berbeza. Jika fail bantuan dinamakan help-aribas dan terletak di
direktori /home/joe/ari, gunakan -h/home/joe/ari/help-aribas.

Dengan pakej Debian yang dipasang dengan betul aribas sepatutnya tidak perlu
gunakan pilihan ini.

-p
Dengan pilihan ini anda boleh menentukan laluan carian untuk memuatkan fail dengan aribas sumber
kod. mungkin sama ada nama laluan (mutlak) satu direktori atau
beberapa nama laluan dipisahkan oleh titik bertindih. Katakan bahawa anda telah menelefon aribas bersama
pilihannya

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

dan bahawa direktori rumah anda ialah /home/alice/. Kemudian perintah

==> beban("faktor").

akan mencari fail factor.ari dahulu dalam direktori semasa, kemudian dalam
direktori /usr/local/lib/aribas dan akhirnya dalam /home/alice/ari/examples.

-b Mod kelompok semasa memuatkan aribas fail kod sumber daripada baris arahan, lihat
di bawah.

Satu pilihan huruf yang tidak memerlukan hujah boleh digabungkan, sebagai contoh

aribas -q -b

adalah bersamaan dengan

aribas -qb

Lanjut arahan selaras hujah

Argumen baris arahan seterusnya selepas pilihan ditafsirkan sebagai nama a
fail dengan aribas kod sumber. Jika nama fail mempunyai sambungan .ari, ini
sambungan boleh ditinggalkan. Fail dimuatkan seolah-olah arahan beban (" ")
telah diberikan selepas permulaan aribas pada aribas segera. Jika fail itu tidak
ditemui dalam direktori semasa ia dicari dalam direktori yang ditentukan oleh
-p pilihan. Jika pilihan -b diberikan, fail tersebut dimuatkan dan dilaksanakan.
Selepas itu aribas keluar tanpa menunjukkan ia segera. Jika fail tidak boleh dimuatkan
sepenuhnya kerana kesilapan, aribas keluar serta-merta selepas mesej ralat.

...
Apabila hujah baris arahan selanjutnya mengikuti , mereka dikumpulkan (sebagai
rentetan) bersama-sama dengan dalam vektor ARGV yang boleh diakses dari
dalam aribas. Contoh: Jika anda menelefon aribas dengan baris arahan

permulaan aribas 4536 eisenstein

dan direktori semasa mengandungi fail startup.ari, kemudian aribas memuatkannya dan
vektor itu ARGV mempunyai bentuk

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

Jika anda memerlukan beberapa hujah sebagai nombor dan bukan sebagai rentetan, anda boleh mengubahnya dengan
milik anda (Atau atof); dalam contoh kita

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

akan buat. Panjang vektor ARGV boleh ditentukan oleh panjang(ARGV).

BERGUNA ARIBAS DALAM EMACS

Anda boleh lari aribas dari dalam Emacs dengan memberikan arahan (dalam minibuffer Emacs)

Mx run-aribas

(Jika anda tidak mempunyai kunci META, gunakan ESC x dan bukannya Mx) Kemudian aribas akan dimuatkan ke dalam
tetingkap Emacs dengan nama *aribas* dan anda boleh mengedit input anda ke aribas dengan yang biasa
arahan Emacs.

Jika input anda berakhir dengan noktah '.' dan anda tekan RETURN, ia dihantar ke aribas. Jika
walau bagaimanapun input lengkap anda tidak berakhir dengan noktah, (contohnya sebagai tindak balas kepada a
bacaln), input dihantar ke aribas oleh Cj (Kawalan-j) atau Cc RETURN.

Jika anda ingin mengulang input sebelumnya, Mp (atau ESC p) berkitar ke belakang melalui input
sejarah, dan Mn (atau ESC n) kitaran ke hadapan.

Kawalan-C dihantar ke aribas dengan Cc Cc (tekan Cc dua kali).

Ia juga boleh dimulakan aribas daripada Emacs dengan hujah baris arahan. Untuk ini
tujuan perintah itu

Cu Mx run-aribas

perlu diberi. Kemudian gesaan

run-aribas: aribas

muncul dalam Minibuffer Emacs dan anda boleh melengkapkan baris arahan, sebagai contoh

run-aribas: aribas startup 4536 eisenstein

(lihat di atas).

CONFIGURATION FAIL

Pilihan untuk berlari aribas boleh ditentukan juga menggunakan fail konfigurasi dengan nama
.arirc. Aribas mencari fail konfigurasi dalam susunan berikut:

1) direktori semasa
2) direktori rumah pengguna

Terdapat kemungkinan ketiga: Anda boleh menentukan pembolehubah persekitaran ARIRC mengandungi
nama fail konfigurasi (yang mungkin berbeza daripada .arirc), termasuk yang penuh
laluan.

Dalam fail konfigurasi anda boleh menentukan semua pilihan baris arahan yang diterangkan di atas
bermula dengan tanda -, walau bagaimanapun garisan berasingan mesti digunakan untuk setiap pilihan. Garisan
bermula dengan aksara # atau baris kosong diabaikan. Sebagai tambahan kepada pilihan
yang diterangkan di atas, fail konfigurasi mungkin mengandungi aribas kod sumber. Untuk tujuan ini
mesti ada bacaan baris

-di dalamnya

Kemudian segala-galanya selepas baris ini dianggap sebagai aribas kod sumber dan dilaksanakan apabila aribas
dimulakan.

Kewujudan fail konfigurasi untuk aribas tidak mengecualikan kemungkinan untuk memberi
hujah baris arahan. Jika pilihan (cth pilihan -m) dinyatakan kedua-duanya dalam
fail konfigurasi dan baris arahan tetapi dengan nilai yang berbeza, kemudian spesifikasi
pada baris arahan adalah sah. Secara analog, pilihan a -v pada baris arahan mengatasi a -q
pilihan dalam fail konfigurasi. Jika terdapat kod -init dalam fail konfigurasi dan an
hujah pada baris arahan, maka kod -init dilaksanakan terlebih dahulu dan
selepas itu dimuatkan dan kodnya dilaksanakan.

Gunakan aribas dalam talian menggunakan perkhidmatan onworks.net