aribas - Bulutta Çevrimiçi

Program:

ADI

aribas - Çok Hassasiyetli Aritmetik Yorumlayıcı

SİNOPSİS

aribas [seçenekleri] [ari dosyası> [arg1>arg2> ...]]

Bu kılavuz sayfası, orijinal yazılım bir adam içermediğinden Debian için yazılmıştır.
gidin.

TANIM

Aribalar büyük tamsayı aritmetiği için uygun etkileşimli bir yorumlayıcıdır ve
çok duyarlıklı kayan nokta aritmetiği. Pascal veya Modula-2'ye benzer bir sözdizimine sahiptir,
ancak C, Lisp, Oberon gibi diğer programlama dillerinden de özellikler içerir.

KULLANIM

Kullanmanın en basit yolu aribas (büyük tamsayı) aritmetiği için bir hesap makinesi gibidir. Sonrasında
aribas başlatıldığında, bir istem görüntüler ==> ve girişi kabul etmeye hazırdır. basitçe girin
hesaplamak istediğiniz ifadeyi, ardından bir noktayı takip edin ve ardından GERİ DÖN düğmesine basın.
örnek

==> 123 + 456*789.

Aribalar cevaplar

-: 359907

Sembol -: sonucu tanıtır.
ÖNEMLİ. Girişinizin sonunu işaretlemek için her zaman bir nokta '.' yazmalısınız. ve daha sonra
RETURN'e basın.

Bir hesaplamanın sonucunu aşağıdaki gibi bir değişkene atayabilirsiniz.

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

Bu, 6. Fermat sayısını hesaplar (** üstelleştirmeyi belirtir) ve onu
değişken F6 (Bunu not et aribas büyük/küçük harf duyarlıdır, bu nedenle bu aynı değildir f6). Sonra
bu değişkeni örneğin ifadede kullanabilirsiniz

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

