aribas – Online in der Cloud

PROGRAMM:

NAME/FUNKTION

aribas – Multipräzisions-Arithmetik-Interpreter

ZUSAMMENFASSUNG

Aribas [Optionen] [Ari-Datei> [Arg1>Arg2> ...]]

Diese Manpage wurde für Debian geschrieben, da die Originalsoftware kein Man enthielt

BESCHREIBUNG

Aribas ist ein interaktiver Interpreter, der für die Arithmetik großer Ganzzahlen geeignet ist
Multipräzisions-Gleitkomma-Arithmetik. Es hat eine ähnliche Syntax wie Pascal oder Modula-2,
enthält aber auch Features aus anderen Programmiersprachen wie C, Lisp, Oberon.

ANWENDUNG

Die einfachste Art der Anwendung Aribas ist ein Rechner für (große ganze) Arithmetik. Nach
Aribas gestartet wird, wird eine Eingabeaufforderung angezeigt ==> und ist bereit, Eingaben entgegenzunehmen. Geben Sie einfach die ein
Geben Sie den Ausdruck ein, den Sie berechnen möchten, gefolgt von einem Punkt, und drücken Sie dann die EINGABETASTE für
Beispiel

==> 123 + 456*789.

Aribas Antworten

-: 359907

Das Symbol -: stellt das Ergebnis vor.
WICHTIG. Um das Ende Ihrer Eingabe zu markieren, müssen Sie immer einen Punkt „“ eingeben. und dann
drücken Sie RETURN.

Sie können das Ergebnis einer Berechnung wie folgt einer Variablen zuweisen

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

Dies berechnet die 6. Fermat-Zahl (** bezeichnet Potenzierung) und ordnet sie dem zu
Variable F6 (beachten Sie, dass Aribas Groß-/Kleinschreibung wird beachtet, daher ist dies nicht dasselbe wie f6). Später
Sie können diese Variable beispielsweise im Ausdruck verwenden

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

was zeigt (nach dem Satz von Fermat), dass F6 keine Primzahl ist.
Die drei aktuellsten Ergebnisse werden in den Pseudovariablen gespeichert _, __ und ___. For
Beispielsweise können Sie mit dem Befehl das letzte Ergebnis in der Variablen x speichern

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

Wie Sie in den obigen Beispielen sehen können, Aribas verwendet den Unterstrich _ um die Ausgabe zu strukturieren
von großen ganzen Zahlen (>= 2**32). Auch für die Eingabe von ganzen Zahlen können Sie den Unterstrich verwenden
Die einzige Bedingung ist, dass unmittelbar vor und nach dem Unterstrich Ziffern stehen.
Beispiel:

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

Hier enthält die Ausgabe keinen Unterstrich, was zeigt, dass z kleiner als 2**32 ist.

Aribas verfügt beispielsweise über mehrere integrierte Funktionen zur Faktorisierung rho_factorize, Die
verwendet den Rho-Algorithmus von Pollard.

==> rho_factorize(F6).

Arbeiten ..
Faktor nach 512 Iterationen gefunden

-: 274177

Um den verbleibenden Cofaktor zu finden, geben Sie den Befehl ein

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

Um zu testen, ob dieser Faktor prim ist, wird Rabins probabilistischer Test verwendet rab_primetest kann sein
angewendet:

==> rab_primetest(x).
-: WAHR

Die Funktion rho_factorize eignet sich gut zum Finden kleiner Faktoren (z. B. bis zu 10 Dezimalstellen).
Ziffern); Für kompliziertere Faktorisierungsaufgaben ist ein leistungsfähigerer Algorithmus wie der erforderlich
quadratisches Sieb qs_factorize sollte benutzt werden

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

(Abhängig von der Leistung Ihres Computers kann es einige Sekunden bis einige Minuten dauern
um einen Primfaktor der 7. Fermat-Zahl zu erhalten.)

