aribas - 云端在线

程序：

您的姓名

aribas - 多精度算术解释器

概要

阿里巴斯 [选项] [ari文件> [参数1>参数2> ...]]

此手册页是为 Debian 编写的，因为原始软件不包含 man
页面上发布服务提醒。

商品描述

阿里巴斯 是一个适用于大整数运算的交互式解释器和
多精度浮点运算。 它的语法类似于 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) mod F6。
-：688_66214_58712_63971

这表明（根据费马定理）F6 不是素数。
三个最近的结果存储在伪变量中 _, __及 ___。 对于
例如，您可以通过命令将最后一个结果存储在变量 x 中

==> x := _。
-：688_66214_58712_63971

正如你在上面的例子中看到的， 阿里巴斯 使用下划线 _ 构造输出
大整数 (>= 2**32)。 同样对于整数的输入，您可以使用下划线，
唯一的条件是下划线前后都有数字，
例：

==> z := 123_4567_890。
-：1234567890

这里的输出不包含下划线，这表明 z 小于 2**32。

阿里巴斯 有几个内置的分解函数，例如 rho_因式分解，这
使用 Pollard 的 rho 算法。

==> rho_factorize(F6)。

在职的 ..
512 次迭代后找到的因子

-：274177

要找到剩余的辅因子，请给出命令

==> x := F6 div _。
-：6728_04213_10721

为了检验这个因子是否是素数，Rabin 的概率检验 rab_primettest 可
应用：

==> rab_primetest(x)。
-： 真的

该功能 rho_因式分解 适合寻找小因素（比如最多 10 位小数
数字）； 对于更复杂的分解任务，使用更强大的算法，例如
二次筛 qs_因式分解 应该使用

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

（根据计算机的功率，可能需要几秒钟到几分钟的时间
得到第 7 个费马数的质因数。）

系统 结构
循环和 而 循环 阿里巴斯 具有与 Modula-2 相同的语法。 例如，
以下命令序列计算 100 的阶乘。

==> x := 1;
对于i：= 2到100
x := x*i;
结束;
x.

正如您在此示例中看到的，输入可能会扩展到多行。

以上 循环相当于以下 而 循环

==> x := 1; 我：= 2;
而我 <= 100 做
x := x*i;
inc（i）;
结束;
x.

分支结构
if ... 然后 ... 埃尔斯夫 ... 其他 ... 结束
也具有与 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 位，您可以计算

==>反正切（开方（3））。
-: 1.04719_75511_96597_74615_42144_61093_16762_8

==> _/pi。
-: 0.33333_33333_33333_33333_33333_33333_33333_33

用户 定义 功能
用户可以定义他或她自己的功能。 一个典型的例子看起来像

==> 函数 fac(n: 整数): 整数；
VAR
x,i：整数；
开始
x：= 1;
对于 i := 2 到 n 做
x := x*i;
结束;
返回 x;
结束。

如果您输入正确， 阿里巴斯 回显函数名

-: 脸

从现在开始你可以使用 FAC 以与内置函数相同的方式，例如

==> FAC（32）。
-: 2_63130_83693_36935_30167_21801_21600_00000

请注意，在函数定义中，必须明确声明所有使用的变量，
而在顶层 阿里巴斯 解释器变量可以简单地创建
任务。 这是另一个示例，它显示了支持的其他一些数据类型
阿里巴斯:

==> function sqrt_list(n: integer): 实数数组；
VAR
vec：实数数组[n]；
我：整数;
开始
对于 i := 1 到 n 做
vec[i-1] := sqrt(i);
结束;
返回 vec;
结束。

此函数返回一个由 1 到 n 的整数的平方根组成的数组，对于
例子

==> 开方列表（10）。
-：（1.00000000、1.41421356、1.73205081、2.00000000、
2.23606798，2.44948974，2.64575131，2.82842712，3.00000000
3.16227766）

在需要多个函数的更大的编程项目中，您不会输入它们
直接在 阿里巴斯 提示但使用外部文本准备函数定义
编辑器并将它们保存在带有扩展名的文件中 .ari ， 例如 abcd.ari . 这个文件
然后可以通过加载 阿里巴斯 使用命令

