aribas - 클라우드의 온라인

프로그램:

이름

aribas - 다중 정밀도 산술 해석기

개요

아리바 [옵션] [아리 파일> [arg1>arg2> ...]]

이 매뉴얼 페이지는 원래 소프트웨어에 man이 포함되어 있지 않았기 때문에 Debian용으로 작성되었습니다.
페이지.

기술

아리바스 큰 정수 연산에 적합한 대화형 인터프리터입니다.
다중 정밀도 부동 소수점 산술. Pascal 또는 Modula-2와 유사한 구문을 가지고 있습니다.
그러나 C, Lisp, Oberon과 같은 다른 프로그래밍 언어의 기능도 포함합니다.

사용법

가장 간단한 사용법 아리바 (큰 정수) 산술에 대한 계산기입니다. 후에
아리바 시작되면 프롬프트가 표시됩니다. ==> 입력을 수락할 준비가 되었습니다. 간단히 입력
계산하려는 표현식 뒤에 마침표가 표시되고 RETURN을 누릅니다.
예

==> 123 + 456*789.

아리바스 답변

--: 359907

상징물 -: 결과를 소개합니다.
중대한. 입력의 끝을 표시하려면 항상 마침표 '.'를 입력해야 합니다. 그리고
리턴을 누르십시오.

다음과 같이 계산 결과를 변수에 할당할 수 있습니다.

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

이것은 6번째 페르마 수(** 지수를 나타냄)에 할당합니다.
변수 F6 (참고 아리바 대소문자를 구분하므로 다음과 동일하지 않습니다. f6). 나중
예를 들어 표현식에서 이 변수를 사용할 수 있습니다.

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

이것은 F6이 소수가 아님을 (Fermat의 정리에 의해) 보여줍니다.
세 개의 가장 최근 결과는 의사 변수에 저장됩니다. _, __및 ___. 용
예를 들어 명령으로 변수 x에 마지막 결과를 저장할 수 있습니다.

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

위의 예에서 볼 수 있듯이, 아리바 밑줄 사용 _ 출력을 구조화하기 위해
큰 정수(>= 2**32). 또한 정수 입력의 경우 밑줄을 사용할 수 있습니다.
유일한 조건은 밑줄 바로 앞과 뒤에 숫자가 있다는 것입니다.
예:

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

여기서 출력에는 밑줄이 포함되어 있지 않으며, 이는 z가 2**32보다 작음을 나타냅니다.

아리바스 인수분해를 위한 몇 가지 내장 함수가 있습니다. 예를 들어 rho_factorize, 그
Pollard의 rho 알고리즘을 사용합니다.

==> rho_factorize(F6).

일하고있는 ..
512번의 반복 후에 발견된 인자

--: 274177

나머지 보조 인자를 찾으려면 다음 명령을 입력하십시오.

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

이 요인이 소수인지 여부를 검정하기 위해 Rabin의 확률 검정 rab_primetest 될 수 있습니다
적용된:

==> rab_primetest(x).
-: 진실

기능 rho_factorize 작은 요소를 찾는 데 유용합니다(예: 소수점 이하 10개까지).
숫자); 더 복잡한 인수분해 작업의 경우 다음과 같은 더 강력한 알고리즘
이차 체 qs_factorize 사용되어야한다

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

(컴퓨터의 전원에 따라 몇 초에서 몇 분 정도 걸릴 수 있습니다.
7번째 페르마 수의 소인수를 구합니다.)

Control 구조
XNUMXD덴탈의 for 루프와 동안 루프 인 아리바 Modula-2와 같은 구문을 가지고 있습니다. 예를 들어,
다음 명령 시퀀스는 100의 계승을 계산합니다.

==> x := 1;
for i : = 2에서 100로
x := x*i;
끝;
x.

이 예에서 볼 수 있듯이 입력은 여러 줄로 확장될 수 있습니다.

위의 for 루프는 다음과 동일합니다. 동안 고리

==> x := 1; 나는 := 2;
나는 <= 100 동안
x := x*i;
Inc(i);
끝;
x.

분기 구조
if ... 그때 ... Elsif ... 그렇지 않으면 ... end
Modula-2와 동일한 구문을 가지고 있습니다.

다중 정밀도 떠 있는 포인트 산수
아리바스 내부적으로 표현되는 다양한 유형의 부동 소수점 숫자를 지원합니다.
다른 비트 길이의 가수:

single_float 32비트
double_float 64비트
long_float 128비트

