aribas - Online in de cloud

PROGRAMMA:

NAAM

aribas - Multiprecisie rekenkundige tolk

KORTE INHOUD

aribas [opties] [ari-bestand> [arg1>arg2> ...]]

Deze manpagina is voor Debian geschreven omdat de originele software geen man bevatte
pagina.

PRODUCTBESCHRIJVING

Aribas is een interactieve tolk die geschikt is voor rekenen met grote gehele getallen en
multiprecisie drijvende-kommaberekeningen. Het heeft een syntaxis die lijkt op Pascal of Modula-2,
maar bevat ook functies uit andere programmeertalen zoals C, Lisp, Oberon.

GEBRUIK

De eenvoudigste manier om te gebruiken aribas is als rekenmachine voor (groot geheel) rekenen. Na
aribas wordt gestart, wordt er een prompt weergegeven ==> en is klaar om invoer te accepteren. Voer eenvoudig de
uitdrukking die u wilt berekenen, gevolgd door een punt, en druk vervolgens op RETURN, voor
voorbeeld

==> 123 + 456*789.

Aribas antwoorden

-: 359907

Het symbool -: introduceert het resultaat.
BELANGRIJK. Om het einde van uw invoer te markeren, moet u altijd een punt '.' typen. en dan
druk op TERUG.

U kunt het resultaat van een berekening aan een variabele toewijzen, zoals in

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

Dit berekent het 6e Fermatgetal (** geeft machtsverheffing aan) en wijst deze toe aan de
variabele F6 (Let daar op aribas is hoofdlettergevoelig, dus dit is niet hetzelfde als f6). Later
u kunt deze variabele bijvoorbeeld in de expressie gebruiken

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

waaruit blijkt (volgens de stelling van Fermat) dat F6 geen priemgetal is.
De drie meest recente resultaten worden opgeslagen in de pseudovariabelen _, __ en ___. Voor
Met het commando kunt u bijvoorbeeld het laatste resultaat in de variabele x opslaan

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

Zoals je in de bovenstaande voorbeelden kunt zien, aribas gebruikt het onderstrepingsteken _ om de uitvoer te structureren
van grote gehele getallen (>= 2**32). Ook voor de invoer van gehele getallen kunt u het onderstrepingsteken, de
enige voorwaarde is dat er direct voor en na het onderstrepingsteken cijfers staan,
voorbeeld:

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

Hier bevat de uitvoer geen onderstrepingsteken, wat aangeeft dat z kleiner is dan 2**32.

Aribas heeft bijvoorbeeld verschillende ingebouwde functies voor factorisatie rho_factorize, welke
maakt gebruik van het rho-algoritme van Pollard.

==> rho_factorize(F6).

werken ..
factor gevonden na 512 iteraties

-: 274177

Om de resterende cofactor te vinden, geeft u het commando

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

Om te testen of deze factor een priemgetal is, wordt de probabilistische test van Rabin gebruikt rab_primetest kan zijn
toegepast:

==> rab_primetest(x).
-: WAAR

De functie rho_factorize is goed voor het vinden van kleine factoren (zeg tot 10 decimalen).
cijfers); voor ingewikkeldere factorisatietaken is een krachtiger algoritme zoals de
kwadratische zeef qs_factorize zou gebruikt moeten worden

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

(Afhankelijk van de kracht van uw computer duurt dit enkele seconden tot enkele minuten
om een ​​priemfactor van het 7e Fermatgetal te krijgen.)

Controle structuren
De For lus en de en lus in aribas hebben een syntaxis zoals in Modula-2. Bijvoorbeeld de
De volgende opdrachtreeks berekent de faculteit van 100.

==> x := 1;
voor i := 2 tot 100 doen
x := x*i;
einde te maken;
x.

Zoals u in dit voorbeeld kunt zien, kan de invoer zich over meerdere regels uitstrekken.

Bovenstaande For lus is gelijk aan het volgende en lus

==> x := 1; ik := 2;
terwijl ik <= 100 doe
x := x*i;
inclusief(ik);
einde te maken;
x.

Het vertakkingsconstruct
if ... harte ... Elsif ... anders ... einde
heeft ook dezelfde syntaxis als in Modula-2.

Multiprecisie drijvend punt rekenkundig
Aribas ondersteunt verschillende soorten drijvende-kommagetallen die intern worden weergegeven
met mantissen van verschillende bitlengte:

single_float 32-bits
dubbel_float 64 bits
lange_float 128 bits

en verschillende hogere precisies tot een implementatieafhankelijke limiet, doorgaans 1024 of
5120 bits, wat kan worden bepaald door de functie max_floatprec(). Standaard wanneer
berekenen met getallen van gegevenstype vast, single_floats worden gebruikt. Dit komt overeen met een
nauwkeurigheid van 9 tot 10 decimalen. Een nauwkeurigheid van 5120 bits komt overeen met meer dan 1500
decimalen.

De nauwkeurigheid kan worden gewijzigd met behulp van de functie set_floatprec. De functie heeft er één nodig
integer-argument, wat de gewenste precisie in bits is. Er wordt automatisch afgerond naar
de eerstvolgende hogere beschikbare waarde. Bijvoorbeeld na

==> set_floatprec(100).
-: 128

de drijvende-kommaprecisie is 128 bits en u kunt berekenen

==> arctan(vierkante meter(3)).
-: 1.04719_75511_96597_74615_42144_61093_16762_8

==> _/pi.
-: 0.33333_33333_33333_33333_33333_33333_33333_33

Gebruiker gedefinieerd functies
De gebruiker kan zijn of haar eigen functies definiëren. Een typisch voorbeeld ziet eruit

==> functie fac(n: geheel getal): geheel getal;
var
x,i: geheel getal;
beginnen
x := 1;
voor i := 2 tot n doen
x := x*i;
einde te maken;
retour x;
end.

Als u dit correct heeft ingevoerd, aribas weerspiegelt de functienaam

-: fa

en vanaf nu kunt u gebruiken fac op dezelfde manier als een ingebouwde functie, bijv

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

Merk op dat binnen functiedefinities alle gebruikte variabelen expliciet moeten worden gedeclareerd,
terwijl op het hoogste niveau van de aribas interpretervariabelen kunnen eenvoudig worden gemaakt door
opdrachten. Hier is nog een voorbeeld, waarin enkele andere gegevenstypen worden weergegeven die worden ondersteund door
aribas:

==> functie sqrt_list(n: geheel getal): array van real;
var
vec: array[n] van echt;
i: geheel getal;
beginnen
voor i := 1 tot n doen
vec[i-1] := sqrt(i);
einde te maken;
retour vec;
end.

Deze functie retourneert een array van de vierkantswortels van de gehele getallen van 1 tot n, for
voorbeeld

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

In een groter programmeerproject waarbij je meerdere functies nodig hebt, zou je ze niet invoeren
direct bij de aribas prompt, maar bereid de functiedefinities voor met een externe tekst
editor en sla ze op in een bestand met de extensie .rijden Bijvoorbeeld abcd.ari . Dit bestand
kan dan worden geladen door aribas met behulp van de opdracht

==> laden("abcd").

Als er een syntaxisfout in het bestand zit, krijgt u een foutmelding van het formulier

fout in regel <= 23 van geladen bestand
indien: einde verwacht

die u (in dit voorbeeld) vertelt dat er een fout zit in de if construct in regel 23 of
eerder in het bestand. (Houd er rekening mee dat de foutmeldingen soms niet erg nauwkeurig zijn.) Jij
kan de fout vervolgens corrigeren en het bestand opnieuw laden.

Online hulp
Het bevel

==> symbolen(aribas).

retourneert een lijst met alle trefwoorden en namen van ingebouwde functies van aribas. Deze lijst heeft
ongeveer 200 inzendingen, en begint en eindigt als volgt:

(ARGV, _, __, ___, abs, alloc, en, arccos, arcsin, arctan, arctan2, aribas, array, atof,
atoi, begin, binair, bit_and, bit_clear, bit_length, ...... , tolower, toupper,
transcript, true, trunc, type, gebruiker, var, versie, while, write, write_block, write_byte,
geschreven)

Voor de meeste symbolen in deze lijst kunt u via de functie korte online hulp krijgen
helpen(). Bijvoorbeeld het commando

==> hulp(ARGV).

geeft informatie over de ingebouwde variabele ARGV, terwijl

==> hulp(terwijl).

beschrijft de syntaxis van de en lus. Als u meer informatie nodig heeft dan wat er staat
Raadpleeg in de online-help de documentatie die u kunt vinden in /usr/share/doc/aribas.