Control Strukturen
Das für Schleife und die während einhängen Aribas haben eine Syntax wie in Modula-2. Zum Beispiel die
Die folgende Befehlssequenz berechnet die Fakultät von 100.

==> x := 1;
für i: = 2 bis 100
x := x*i;
end;
x.

Wie Sie in diesem Beispiel sehen können, kann sich die Eingabe über mehrere Zeilen erstrecken.

Die obige für Die Schleife entspricht der folgenden während Schleife

==> x := 1; ich := 2;
während ich <= 100 tue
x := x*i;
inc(i);
end;
x.

Das Verzweigungskonstrukt
if ... dann ... sonst ... sonst ... Ende
hat auch die gleiche Syntax wie in Modula-2.

Multipräzision schweben Punkt Arithmetik
Aribas unterstützt verschiedene Arten von Gleitkommazahlen, die intern dargestellt werden
mit Mantissen unterschiedlicher Bitlänge:

single_float 32 Bit
double_float 64 Bit
long_float 128 Bit

und mehrere höhere Genauigkeiten bis zu einer von der Implementierung abhängigen Grenze, typischerweise 1024 oder
5120 Bits, die durch die Funktion ermittelt werden können max_floatprec(). Standardmäßig wann
Rechnen mit Zahlen des Datentyps echt, single_floats werden verwendet. Dies entspricht einem
Genauigkeit von 9 bis 10 Dezimalstellen. Eine Genauigkeit von 5120 Bit entspricht über 1500
Nachkommastellen.

Die Genauigkeit kann über die Funktion geändert werden set_floatprec. Die Funktion benötigt eins
Ganzzahliges Argument, das die gewünschte Genauigkeit in Bits angibt. Es wird automatisch auf gerundet
der nächsthöhere verfügbare Wert. Zum Beispiel danach

==> set_floatprec(100).
-: 128

Die Gleitkommagenauigkeit beträgt 128 Bit und Sie können berechnen

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

==> _/pi.
-: 0.33333_33333_33333_33333_33333_33333_33333_33

Mitglied definiert Funktionen
Der Benutzer kann seine eigenen Funktionen definieren. Ein typisches Beispiel sieht so aus

==> Funktion fac(n: integer): integer;
jung
x,i: ganze Zahl;
beginnen
x := 1;
für i := 2 bis n do
x := x*i;
end;
x zurückgeben;
Ende.

Wenn Sie dies richtig eingegeben haben, Aribas gibt den Funktionsnamen wieder

-: fak

und von nun an können Sie es verwenden fac auf die gleiche Weise wie eine integrierte Funktion, z

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

Beachten Sie, dass innerhalb von Funktionsdefinitionen alle verwendeten Variablen explizit deklariert werden müssen.
während auf der obersten Ebene des Aribas Interpretervariablen können einfach erstellt werden
Zuordnungen. Hier ist ein weiteres Beispiel, das einige andere von unterstützte Datentypen zeigt
Aribas:

==> function sqrt_list(n: integer): array of real;
jung
vec: array[n] of real;
i: ganze Zahl;
beginnen
für i := 1 bis n do
vec[i-1] := sqrt(i);
end;
return vec;
Ende.

Diese Funktion gibt ein Array der Quadratwurzeln der ganzen Zahlen von 1 bis n zurück, z
Beispiel

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

In einem größeren Programmierprojekt, in dem Sie mehrere Funktionen benötigen, würden Sie diese nicht eingeben
direkt am Aribas Eingabeaufforderung, aber bereiten Sie die Funktionsdefinitionen mit einem externen Text vor
Editor und speichern Sie sie in einer Datei mit der Erweiterung .ari Zum Beispiel abcd.ari . Diese Datei
kann dann von geladen werden Aribas mit dem Befehl

==> laden("abcd").

Wenn in der Datei ein Syntaxfehler vorliegt, erhalten Sie eine Fehlermeldung des Formulars