구현 종속 한계(일반적으로 1024 또는
함수에 의해 결정될 수 있는 5120비트 max_floatprec(). 기본적으로 언제
데이터 유형의 숫자로 계산 현실, single_floats가 사용됩니다. 이것은 해당
소수점 이하 9~10자리의 정밀도. 5120비트의 정밀도는 1500비트 이상에 해당합니다.
소수 자릿수.

함수를 사용하여 정밀도를 변경할 수 있습니다. set_floatprec. 함수는 하나를 취합니다
원하는 비트 단위의 정밀도인 정수 인수입니다. 자동으로 반올림됩니다
다음으로 높은 사용 가능한 값. 예를 들어, 후에

==> set_floatprec(100).
--: 128

부동 소수점 정밀도는 128비트이며 다음을 계산할 수 있습니다.

==> 아크탄(sqrt(삼)).
-: 1.04719_75511_96597_74615_42144_61093_16762_8

==> _/파이.
-: 0.33333_33333_33333_33333_33333_33333_33333_33

사용자 한정된 기능
사용자는 자신의 기능을 정의할 수 있습니다. 전형적인 예는 다음과 같습니다.

==> 함수 fac(n: 정수): 정수;
였다
x,i: 정수;
시작하다
x : = 1;
for i := 2 ~ n do
x := x*i;
끝;
리턴 x;
끝.

제대로 입력하셨다면, 아리바 함수 이름을 반향

--: 팩

이제부터 사용할 수 있습니다. 유니 내장 함수와 같은 방식으로, 예를 들어

==> 유니(32).
-: 2_63130_83693_36935_30167_21801_21600_00000

함수 정의 내에서 사용된 모든 변수는 명시적으로 선언되어야 합니다.
반면에 최상위 레벨에서 아리바 인터프리터 변수는 다음과 같이 간단히 만들 수 있습니다.
과제. 다음은 에서 지원하는 다른 데이터 유형을 보여주는 또 다른 예입니다.
아리바:

==> 함수 sqrt_list(n: 정수): 실수의 배열;
였다
vec: 실수의 배열[n];
i : 정수;
시작하다
for i := 1 ~ n do
vec[i-1] := sqrt(i);
끝;
리턴 벡;
끝.

이 함수는 1에서 n까지의 정수의 제곱근 배열을 반환합니다.
예

==> 평방 목록(10).
-: (1.00000000, 1.41421356, 1.73205081, 2.00000000,
2.23606798, 2.44948974, 2.64575131, 2.82842712, 3.00000000,
3.16227766)

여러 기능이 필요한 더 큰 프로그래밍 프로젝트에서는 입력하지 않을 것입니다.
직접 아리바 프롬프트하지만 외부 텍스트로 함수 정의를 준비하십시오.
편집기에서 확장자를 가진 파일에 저장합니다. .아리 예를 들어, abcd.ari . 이 파일
다음으로 로드할 수 있습니다. 아리바 명령을 사용하여

==> 로드("abcd").

파일에 구문 오류가 있으면 다음 형식의 오류 메시지가 표시됩니다.

로드된 파일의 <= 23번째 줄에 오류가 있습니다.
if: 예상 종료

이것은 (이 예에서) 오류가 있음을 알려줍니다. if 23행에서 구성하거나
파일의 앞부분. (오류 메시지는 때때로 매우 정확하지 않습니다.)
그런 다음 오류를 수정하고 파일을 다시 로드할 수 있습니다.

온라인 매장 도움
명령

==> 기호(아리바).

모든 키워드의 목록과 내장 함수의 이름을 반환합니다. 아리바. 이 목록에는
약 200개의 항목이 있으며 다음과 같이 시작하고 끝납니다.

(ARGV, _, __, ___, abs, alloc 및, arccos, arcsin, arctan, arctan2, aribas, 배열, atof,
atoi, 시작, 바이너리, bit_and, bit_clear, bit_length, ...... , tolower, toupper,
성적표, true, trunc, 유형, 사용자, var, 버전, while, 쓰기, write_block, write_byte,
쓰기)

이 목록에 있는 대부분의 기호에 대해 다음 기능을 사용하여 간단한 온라인 도움말을 얻을 수 있습니다.
돕다(). 예를 들어, 명령

==> 도움말(ARGV).

내장 변수에 대한 정보를 제공합니다. ARRGV, 동안

==> 도움(동안).

의 구문을 설명합니다. 동안 고리. 포함된 것보다 더 많은 정보가 필요한 경우
온라인 도움말에서 찾을 수 있는 설명서를 참조하십시오. /usr/share/doc/아리바스.

방법 에 출구
종료하려면 아리바 세션, 유형 출구 에 아리바 신속한

==> 나가다

그런 다음 RETURN(ENTER) 키를 누릅니다.

떠나고 싶지 않다면 아리바하지만 무한 루프에서 벗어나고 싶거나
너무 오래 지속되는 계산은 CONTROL-C를 입력합니다(실행 중인 경우 아리바 안으로부터
Emacs, CONTROL-C를 두 번 눌러야 함). 이것은 (대부분의 경우) 현재를 중지합니다
계산 및 반환 아리바 신속한.

Emacs 인터페이스를 사용하지 않고 명령줄 버전을 사용하는 경우 아리바, 당신
때때로 다음과 같은 상황이 발생합니다. 일부 이전 줄에는 입력 오류가 포함되어 있습니다.
그러나 수정하기 위해 해당 라인으로 돌아갈 수는 없습니다. 이 경우 간단히 입력해야 합니다.
완전 정지 '.', 그 뒤에 RETURN. 안전하게 할 수 있는 오류 메시지가 표시됩니다.
무시하고 새 프롬프트 ==> 다시 시도할 수 있도록 표시됩니다.

COMMAND LINE 인수

아리바 [옵션] [아리 파일> [arg1>arg2> ...]]

옵션
다음 옵션을 사용할 수 있습니다.

-q (자동 모드) 화면에 표시되는 모든 메시지를 억제합니다(버전 번호, 저작권 표시,
등) 언제 아리바 시작된다

-v (상세 모드, 기본값) 다음과 같은 경우 화면에 메시지를 표시하지 않습니다. 아리바 is
시작되었습니다.

-c
아리바 화면에 쓸 때 자체 줄 바꿈을 수행합니다. 일반적으로 가정
화면(또는 창 아리바 실행)에는 80개의 열이 있습니다. -c와 함께
옵션에서 다른 숫자를 설정할 수 있습니다. 이 숫자는 40에서 160 사이여야 합니다(십진수
대표). 예를 들어 실행하면 아리바 72가 있는 Xterm 창에서
열의 경우 -c72 옵션을 사용합니다(또는 -c 72, -c와 숫자 사이의 공백은
선택 과목).

-m
여기 500에서 32000 사이의 숫자(십진수 표현)입니다.
숫자는 몇 킬로바이트의 RAM을 나타냅니다. 아리바 를 위해 사용해야 한다 아리바 더미.
기본값은 다음과 같은 경우에 사용되는 옵션에 따라 다릅니다. 아리바 컴파일되었습니다. 일반적으로,
UNIX 또는 LINUX에서는 -m6에 해당하는 6000MB입니다.

-h <경로 of 도움 파일>
의 온라인 도움말 아리바 다음 위치에 있어야 하는 aribas.hlp 파일에 따라 다릅니다.
환경 변수 PATH의 범위. 그렇지 않은 경우 지정할 수 있습니다.
-h 옵션이 있는 도움말 파일의 정확한 경로. 예를 들어 파일의 경우
aribas.hlp는 디렉토리에 있습니다. / usr / local / lib, -h 옵션을 사용하십시오. / usr / local / lib
(-h 뒤에 공백은 필요하지 않습니다). -h 옵션은 다음과 같은 경우에도 사용할 수 있습니다.
파일 이름이 다릅니다. 도움말 파일의 이름이 help-aribas이고 다음 위치에 있는 경우
디렉토리 /home/joe/ari, -h/home/joe/ari/help-aribas를 사용합니다.

제대로 설치된 데비안 패키지 아리바 할 필요가 없어야 한다
이 옵션을 사용하십시오.

-p
이 옵션을 사용하여 파일을 로드하기 위한 검색 경로를 지정할 수 있습니다. 아리바
암호. 한 디렉토리의 (절대) 경로 이름이거나
콜론으로 구분된 여러 경로 이름. 당신이 전화했다고 가정 아리바 과
옵션

-p/usr/local/lib/aribas:~/아리/예시

그리고 홈 디렉토리는 /home/alice/입니다. 그런 다음 명령

==> 부하("인자").

현재 디렉토리에서 factor.ari 파일을 먼저 검색한 다음
디렉토리 /usr/local/lib/aribas 그리고 마지막으로 /home/alice/ari/examples에 있습니다.

-b 로드 시 배치 모드 아리바 명령줄의 소스 코드 파일, 참조
아래.

인수가 필요 없는 한 글자 옵션은 예를 들어 병합할 수 있습니다.

아리바 -q -b

에 해당하는

아리바 -qb

추가 명령 선 인수

옵션 뒤의 다음 명령줄 인수는 이름으로 해석됩니다.
~와 함께 파일 아리바 소스 코드. 파일 이름 확장자가 .ari인 경우 이
확장자를 생략할 수 있습니다. 파일은 명령처럼 로드됩니다. 짐(" ")
의 시작 후에 주어졌다. 아리바 에 아리바 즉각적인. 파일이 아닌 경우
현재 디렉토리에서 찾을 수 있으며 다음으로 지정된 디렉토리에서 검색됩니다.
-p 옵션. -b 옵션이 주어지면 파일이 로드되고 실행됩니다.
나중에 아리바 프롬프트를 표시하지 않고 종료됩니다. 파일을 로드할 수 없는 경우
완전히 오류로 인해 아리바 오류 메시지 직후 종료됩니다.

...
추가 명령줄 인수가 뒤따를 때 , 그들은 수집됩니다 (
문자열)와 함께 벡터에서 ARRGV 에서 액세스 할 수 있습니다
이내 아리바. 예: 전화를 걸면 아리바 명령줄로

아리바스 스타트업 4536 아이젠슈타인

현재 디렉토리에 startup.ari 파일이 포함되어 있으면 아리바 그것을 로드하고
벡터 ARRGV 형태가있다

==> ARGV.
-: ("시작", "4536", "아이젠슈타인")

일부 인수가 문자열이 아닌 숫자로 필요한 경우 다음과 같이 변환할 수 있습니다.
아토이 (또는 아토프); 우리의 예에서

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

할 것입니다. 벡터의 길이 ARRGV 에 의해 결정될 수 있다 길이(ARGV).

달리는 아리바스 이내에 이맥스

당신은 실행할 수 있습니다 아리바 명령을 제공하여 Emacs 내에서 (Emacs의 미니 버퍼에서)

Mx 런 아리바

(META 키가 없으면 Mx 대신 ESC x를 사용하십시오.) 그런 다음 아리바 에 로드됩니다
이름이 *aribas*인 Emacs 창에서 다음과 같이 입력을 편집할 수 있습니다. 아리바 평소와
이맥스 명령어.

입력이 마침표 '.'로 끝나는 경우 RETURN을 누르면 다음으로 전송됩니다. 아리바. 면
그러나 완전한 입력은 마침표로 끝나지 않습니다(예:
읽기), 입력은 다음으로 전송됩니다. 아리바 Cj(Control-j) 또는 Cc RETURN으로.

이전 입력을 반복하려면 Mp(또는 ESC p)가 입력을 통해 뒤로 순환합니다.
히스토리 및 Mn(또는 ESC n)이 앞으로 순환합니다.

Control-C가 다음으로 전송됩니다. 아리바 Cc Cc 기준(Cc를 두 번 누름).

시작하는 것도 가능하다 아리바 명령줄 인수가 있는 Emacs에서. 이를 위해
목적 명령

Cu Mx 런 아리바

주어져야 합니다. 그런 다음 프롬프트

run-aribas: 아리바

Emacs의 Minibuffer에 나타나며 명령줄을 완성할 수 있습니다. 예를 들면

run-aribas: aribas 시작 4536 eisenstein

(위 참조).

구성 FILE

실행 옵션 아리바 이름이 있는 구성 파일을 사용하여 지정할 수도 있습니다.
.arirc. 아리바스 다음 순서로 구성 파일을 검색합니다.

1) 현재 디렉토리
2) 사용자의 홈 디렉토리