Hoe naar afrit
Om een ​​einde te maken aan een aribas sessie, typ afrit de aribas prompt

==> afsluiten

en druk vervolgens op de RETURN-toets (ENTER).

Als je niet weg wilt aribas, maar je wilt uit een oneindige lus of a. breken
berekening die te lang duurt, typ CONTROL-C (als u actief bent aribas van binnenuit
Emacs, je moet tweemaal op CONTROL-C drukken). Dit zal (in de meeste gevallen) de stroom stoppen
berekening en keer terug naar de aribas prompt.

Wanneer u niet de Emacs-interface gebruikt, maar de opdrachtregelversie van aribas, Je
kom soms in de volgende situatie terecht: Een vorige regel bevat een typefout,
maar u kunt niet naar die regel terugkeren om deze te corrigeren. In dit geval typt u eenvoudigweg a
punt '.', gevolgd door TERUG. U krijgt een foutmelding die u veilig kunt gebruiken
negeren, en een nieuwe prompt ==> verschijnt, zodat u het opnieuw kunt proberen.

COMMAND LINE ARGUMENTEN

aribas [opties] [ari-bestand> [arg1>arg2> ...]]

opties
De volgende opties zijn beschikbaar:

-q (stille modus) Onderdrukt alle berichten op het scherm (versienummer, copyrightkennisgeving,
enz.) wanneer aribas is begonnen

-v (uitgebreide modus, standaard) Onderdrukt geen berichten op het scherm wanneer aribas is
begonnen.

-c
aribas breekt zijn eigen regels af bij het schrijven naar het scherm. Normaal gesproken veronderstelt het
dat het scherm (of het venster waarin aribas runs) heeft 80 kolommen. Met de -c
optie kunt u een ander getal instellen, dit moet tussen 40 en 160 liggen (in decimalen).
vertegenwoordiging). Als je bijvoorbeeld hardloopt aribas in een Xterm-venster met 72
kolommen, gebruik dan de optie -c72 (of -c 72, de spatie tussen -c en het getal is
optioneel).

-m
Hier is een getal (in decimale weergave) tussen 500 en 32000. Dit
getal geeft aan hoeveel kilobytes RAM aribas moet gebruiken voor de aribas hoop.
De standaardwaarde is afhankelijk van de opties die wanneer worden gebruikt aribas werd samengesteld. Typisch,
onder UNIX of LINUX is dit 6 Megabytes, overeenkomend met -m6000

-h <pad of hulp bestand>
De online hulp van aribas hangt af van een bestand aribas.hlp waarin het zich zou moeten bevinden
het bereik van de omgevingsvariabele PATH. Indien dit niet het geval is kunt u dit aangeven
het exacte pad van het helpbestand met de optie -h. Als bijvoorbeeld het bestand
aribas.hlp bevindt zich in de map / Usr / local / lib, gebruik dan de optie -h / Usr / local / lib
(de spatie na -h is niet nodig). De optie -h kan ook worden gebruikt als de help
bestand heeft een andere naam. Als het helpbestand help-aribas heet en in de
map /home/joe/ari, gebruik -h/home/joe/ari/help-aribas.

Met een correct geïnstalleerd Debian-pakket van aribas het zou niet nodig moeten zijn
gebruik deze optie.

-p
Met deze optie kunt u een zoekpad opgeven voor het laden van bestanden aribas (bron)
code. kan de (absolute) padnaam van één map zijn of
verschillende padnamen gescheiden door dubbele punten. Stel dat u gebeld heeft aribas Met
de optie

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

en dat je thuismap /home/alice/ is. Dan het commando

==> belasting("factor").

zal het bestand factor.ari eerst in de huidige directory doorzoeken, en dan in de
map /usr/local/lib/aribas en ten slotte in /home/alice/ari/examples.

-b Batchmodus bij het laden van een aribas broncodebestand vanaf de opdrachtregel, zie
hieronder.

Opties van één letter waarvoor geen argumenten nodig zijn, kunnen bijvoorbeeld worden samengevoegd

aribas -q -b

is gelijk aan

aribas-qb

Verder commando lijn argumenten