bu (Fermat'ın teoremi ile) F6'nın bir asal sayı olmadığını gösterir.
En son üç sonuç sözde değişkenlerde saklanır _, __, ve ___. Için
örneğin, son sonucu komutla x değişkeninde saklayabilirsiniz.

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

Yukarıdaki örneklerde de görebileceğiniz gibi, aribas alt çizgiyi kullanır _ çıktıyı yapılandırmak
büyük tamsayılar (>= 2**32). Ayrıca tam sayıların girişi için alt çizgiyi kullanabilirsiniz,
tek koşul, alt çizgiden hemen önce ve sonra rakamların olması,
örnek:

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

Burada çıktı, z'nin 2**32'den küçük olduğunu gösteren alt çizgi içermez.

Aribalar örneğin çarpanlara ayırma için çeşitli yerleşik işlevlere sahiptir rho_factorize, Hangi
Pollard'ın rho algoritmasını kullanır.

==> rho_factorize(F6).

Çalışma ..
512 yinelemeden sonra bulunan faktör

-: 274177

Kalan kofaktörü bulmak için komutu verin

==> x := F6 bölme _.
-: 6728_04213_10721

Bu faktörün asal olup olmadığını test etmek için Rabin'in olasılık testi rab_primetest olabilir
uygulamalı:

==> rab_primetest(x).
-: doğru

Bu fonksiyon rho_factorize küçük faktörleri bulmak için iyidir (10 ondalık sayıya kadar
rakamlar); daha karmaşık çarpanlara ayırma görevleri için aşağıdaki gibi daha güçlü bir algoritma
ikinci dereceden elek qs_factorize kullanılmalıdır

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

(Bilgisayarınızın gücüne bağlı olarak birkaç saniyeden birkaç dakikaya kadar sürebilir.
7. Fermat sayısının asal çarpanını elde etmek için.)

Control yapılar
The için döngü ve süre döngü aribas Modula-2'deki gibi bir sözdizimine sahiptir. Örneğin,
aşağıdaki komut dizisi, 100'ün faktöriyelini hesaplar.

==> x := 1;
i için: = 2 ila 100 do
x := x*i;
sonunda;
x.

Bu örnekte görebileceğiniz gibi, girdi birkaç satıra yayılabilir.

Yukarıdaki için döngü aşağıdakine eşdeğerdir süre döngü

==> x := 1; ben := 2;
iken ben <= 100 yapmak
x := x*i;
dahil(i);
sonunda;
x.

dallanma yapısı
if ... sonra ... elif ... başka ... son
ayrıca Modula-2'deki ile aynı sözdizimine sahiptir.

çoklu hassasiyet yüzer nokta aritmetik
Aribalar dahili olarak temsil edilen farklı kayan nokta sayı türlerini destekler
farklı bit uzunluğundaki mantislerle:

single_float 32 bit
double_float 64 bit
long_float 128 bit

ve uygulamaya bağlı bir sınıra kadar birkaç yüksek hassasiyet, tipik olarak 1024 veya
İşlev tarafından belirlenebilen 5120 bit max_floatprec(). Varsayılan olarak, ne zaman
veri türü sayılarıyla hesaplama gerçek, single_floats kullanılır. Bu şuna karşılık gelir:
9 ila 10 ondalık basamak hassasiyeti. 5120 bitlik bir hassasiyet 1500'ün üzerine karşılık gelir
ondalık.

Hassasiyet işlevi kullanılarak değiştirilebilir set_floatprec. fonksiyon bir tane alır
bit cinsinden istenen kesinlik olan tamsayı bağımsız değişkeni. Otomatik olarak yuvarlanır
sonraki daha yüksek kullanılabilir değer. örneğin, sonra

==> set_floatprec(100).
-: 128

kayan nokta hassasiyeti 128 bittir ve hesaplayabilirsiniz

==> arktan(sqrt(3)).
-: 1.04719_75511_96597_74615_42144_61093_16762_8

==> _/pi.
-: 0.33333_33333_33333_33333_33333_33333_33333_33

kullanıcı tanımlı fonksiyonlar
Kullanıcı kendi fonksiyonlarını tanımlayabilir. Tipik bir örnek benziyor

==> işlev fac(n: tamsayı): tamsayı;
var
x,i: tam sayı;
başlamak
x := 1;
i için := 2 n yapmak
x := x*i;
sonunda;
dönüş x;
sonu.

Bunu doğru girdiyseniz, aribas işlev adını yankılar

-: yüz

ve bundan sonra kullanabilirsiniz fac yerleşik bir işlevle aynı şekilde, örn.

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

İşlev tanımlarının içinde kullanılan tüm değişkenlerin açıkça bildirilmesi gerektiğine dikkat edin,
en üst seviyede iken aribas yorumlayıcı değişkenleri basitçe oluşturulabilir
atamalar. Aşağıda, tarafından desteklenen bazı diğer veri türlerini gösteren başka bir örnek verilmiştir.
aribas:

==> function sqrt_list(n: tamsayı): gerçek dizisi;
var
vec: gerçek dizi[n];
i: tamsayı;
başlamak
i için := 1 n yapmak
vec[i-1] := sqrt(i);
sonunda;
dönüş vec;
sonu.

Bu işlev, 1'den n'ye kadar olan tam sayıların kareköklerinin bir dizisini döndürür, çünkü
örnek

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

Birkaç fonksiyona ihtiyaç duyduğunuz daha büyük bir programlama projesinde, onları girmezsiniz.
doğrudan aribas sor ama fonksiyon tanımlarını harici bir metinle hazırla
düzenleyici ve bunları uzantılı bir dosyaya kaydedin .ari Örneğin, abcd.ari . Bu dosya
daha sonra tarafından yüklenebilir aribas komutu kullanarak

==> yükle ("abcd").

Dosyada bir sözdizimi hatası varsa, formun bir hata mesajını alırsınız.

yüklenen dosyanın <= 23. satırında hata
eğer: beklenen son

bu size (bu örnekte) bir hata olduğunu söyler. if 23. satırda inşa et veya
dosyada daha önce. (Hata mesajlarının bazen çok kesin olmadığını unutmayın.)
daha sonra hatayı düzeltebilir ve dosyayı yeniden yükleyebilir.

Online yardım et
Komuta

==> semboller(aribas).

tüm anahtar sözcüklerin bir listesini ve yerleşik işlevlerin adlarını döndürür aribas. Bu listede
yaklaşık 200 giriş ve aşağıdaki gibi başlar ve biter:

(ARGV, _, __, ___, abs, alloc ve, arccos, arcsin, arctan, arctan2, aribas, dizi, atof,
atoi, start, ikili, bit_and, bit_clear, bit_length, ...... , tolower, toupper,
transkript, true, trunc, type, user, var, version, while, write, write_block, write_byte,
yaz)

Bu listedeki simgelerin çoğu için, işlevi kullanarak kısa bir çevrimiçi yardım alabilirsiniz.
Yardım(). Örneğin, komut

==> yardım(ARGV).

yerleşik değişken hakkında bilgi verir ARGV, buna karşılık

==> yardım(sırasında).

sözdizimini açıklar süre döngü. İçerdiği bilgilerden daha fazla bilgiye ihtiyacınız varsa
çevrimiçi yardımda, içinde bulunabilecek belgelere bakın. /usr/share/doc/aribas.

Ne kadar için çıkış
bitirmek için aribas oturum, tür çıkış at aribas istemi

==> çıkış

ve ardından RETURN (ENTER) tuşuna basın.

Eğer gitmek istemiyorsan aribas, ancak sonsuz bir döngüden veya bir
çok uzun süren hesaplama için CONTROL-C yazın (eğer aribas içinden
Emacs, CONTROL-C'ye iki kez basmalısınız). Bu (çoğu durumda) akımı durduracaktır.
hesaplama ve dönüş aribas Komut istemi.

Emacs arabirimini değil, komut satırı sürümünü kullandığınızda aribas, Sen
bazen aşağıdaki durumla karşılaşabilirsiniz: Önceki bazı satırlarda yazım hatası var,
ama düzeltmek için o satıra dönemezsiniz. Bu durumda sadece bir yazmanız gerekir
tam dur'.' , ardından RETURN. Güvenle yapabileceğiniz bir hata mesajı alacaksınız.
yoksay ve yeni bir istem ==> belirir ve tekrar denemenizi sağlar.

KOMUT LINE ARGÜMANLAR

aribas [seçenekleri] [ari dosyası> [arg1>arg2> ...]]

seçenekleri
Aşağıdaki seçenekler kullanılabilir:

-q (sessiz mod) Ekrana gelen tüm mesajları gizler (sürüm no, telif hakkı bildirimi,
vb.) ne zaman aribas Başladı

-v (ayrıntılı mod, varsayılan) Aşağıdaki durumlarda ekrana gelen mesajları bastırmaz. aribas is
başladı.

-c
aribas ekrana yazarken kendi satır kesmesini yapıyor. Normalde varsayar
ekranın (veya içinde bulunduğu pencerenin) aribas çalışır) 80 sütuna sahiptir. -c ile
seçeneği, 40 ile 160 (ondalık olarak) arasında olması gereken başka bir sayı ayarlayabilirsiniz.
temsil). Örneğin, çalıştırırsanız aribas 72 ile bir Xterm penceresinde
sütunlar için -c72 seçeneğini kullanın (veya -c 72, -c ile sayı arasındaki boşluk
isteğe bağlı).