Fehler in Zeile <= 23 der geladenen Datei
if: Ende erwartet

was Ihnen (in diesem Beispiel) sagt, dass ein Fehler in der Datei vorliegt if konstruieren in Zeile 23 oder
weiter oben in der Datei. (Beachten Sie, dass die Fehlermeldungen manchmal nicht sehr präzise sind.) Sie
Anschließend kann der Fehler behoben und die Datei erneut geladen werden.

Online Hilfe
Der Befehl

==> Symbole(aribas).

gibt eine Liste aller Schlüsselwörter und Namen der integrierten Funktionen von zurück Aribas. Diese Liste hat
ca. 200 Einträge und beginnt und endet wie folgt:

(ARGV, _, __, ___, abs, alloc und, arccos, arcsin, arctan, arctan2, aribas, array, atof,
atoi, begin, binär, bit_and, bit_clear, bit_length, ...... , tolower, toupper,
transcript, true, trunc, type, user, var, version, while, write, write_block, write_byte,
writeln)

Für die meisten Symbole in dieser Liste können Sie über die Funktion eine kurze Online-Hilfe erhalten
Hilfe(). Zum Beispiel der Befehl

==> Hilfe(ARGV).

gibt Auskunft über die eingebaute Variable ARGV, wohingegen

==> Hilfe (während).

beschreibt die Syntax der während Schleife. Wenn Sie mehr Informationen als die enthaltenen benötigen
Lesen Sie in der Online-Hilfe die Dokumentation unter /usr/share/doc/aribas.

Ultraschall zu wunsch
Um ein zu beenden Aribas Sitzung, Typ wunsch im Aribas Eingabeaufforderung

==> Beenden

und drücken Sie dann die RETURN (ENTER)-Taste.

Wenn du nicht gehen willst Aribas, aber aus einer Endlosschleife oder einem ausbrechen möchten
Wenn eine Berechnung zu lange dauert, geben Sie STRG-C ein (wenn Sie sie ausführen). Aribas von innen
Emacs, Sie müssen STRG-C zweimal drücken). Dadurch wird (in den meisten Fällen) der Strom gestoppt
Berechnung und Rückkehr zur Aribas prompt.

Wenn Sie nicht die Emacs-Schnittstelle, sondern die Befehlszeilenversion von verwenden AribasSie
geraten manchmal in die folgende Situation: Eine vorherige Zeile enthält einen Tippfehler,
Sie können jedoch nicht zu dieser Zeile zurückkehren, um sie zu korrigieren. In diesem Fall sollten Sie einfach a eingeben
Punkt '.' , gefolgt von RETURN. Sie erhalten eine Fehlermeldung, die Sie bedenkenlos beheben können
ignorieren und eine neue Eingabeaufforderung ==> erscheint und Sie können es erneut versuchen.

COMMAND LINE ARGUMENTE

Aribas [Optionen] [Ari-Datei> [Arg1>Arg2> ...]]

Optionen
Die folgenden Optionen sind verfügbar:

-q (Ruhemodus) Unterdrückt alle Meldungen auf dem Bildschirm (Versionsnummer, Copyright-Hinweis,
usw.) wann Aribas ist gestartet

-v (Ausführlicher Modus, Standard) Unterdrückt keine Meldungen auf dem Bildschirm, wenn Aribas is
gestartet.

-c
Aribas führt beim Schreiben auf dem Bildschirm einen eigenen Zeilenumbruch durch. Normalerweise geht es so
dass der Bildschirm (oder das Fenster, in dem Aribas Läufe) hat 80 Spalten. Mit dem -c
Mit dieser Option können Sie eine andere Zahl festlegen, die zwischen 40 und 160 (in Dezimalzahl) liegen muss
Darstellung). Zum Beispiel, wenn Sie laufen Aribas in einem Xterm-Fenster mit 72
Spalten verwenden Sie die Option -c72 (oder -c 72, das Leerzeichen zwischen -c und der Zahl beträgt
Optional).

