aribas - Интернет в облаке

ПРОГРАММА:

ИМЯ

aribas - Мультипрецизионный арифметический интерпретатор

СИНТАКСИС

Арибас [кредита] [ari-файл> [arg1>arg2> ...]]

Эта страница руководства была написана для Debian, поскольку исходное программное обеспечение не содержало человека
стр.

ОПИСАНИЕ

Арибас это интерактивный интерпретатор, подходящий для арифметики больших целых чисел и
многоточная арифметика с плавающей запятой. Он имеет синтаксис, аналогичный Pascal или Modula-2,
но также содержит функции других языков программирования, таких как C, Lisp, Oberon.

ИСПОЛЬЗОВАНИЕ

Самый простой способ использования Арибас как калькулятор для (целых) арифметических операций. После
Арибас запущен, отображается подсказка ==> и готов принять ввод. Просто введите
выражение, которое вы хотите вычислить, после чего следует точка, а затем нажмите RETURN, чтобы
пример

==> 123 + 456 * 789.

Арибас ответы

-: 359907

Символ -: представляет результат.
ВАЖНЫЙ. Чтобы отметить конец ввода, вы всегда должны вводить точку '.' а потом
нажмите RETURN.

Вы можете присвоить результат вычисления переменной, как в

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

Это вычисляет 6-е число Ферма (** обозначает возведение в степень) и присваивает его
переменная F6 (Обратите внимание, что Арибас чувствителен к регистру, поэтому это не то же самое, что f6). Потом
вы можете использовать эту переменную, например, в выражении

==> 123 ** (F6 - 1) мод F6.
-: 688_66214_58712_63971

что показывает (по теореме Ферма), что F6 не является простым числом.
Три самых последних результата хранятся в псевдопеременных _, __качества ___. Для
Например, вы можете сохранить последний результат в переменной x командой

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

Как вы можете видеть в приведенных выше примерах, Арибас использует подчеркивание _ структурировать вывод
больших целых чисел (> = 2 ** 32). Также для ввода целых чисел вы можете использовать подчеркивание,
единственное условие - непосредственно перед и после символа подчеркивания стоят цифры,
пример:

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

Здесь вывод не содержит подчеркивания, что означает, что z меньше 2 ** 32.

Арибас имеет несколько встроенных функций для факторизации, например rho_factorize, который
использует алгоритм ро Полларда.

==> rho_factorize (F6).

работающий ..
коэффициент найден после 512 итераций

-: 274177

Чтобы найти оставшийся сомножитель, дайте команду

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

Чтобы проверить, является ли этот фактор простым, вероятностный тест Рабина rab_primetest может быть
применяемый:

==> rab_primetest (х).
-: правда

Функция rho_factorize хорош для поиска небольших множителей (скажем, до 10 десятичных
цифры); для более сложных задач факторизации более мощный алгоритм, такой как
квадратичное сито qs_factorize должен быть использован

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

(В зависимости от мощности вашего компьютера это может занять от нескольких секунд до нескольких минут.
чтобы получить простой множитель 7-го числа Ферма.)

Control структур
Ассоциация для петля и в то время как зациклиться Арибас имеют синтаксис, как в Modula-2. Например,
Следующая последовательность команд вычисляет факториал 100.

==> х: = 1;
для i: = от 2 до 100 сделать
х: = х * я;
конец;
x.

Как вы можете видеть в этом примере, ввод может занимать несколько строк.

Приведенные выше для цикл эквивалентен следующему в то время как поиска

==> х: = 1; я: = 2;
пока я <= 100 делать
х: = х * я;
inc (i);
конец;
x.

Конструкция ветвления
if ... тогда ... ELSIF ... еще ... конец
также имеет тот же синтаксис, что и в 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 бит, и вы можете вычислить

==> arctan (SQRT(3 г.)).
-: 1.04719_75511_96597_74615_42144_61093_16762_8

==> _ / пи.
-: 0.33333_33333_33333_33333_33333_33333_33333_33

Информация о пользователе определенный Функции
Пользователь может определять свои собственные функции. Типичный пример выглядит так

==> функция fac (n: целое число): целое число;
вар
x, i: целое число;
начинать
х: = 1;
для i: = от 2 до n сделать
х: = х * я;
конец;
вернуть x;
конец.

Если вы ввели это правильно, Арибас повторяет имя функции

-: фас

и с этого момента вы можете использовать FAC так же, как встроенная функция, например

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

Обратите внимание, что внутри определений функций все используемые переменные должны быть явно объявлены,
тогда как на верхнем уровне Арибас переменные интерпретатора могут быть просто созданы
задания. Вот еще один пример, который показывает некоторые другие типы данных, поддерживаемые
Арибас:

==> функция sqrt_list (n: integer): массив вещественных;
вар
vec: массив [n] вещественных чисел;
я: целое число;
начинать
для i: = от 1 до n сделать
vec [я-1]: = sqrt (я);
конец;
возврат век;
конец.

Эта функция возвращает массив квадратных корней целых чисел от 1 до n для
пример

==> sqrt_list(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 построить в строке 23 или
ранее в файле. (Обратите внимание, что сообщения об ошибках иногда не очень точны.) Вы
затем можно исправить ошибку и снова загрузить файл.

Онлайн помощь
Команда

==> символы (арибас).

возвращает список всех ключевых слов и имен встроенных функций Арибас. В этом списке
около 200 записей, и начинается и заканчивается следующим образом:

(ARGV, _, __, ___, abs, alloc и, arccos, arcsin, arctan, arctan2, aribas, array, atof,
atoi, начало, двоичный, bit_and, bit_clear, bit_length, ......, tolower, toupper,
транскрипт, истина, усечение, тип, пользователь, переменная, версия, в то время как, запись, write_block, write_byte,
Writeln)

Для большинства символов в этом списке вы можете получить краткую интерактивную справку с помощью функции
помощь(), Например, команда

==> помощь (ARGV).

дает информацию о встроенной переменной АРГВ, в то время как

==> помощь (пока).

описывает синтаксис в то время как петля. Если вам нужно больше информации, чем та, что содержится
в интерактивной справке обратитесь к документации, которую можно найти в / usr / share / doc / aribas.

Как в выход
Чтобы закончить Арибас сессия, тип выход на Арибас подсказка

==> выход

а затем нажмите клавишу RETURN (ENTER).

Если ты не хочешь уходить Арибас, но хотите выйти из бесконечного цикла или
расчет, который длится слишком долго, введите CONTROL-C (если вы выполняете Арибас изнутри
Emacs, вы должны дважды нажать CONTROL-C). Это (в большинстве случаев) остановит текущий
расчет и вернуться к Арибас незамедлительный.

Когда вы используете не интерфейс Emacs, а версию командной строки Арибас, вы
иногда попадают в следующую ситуацию: какая-то предыдущая строка содержит опечатку,
но вы не можете вернуться к этой строке, чтобы исправить это. В этом случае вы должны просто ввести
полная остановка '.', за которым следует RETURN. Вы получите сообщение об ошибке, которое можете безопасно
игнорировать, и новое приглашение ==> появляется, позволяя повторить попытку.

КОМАНДА ЛИНИЯ АРГУМЕНТЫ

Арибас [кредита] [ari-файл> [arg1>arg2> ...]]

кредита
Доступны следующие параметры:

-q (тихий режим) Подавляет вывод всех сообщений на экран (номер версии, уведомление об авторских правах,
и т. д.) когда Арибас начато

-v (подробный режим, по умолчанию) Не подавляет сообщения на экран, когда Арибас is
началась.

-c
Арибас делает разрыв строки при записи на экран. Обычно предполагается
что экран (или окно, в котором Арибас работает) имеет 80 столбцов. С -c
вариант, вы можете установить другое число, которое должно быть от 40 до 160 (в десятичном формате).
представление). Например, если вы запустите Арибас в окне Xterm с 72
столбцы, используйте параметр -c72 (или -c 72, пробел между -c и числом
необязательный).

-m
Здесь это число (в десятичном представлении) от 500 до 32000. Это
число указывает, сколько килобайт ОЗУ Арибас следует использовать для Арибас куча.
Значение по умолчанию зависит от параметров, используемых при Арибас был составлен. Обычно
под UNIX или LINUX это 6 мегабайт, что соответствует -m6000

-h of помощь файл>
Онлайн-справка Арибас зависит от файла aribas.hlp, который должен находиться в
диапазон переменной окружения PATH. Если это не так, вы можете указать
точный путь к файлу справки с параметром -h. Если, например, файл
aribas.hlp находится в каталоге / USR / местные / Библиотека, используйте опцию -h / USR / местные / Библиотека
(пробел после -h не нужен). Параметр -h также можно использовать, если справка
файл имеет другое имя. Если файл справки называется help-aribas и находится в
каталог / home / joe / ari, используйте -h / home / joe / ari / help-aribas.

При правильно установленном пакете Debian Арибас не должно быть необходимости
используйте эту опцию.

-p
С помощью этой опции вы можете указать путь поиска для загрузки файлов с Арибас источник
код. может быть либо (абсолютным) именем пути к одному каталогу, либо
несколько имен пути, разделенных двоеточием. Предположим, вы позвонили Арибас
опция