-m
Burada 500 ile 32000 arasında bir sayıdır (ondalık gösterimde).
sayı kaç Kilobayt RAM'i gösterir aribas için kullanmalı aribas yığın.
Varsayılan değer, aşağıdaki durumlarda kullanılan seçeneklere bağlıdır. aribas derlendi. Tipik,
UNIX veya LINUX altında, -m6'e karşılık gelen 6000 Megabayttır

-h <yol of yardım et dosya>
çevrimiçi yardım aribas içinde bulunması gereken bir aribas.hlp dosyasına bağlıdır
PATH ortam değişkeninin aralığı. Durum böyle değilse belirtebilirsiniz
-h seçeneğiyle yardım dosyasının tam yolu. Örneğin dosya
aribas.hlp dizinde / Usr / local / lib, -h seçeneğini kullanın / Usr / local / lib
(-h'den sonraki boşluk gerekli değildir). -h seçeneği, yardım için de kullanılabilir.
dosyanın adı farklı. Yardım dosyası help-aribas olarak adlandırılmışsa ve
/home/joe/ari dizini, -h/home/joe/ari/help-aribas'ı kullanın.

Düzgün kurulmuş bir Debian paketi ile aribas buna gerek olmamalı
bu seçeneği kullanın.

-p
Bu seçenek ile dosyaları yüklemek için bir arama yolu belirleyebilirsiniz. aribas kaynak
kod. bir dizinin (mutlak) yol adı olabilir veya
iki nokta üst üste ile ayrılmış birkaç yol adı. Diyelim ki aradın aribas ile
seçenek

-p/usr/yerel/lib/aribas:~/ari/örnekler

ve ana dizininizin /home/alice/ olduğunu. Daha sonra komut

==> yükle ("faktör").

factor.ari dosyasını önce geçerli dizinde, ardından
/usr/local/lib/aribas dizini ve son olarak /home/alice/ari/examples dizininde.

-b Toplu mod yüklerken aribas komut satırından kaynak kod dosyası, bkz.
altında.

Argüman gerektirmeyen tek harfli seçenekler birleştirilebilir, örneğin

aribas -q -b

eşdeğerdir

aribas-qb

Daha fazla komuta hat argümanlar

Seçeneklerden sonraki komut satırı argümanı, bir
ile dosya aribas kaynak kodu. Dosya adı .ari uzantısına sahipse, bu
uzatma atlanabilir. Dosya, komut varmış gibi yüklenir yük(" ")
başladıktan sonra verilmişti. aribas at aribas çabuk. dosya değilse
geçerli dizinde bulunan, tarafından belirtilen dizinlerde aranır.
-p seçeneği. -b seçeneği verilmişse, dosya yüklenir ve yürütülür.
Daha sonra aribas istemini göstermeden çıkar. Dosya yüklenemiyorsa
tamamen bir hata nedeniyle, aribas hata mesajından hemen sonra çıkar.

...
Daha fazla komut satırı argümanı takip edildiğinde , toplanırlar (olarak
dizeleri) ile birlikte vektörde ARGV hangisinden erişilebilir
içinde aribas. Örnek: Eğer ararsanız aribas komut satırı ile

aribas başlangıç ​​4536 eisenstein

ve geçerli dizin startup.ari dosyasını içerir, ardından aribas yükler ve
vektör ARGV forma sahip

==> ARGV.
-: ("başlangıç", "4536", "eisenstein")

Bazı argümanlara dize olarak değil de sayı olarak ihtiyacınız varsa, bunları şu şekilde dönüştürebilirsiniz:
senin (Ya da At); bizim örneğimizde

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

yapacağım. vektörün uzunluğu ARGV tarafından belirlenebilir uzunluk (ARGV).

KOŞU ARIBAŞ İÇİNDE EMACS

Koşabilirsin aribas komutu vererek Emacs içinden (Emacs' minibuffer'da)

Mx çalıştırma-aribas

(META anahtarınız yoksa Mx yerine ESC x kullanın) Ardından aribas içine yüklenecek
*aribas* adlı bir Emacs penceresi ve girişinizi şu şekilde düzenleyebilirsiniz: aribas her zamanki ile
Emacs komutları.

Girişiniz bir nokta ile bitiyorsa '.' ve RETURN'e basarsanız, şu adrese gönderilir: aribas. Eğer
ancak tam girdiniz bir nokta ile bitmez (örneğin, bir
okumak), giriş gönderilir aribas Cj (Kontrol-j) veya Cc RETURN ile.

Önceki bir girişi tekrarlamak isterseniz, Mp (veya ESC p) giriş üzerinden geriye doğru döner.
geçmiş ve Mn (veya ESC n) ileri doğru döngü yapar.

Bir Control-C gönderilir aribas Cc Cc ile (Cc'ye iki kez basın).

başlamak da mümkündür aribas Emacs'tan komut satırı argümanlarıyla. Bunun için
komut amacı

Cu Mx run-aribas

verilmesi gerekiyor. Sonra bir istem

run-aribas: aribas

Emacs Minibuffer'da görünür ve komut satırını tamamlayabilirsiniz, örneğin

run-aribas: aribas başlangıç ​​4536 eisenstein

(yukarıyı görmek).

YAPILANDIRMA DOSYA

Koşu seçenekleri aribas adlı bir yapılandırma dosyası kullanılarak da belirtilebilir.
.arc. Aribalar aşağıdaki sırayla bir yapılandırma dosyası arar:

1) geçerli dizin
2) kullanıcının ana dizini