==> 加载（“abcd”）。

如果文件中有语法错误，您会收到以下形式的错误消息

加载文件的 <= 23 行中的错误
如果：预期结束

它告诉您（在本例中） if 在第 23 行构造或
文件中较早的部分。 （请注意，错误消息有时不是很准确。）
然后可以更正错误并再次加载文件。

线上 帮助
命令

==> 符号（aribas）。

返回所有关键字和内置函数名称的列表 阿里巴斯. 这份名单有
大约 200 个条目，开始和结束如下：

（ARGV、_、__、___、abs、alloc 和、arccos、arcsin、arctan、arctan2、aribas、数组、atof、
atoi，开始，二进制，bit_and，bit_clear，bit_length，......，tolower，toupper，
抄本、真、截断、类型、用户、变量、版本、同时、写入、写入块、写入字节、
写）

对于此列表中的大多数符号，您可以使用该功能获得简短的在线帮助
帮助（）. 例如，命令

==> 帮助（ARGV）。

提供有关内置变量的信息 无人驾驶汽车，而

==> 帮助（同时）。

描述了语法 而 环形。 如果您需要比包含的更多信息
在联机帮助中，请参阅可在以下位置找到的文档 /usr/share/doc/aribas.

创新中心 至 出口
结束一个 阿里巴斯 会话，类型 出口 在 阿里巴斯 提示

==> 退出

然后按 RETURN (ENTER) 键。

如果你不想离开 阿里巴斯，但想跳出无限循环或
计算持续时间过长，请键入 CONTROL-C（如果您正在运行 阿里巴斯 从内部
Emacs，您必须按 CONTROL-C 两次）。 这将（在大多数情况下）停止当前
计算并返回 阿里巴斯 提示。

当您不使用 Emacs 界面而是使用命令行版本时 阿里巴斯，你
有时会遇到以下情况：前一行包含打字错误，
但您无法返回到该行进行更正。 在这种情况下，您只需键入一个
句号'.' ，然后是 RETURN。 您将收到一条错误消息，您可以安全地
忽略，和一个新的提示 ==> 出现，让您重试。

指挥 LINE 争论

阿里巴斯 [选项] [ari文件> [参数1>参数2> ...]]

选项
可以使用以下选项：

-q （安静模式）禁止所有消息显示在屏幕上（版本号、版权声明、
等）当 阿里巴斯 开始了

-v （详细模式，默认）当 阿里巴斯 is
开始。

-c
阿里巴斯 写入屏幕时会自动换行。 通常它假设
屏幕（或其中的窗口 阿里巴斯 运行）有 80 列。 与 -c
选项您可以设置另一个数字，该数字必须在 40 到 160 之间（十进制
表示）。 例如，如果您运行 阿里巴斯 在带有 72 的 Xterm 窗口中
列，使用选项 -c72（或 -c 72，-c 和数字之间的空格是
可选的）。

-m
这里是 500 到 32000 之间的数字（以十进制表示）。这
数字表示有多少千字节的 RAM 阿里巴斯 应该用于 阿里巴斯 堆。
默认值取决于使用的选项 阿里巴斯 被编译。 通常，
在 UNIX 或 LINUX 下为 6 MB，对应于 -m6000

-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。

使用正确安装的 Debian 软件包 阿里巴斯 应该没有必要
使用此选项。

-p
使用此选项，您可以指定用于加载文件的搜索路径 阿里巴斯 资源
代码。 可以是一个目录的（绝对）路径名或
几个用冒号分隔的路径名。 假设你已经打电话 阿里巴斯
选项

-p /usr/local/lib/aribas：~/ari/例子

并且您的主目录是 /home/alice/。 然后命令

==> 负载（“因子”）。

将首先在当前目录中搜索文件 factor.ari，然后在
目录/usr/local/lib/aribas，最后在/home/alice/ari/examples。

-b 加载时的批处理模式 阿里巴斯 来自命令行的源代码文件，请参见
联络一位教师