-m
Hier ist eine Zahl (in Dezimaldarstellung) zwischen 500 und 32000. Dies
Die Zahl gibt an, wie viele Kilobyte RAM Aribas sollte für die verwenden Aribas Haufen.
Der Standardwert hängt von den verwendeten Optionen ab Aribas wurde zusammengestellt. Typischerweise,
unter UNIX oder LINUX sind es 6 Megabyte, entsprechend -m6000

-h <Pfad of Hilfe Datei>
Die Online-Hilfe von Aribas hängt von einer Datei aribas.hlp ab, in der sich befinden sollte
der Bereich der Umgebungsvariablen PATH. Wenn dies nicht der Fall ist, können Sie dies angeben
den genauen Pfad der Hilfedatei mit der Option -h. Wenn zum Beispiel die Datei
aribas.hlp befindet sich im Verzeichnis / Usr / local / lib, verwenden Sie die Option -h / Usr / local / lib
(Das Leerzeichen nach -h ist nicht erforderlich). Die Option -h kann auch verwendet werden, wenn die Hilfe
Die Datei hat einen anderen Namen. Wenn die Hilfedatei den Namen help-aribas trägt und in der Datei liegt
Verzeichnis /home/joe/ari, verwenden Sie -h/home/joe/ari/help-aribas.

Mit einem ordnungsgemäß installierten Debian-Paket von Aribas es sollte nicht notwendig sein
verwenden Sie diese Option.

-p
Mit dieser Option können Sie einen Suchpfad zum Laden von Dateien angeben Aribas Quelle
Code. kann entweder der (absolute) Pfadname eines Verzeichnisses sein oder
mehrere durch Doppelpunkte getrennte Pfadnamen. Angenommen, Sie haben angerufen Aribas mit
die Option

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

und dass Ihr Home-Verzeichnis /home/alice/ ist. Dann der Befehl

==> laden("Faktor").

durchsucht die Datei „factor.ari“ zuerst im aktuellen Verzeichnis und dann im
Verzeichnis /usr/local/lib/aribas und schließlich in /home/alice/ari/examples.

-b Batch-Modus beim Laden einer Aribas Quellcodedatei über die Befehlszeile, siehe
unten.

Beispielsweise können Ein-Buchstaben-Optionen, die keine Argumente erfordern, zusammengeführt werden

aribas -q -b

entspricht

aribas -qb

Des Weiteren Befehl Linie Argumente

Das nächste Befehlszeilenargument nach den Optionen wird als Name von a interpretiert
Datei mit Aribas Quellcode. Wenn der Dateiname die Erweiterung .ari hat, ist dies
Auf die Erweiterung kann verzichtet werden. Die Datei wird wie beim Befehl geladen Belastung(" ")
war nach Beginn gegeben worden Aribas im Aribas prompt. Wenn die Datei nicht vorhanden ist
Wird im aktuellen Verzeichnis gefunden, wird in den von angegebenen Verzeichnissen gesucht
-p-Option. Wenn die Option -b angegeben wurde, wird die Datei geladen und ausgeführt.
Danach Aribas wird beendet, ohne dass die Eingabeaufforderung angezeigt wird. Wenn die Datei nicht geladen werden kann
komplett wegen eines Fehlers, Aribas wird sofort nach der Fehlermeldung beendet.

...
Wenn weitere Kommandozeilenargumente folgen , sie werden gesammelt (wie
Saiten) zusammen mit im Vektor ARGV die von abgerufen werden kann
. Aribas. Beispiel: Wenn Sie anrufen Aribas mit der Kommandozeile

Aribas Startup 4536 Eisenstein

und das aktuelle Verzeichnis enthält dann die Datei startup.ari Aribas lädt es und
der Vektor ARGV hat die Form

==> ARGV.
-: ("Startup", "4536", "Eisenstein")