세 번째 가능성이 있습니다. 환경 변수를 정의할 수 있습니다. ARIRC 포함
전체를 포함한 구성 파일의 이름(.arirc와 다를 수 있음)
통로.

구성 파일에서 위에서 설명한 모든 명령줄 옵션을 지정할 수 있습니다.
- 기호로 시작하지만 모든 단일 옵션에 대해 별도의 행을 사용해야 합니다. 윤곽
# 문자로 시작하거나 빈 줄은 무시됩니다. 옵션 외에도
위에서 설명한 대로 구성 파일에는 아리바 소스 코드. 이 목적을 위해
라인 읽기가 있어야합니다

-초기화

그런 다음이 줄 이후의 모든 것은 다음과 같이 처리됩니다. 아리바 소스 코드 및 실행 아리바
시작됩니다.

에 대한 구성 파일의 존재 아리바 줄 가능성을 배제하지 않는다
명령줄 인수. 옵션(예: -m 옵션)이
구성 파일과 명령줄이 있지만 값이 다른 경우 사양
명령줄에서 유효합니다. 유사하게, 명령줄의 -v 옵션은 -q를 재정의합니다.
구성 파일의 옵션입니다. 구성 파일에 -init 코드가 있고
명령줄에서 인수를 입력하면 -init 코드가 먼저 실행되고
그 후 로드되고 해당 코드가 실행됩니다.

onworks.net 서비스를 사용하여 aribas 온라인 사용