Het volgende opdrachtregelargument na de opties wordt geïnterpreteerd als de naam van a
bestand met aribas broncode. Als de bestandsnaam de extensie .ari heeft, wordt dit
verlenging kan achterwege blijven. Het bestand wordt geladen alsof het commando laden(" ")
was gegeven na de start van aribas de aribas snel. Als het bestand dat niet is
gevonden in de huidige map, wordt gezocht in de mappen die zijn opgegeven door de
-p optie. Als de optie -b werd gegeven, wordt het bestand geladen en uitgevoerd.
Daarna aribas sluit af zonder de prompt te tonen. Als het bestand niet kan worden geladen
volledig vanwege een fout, aribas wordt onmiddellijk afgesloten na de foutmelding.

...
Wanneer verdere opdrachtregelargumenten volgen , ze worden verzameld (zoals
snaren) samen met in de vector ARGV waartoe toegang kan worden verkregen
binnen aribas. Voorbeeld: Als u belt aribas met de opdrachtregel

aribas startup 4536 eisenstein

en de huidige map bevat dan het bestand startup.ari aribas laadt het en
de vector ARGV heeft de vorm

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

Als je een aantal argumenten nodig hebt als getallen en niet als tekenreeksen, kun je ze transformeren
de jouwe (of op); in ons voorbeeld

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

zal het doen. De lengte van de vector ARGV kan worden bepaald door lengte(ARGV).

RUNNING ARIBAS BINNEN EMACS

Je kan lopen aribas vanuit Emacs door het commando te geven (in de minibuffer van Emacs)

Mx run-aribas

(Als je geen META-sleutel hebt, gebruik dan ESC x in plaats van Mx) Vervolgens aribas zal worden geladen
een Emacs-venster met de naam *aribas* waarin u uw invoer kunt bewerken aribas met de gebruikelijke
Emacs-opdrachten.

Als uw invoer eindigt met een punt '.' en u drukt op RETURN, het wordt verzonden naar aribas. Indien
uw volledige invoer eindigt echter niet met een punt (bijvoorbeeld als reactie op een
lees), waar de invoer naar wordt verzonden aribas door Cj (Control-j) of Cc RETURN.

Als u een eerdere invoer wilt herhalen, bladert Mp (of ESC p) achteruit door de invoer
geschiedenis, en Mn (of ESC n) gaat vooruit.

Er wordt een Control-C naar gestuurd aribas door Cc Cc (druk tweemaal op Cc).

Het is ook mogelijk om te starten aribas van Emacs met opdrachtregelargumenten. Voor deze
doel van de opdracht

Cu Mx run-aribas

moet gegeven worden. Dan een aanwijzing

run-aribas: aribas

verschijnt in de Minibuffer van Emacs en je kunt bijvoorbeeld de opdrachtregel invullen

run-aribas: aribas startup 4536 eisenstein

(zie hierboven).

CONFIGURATIE FILE

Opties voor hardlopen aribas kan ook worden opgegeven met behulp van een configuratiebestand met naam
.arirc. Aribas zoekt naar een configuratiebestand in de volgende volgorde:

1) de huidige map
2) de thuismap van de gebruiker

Er is een derde mogelijkheid: u kunt een omgevingsvariabele definiëren ARIRC met de
naam van het configuratiebestand (dat kan verschillen van .arirc), inclusief het volledige bestand
pad.

In het configuratiebestand kunt u alle hierboven beschreven opdrachtregelopties opgeven
beginnen met een - teken, maar voor elke optie moet een aparte regel worden gebruikt. Lijnen
beginnend met het teken # of lege regels worden genegeerd. Naast de opties
hierboven beschreven, kan het configuratiebestand aribas broncode. Voor dit doeleinde
er moet een regellezing zijn

-in het

Vervolgens wordt alles na deze regel behandeld als aribas broncode en uitgevoerd wanneer aribas
is begonnen.

Het bestaan ​​van een configuratiebestand voor aribas sluit de mogelijkheid tot geven niet uit
opdrachtregelargumenten. Als een optie (bijvoorbeeld de optie -m) is opgegeven in zowel de
configuratiebestand en de opdrachtregel, maar met verschillende waarden, en vervolgens de specificatie
op de opdrachtregel is geldig. Op analoge wijze overschrijft een optie -v op de opdrachtregel een -q
optie in het configuratiebestand. Als er -init-code in het configuratiebestand staat en een
argument op de opdrachtregel, waarna eerst de code -init wordt uitgevoerd en
daarna de wordt geladen en de code ervan wordt uitgevoerd.

Gebruik aribas online met de services van onworks.net