例如，可以合并不需要参数的单字母选项

阿里巴斯 -q -b

相当于

阿里巴斯-qb

进一步 命令 线 参数

选项后的下一个命令行参数被解释为
文件 阿里巴斯 源代码。 如果文件名的扩展名为 .ari，这
扩展名可以省略。 文件被加载，就像命令一样 加载（” ”）
开始后给予 阿里巴斯 在 阿里巴斯 迅速的。 如果文件不是
在当前目录中找到它在指定的目录中搜索
-p 选项。 如果给出了选项 -b，则加载并执行文件。
之后 阿里巴斯 退出而不显示它的提示。 如果无法加载文件
完全是因为一个错误， 阿里巴斯 错误消息后立即退出。

...
当进一步的命令行参数跟随时 ，它们被收集（作为
字符串）与 在向量中 无人驾驶汽车 可以从以下位置访问
中 阿里巴斯. 例子：如果你打电话 阿里巴斯 使用命令行

aribas 初创公司 4536 爱森斯坦

并且当前目录包含文件startup.ari，然后 阿里巴斯 加载它和
向量 无人驾驶汽车 具有形式

==> ARGV。
-：（“启动”，“4536”，“爱森斯坦”）

如果你需要一些参数作为数字而不是字符串，你可以通过
阿托伊 （或 阿托夫); 在我们的例子中

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

会做的。 向量的长度 无人驾驶汽车 可以由 长度(ARGV).

跑步 阿里巴斯 中 埃玛斯

你可以跑 阿里巴斯 从 Emacs 中通过给出命令（在 Emacs 的 minibuffer 中）

Mx run-aribas

（如果您没有 META 键，请使用 ESC x 而不是 Mx）然后 阿里巴斯 将被加载到
一个名为 *aribas* 的 Emacs 窗口，您可以将输入编辑为 阿里巴斯 与平常
Emacs 命令。

如果您的输入以句号 '.' 结尾然后按 RETURN，它被发送到 阿里巴斯。 如果
但是您的完整输入不会以句号结束，（例如响应
readln)，输入被发送到 阿里巴斯 通过 Cj (Control-j) 或 Cc RETURN。

如果您想重复之前的输入，Mp（或 ESC p）会在输入中向后循环
历史，Mn（或 ESC n）向前循环。

一个 Control-C 被发送到 阿里巴斯 抄送抄送（按抄送两次）。

也可以启动 阿里巴斯 来自带有命令行参数的 Emacs。 为了这
命令的目的

Cu Mx run-aribas

必须给。 然后提示

运行阿里巴斯：阿里巴斯

出现在Emacs的Minibuffer中，可以通过命令行完成，例如

run-aribas：aribas 启动 4536 eisenstein

（往上看）。

配置 文件

运行选项 阿里巴斯 也可以使用带有名称的配置文件来指定
.arrc. 阿里巴斯 按以下顺序搜索配置文件：

1）当前目录
2）用户的家目录

还有第三种可能：你可以定义一个环境变量 亚洲研究研究中心 含
配置文件的名称（可能与 .arirc 不同），包括完整的
路径。

在配置文件中，您可以指定上述所有命令行选项，其中
以 - 符号开头，但是每个选项都必须使用单独的一行。 线
以字符# 开头或空行将被忽略。 除了选项
如上所述，配置文件可能包含 阿里巴斯 源代码。 以此目的
必须有一行读数

-在里面

然后这一行之后的所有内容都被视为 阿里巴斯 源代码和执行时间 阿里巴斯
开始。

配置文件的存在 阿里巴斯 不排除给予的可能性
命令行参数。 如果一个选项（例如 -m 选项）在
配置文件和命令行但具有不同的值，然后规范
在命令行是有效的。 类似地，命令行上的 -v 选项会覆盖 -q
配置文件中的选项。 如果配置文件中有 -init 代码和一个
命令行中的参数，然后首先执行 -init 代码，然后
之后已加载并执行其代码。

使用 onworks.net 服务在线使用 aribas