-p / usr / местные / библиотека / арибас:~ / ari / examples

и что ваш домашний каталог / home / alice /. Тогда команда

==> нагрузка («коэффициент»).

будет искать файл factor.ari сначала в текущем каталоге, а затем в
каталог / usr / local / lib / aribas и, наконец, в / home / alice / ari / examples.

-b Пакетный режим при загрузке Арибас файл исходного кода из командной строки, см.
внизу.

Однобуквенные варианты, не требующие аргументов, могут быть объединены, например

арибас -q -b

эквивалентна

арибас -qb

В дальнейшем команду линия Аргументы

Следующий аргумент командной строки после параметров интерпретируется как имя
файл с Арибас исходный код. Если имя файла имеет расширение .ari, это
расширение может быть опущено. Файл загружается, как если бы команда нагрузка(" ")
был дан после начала Арибас на Арибас незамедлительный. Если файл не
найденный в текущем каталоге, он ищется в каталогах, указанных
-p опция. Если была указана опция -b, файл загружается и выполняется.
Потом Арибас выходит, не показывая подсказки. Если файл не может быть загружен
полностью из-за ошибки, Арибас закрывается сразу после сообщения об ошибке.

...
Когда последуют дальнейшие аргументы командной строки , они собраны (как
строки) вместе с в векторе АРГВ к которому можно получить доступ из
в Арибас. Пример: если вы позвоните Арибас с командной строкой

стартап aribas 4536 eisenstein

и текущий каталог содержит файл startup.ari, тогда Арибас загружает это и
вектор АРГВ имеет форму

==> ARGV.
-: («стартап», «4536», «эйзенштейн»)

Если вам нужны аргументы в виде чисел, а не строк, вы можете преобразовать их с помощью
атой (или в); в нашем примере

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

сделаю это. Длина вектора АРГВ можно определить по длина (ARGV).

БЕГ АРИБАС В ПРЕДЕЛАХ ЭМАКС

Вы можете запустить Арибас изнутри Emacs, дав команду (в минибуфере Emacs)

Mx run-aribas

(Если у вас нет клавиши META, используйте ESC x вместо Mx) Затем Арибас будет загружен в
окно Emacs с именем * aribas *, и вы можете отредактировать свой ввод, чтобы Арибас с обычным
Команды Emacs.

Если ваш ввод заканчивается точкой '.' и вы нажимаете RETURN, он отправляется на Арибас. Если
однако ваш полный ввод не заканчивается точкой (например, в ответ на
читать), ввод отправляется в Арибас нажатием Cj (Control-j) или Cc RETURN.

Если вы хотите повторить предыдущий ввод, Mp (или ESC p) циклически прокручивает ввод назад.
history, а Mn (или ESC n) - вперед.

Control-C отправляется на Арибас с помощью Cc Cc (дважды нажмите Cc).

Также возможно начать Арибас из Emacs с аргументами командной строки. Для этого
цель команды

Cu Mx run-aribas

должно быть дано. Затем подсказка

run-aribas: арибас

появляется в минибуфере Emacs, и вы можете заполнить командную строку, например

run-aribas: стартап aribas 4536 eisenstein

(см. выше).

КОНФИГУРАЦИЯ ФАЙЛОВ

Варианты бега Арибас можно указать также с помощью файла конфигурации с именем
.arirc. Арибас ищет файл конфигурации в следующем порядке:

1) текущий каталог
2) домашний каталог пользователя

Есть третья возможность: вы можете определить переменную среды АРИРК содержащий
имя файла конфигурации (может отличаться от .arirc), включая полный
дорожка.

В файле конфигурации вы можете указать все параметры командной строки, описанные выше, которые
начинаются со знака -, однако для каждой отдельной опции должна использоваться отдельная строка. Линии
начинающиеся с символа # или пустые строки игнорируются. Помимо опций
описанный выше, конфигурационный файл может содержать Арибас исходный код. Для этого
там должна быть строчка

-в этом

Тогда все, что находится после этой строки, рассматривается как Арибас исходный код и выполняется, когда Арибас
запущен

Наличие файла конфигурации для Арибас не исключает возможности дарить
аргументы командной строки. Если опция (например, опция -m) указана как в
файл конфигурации и командная строка, но с разными значениями, затем спецификация
в командной строке действительно. Аналогично, опция -v в командной строке переопределяет -q
параметр в файле конфигурации. Если в файле конфигурации есть код -init и
в командной строке, то сначала выполняется код -init и
впоследствии загружается и его код выполняется.

Используйте aribas в Интернете с помощью сервисов onworks.net