Wenn Sie einige Argumente als Zahlen und nicht als Zeichenfolgen benötigen, können Sie diese umwandeln
deine (oder atof); in unserem Beispiel

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

werde es tun. Die Länge des Vektors ARGV kann bestimmt werden durch Länge (ARGV).

LAUFEN ARIBAS INNERHALB EMACS

Du kannst rennen Aribas aus Emacs heraus durch Erteilen des Befehls (im Minipuffer von Emacs)

Mx Run-Aribas

(Wenn Sie keinen META-Schlüssel haben, verwenden Sie ESC x anstelle von Mx) Dann Aribas wird geladen
ein Emacs-Fenster mit dem Namen *aribas*, in dem Sie Ihre Eingabe bearbeiten können Aribas mit dem üblichen
Emacs-Befehle.

Wenn Ihre Eingabe mit einem Punkt „.“ endet. und Sie drücken RETURN, es wird gesendet Aribas. Wenn
Ihre vollständige Eingabe endet jedoch nicht mit einem Punkt (z. B. als Antwort auf a
readln), an die die Eingabe gesendet wird Aribas durch Cj (Strg-j) oder Cc RETURN.

Wenn Sie eine vorherige Eingabe wiederholen möchten, blättert Mp (oder ESC p) rückwärts durch die Eingabe
Geschichte, und Mn (oder ESC n) wechselt vorwärts.

Ein Control-C wird an gesendet Aribas durch Cc Cc (drücken Sie zweimal Cc).

Es ist auch möglich zu starten Aribas von Emacs mit Befehlszeilenargumenten. Dafür
Zweck des Befehls

Cu Mx Run-Aribas

muss gegeben werden. Dann eine Aufforderung

run-aribas: aribas

erscheint im Minibuffer von Emacs und Sie können beispielsweise die Befehlszeile vervollständigen

run-aribas: Aribas-Startup 4536 Eisenstein

(siehe oben).

CONFIGURATION FILE

Optionen zum Laufen Aribas kann auch über eine Konfigurationsdatei mit Namen angegeben werden
.arirc. Aribas sucht in der folgenden Reihenfolge nach einer Konfigurationsdatei:

1) das aktuelle Verzeichnis
2) das Home-Verzeichnis des Benutzers

Es gibt noch eine dritte Möglichkeit: Sie können eine Umgebungsvariable definieren ARIRC enthält die
Name der Konfigurationsdatei (der sich von .arirc unterscheiden kann), einschließlich des vollständigen
Pfad.

In der Konfigurationsdatei können Sie alle oben beschriebenen Befehlszeilenoptionen angeben
beginnen mit einem - Zeichen, allerdings muss für jede einzelne Option eine eigene Zeile verwendet werden. Linien
mit dem Zeichen # beginnende oder leere Zeilen werden ignoriert. Zusätzlich zu den Optionen
Wie oben beschrieben, kann die Konfigurationsdatei enthalten Aribas Quellcode. Für diesen Zweck
Es muss eine Zeilenlesung vorhanden sein

-drin

Dann wird alles nach dieser Zeile behandelt als Aribas Quellcode und wann ausgeführt Aribas
ist gestartet.

Das Vorhandensein einer Konfigurationsdatei für Aribas schließt die Möglichkeit des Schenkens nicht aus
Kommandozeilenargumente. Wenn eine Option (z. B. die Option -m) in beiden angegeben ist
Konfigurationsdatei und die Befehlszeile, jedoch mit unterschiedlichen Werten, dann die Spezifikation
in der Befehlszeile ist gültig. Analog überschreibt eine -v-Option in der Befehlszeile eine -q
Option in der Konfigurationsdatei. Wenn in der Konfigurationsdatei ein -init-Code und ein
Argument in der Befehlszeile, dann wird zuerst der -init-Code ausgeführt und
danach die wird geladen und sein Code ausgeführt.

Nutzen Sie Aribas online über die Dienste von onworks.net