Üçüncü bir olasılık daha var: Bir ortam değişkeni tanımlayabilirsiniz. ARRC içeren
tam dosya dahil olmak üzere (.arirc'den farklı olabilir) yapılandırma dosyasının adı
yolu.

Yapılandırma dosyasında, yukarıda açıklanan tüm komut satırı seçeneklerini belirtebilirsiniz.
- işareti ile başlayın, ancak her seçenek için ayrı bir satır kullanılmalıdır. çizgiler
# karakteriyle başlayan veya boş satırlar yok sayılır. Seçeneklere ek olarak
yukarıda açıklanan yapılandırma dosyası şunları içerebilir: aribas kaynak kodu. Bu amaç için
bir satır okuma olmalı

-içinde

O zaman bu satırdan sonraki her şey olarak kabul edilir aribas kaynak kodu ve yürütüldüğünde aribas
Başladı.

için bir yapılandırma dosyasının varlığı aribas verme olasılığını dışlamaz
komut satırı argümanları. Bir seçenek (örneğin -m seçeneği) her ikisinde de belirtilmişse
yapılandırma dosyası ve komut satırı ancak farklı değerlerle, ardından belirtim
komut satırında geçerlidir. Benzer şekilde, komut satırındaki bir -v seçeneği a -q öğesini geçersiz kılar
yapılandırma dosyasındaki seçenek. Yapılandırma dosyasında -init kodu varsa ve
komut satırında bağımsız değişken, ardından önce -init kodu yürütülür ve
sonra yüklenir ve kodu yürütülür.

onworks.net hizmetlerini kullanarak aribas'ı çevrimiçi kullanın