aribas - آنلاین در ابر

برنامه:

نام

aribas - مترجم حسابی چند دقیق

خلاصه

aribas [گزینه های] [ari-file> [arg1>arg2> ...]]

این صفحه مرد برای دبیان نوشته شده است زیرا نرم افزار اصلی حاوی مرد نبود
احتمال برد مراجعه کنید.

شرح

آریباس یک مفسر تعاملی مناسب برای محاسبات اعداد صحیح بزرگ و
محاسبات ممیز شناور چنددقیق نحوی شبیه پاسکال یا مدولا-2 دارد،
اما دارای ویژگی هایی از زبان های برنامه نویسی دیگر مانند C، Lisp، Oberon نیز می باشد.

طریقه استفاده

ساده ترین راه برای استفاده aribas به عنوان یک ماشین حساب برای محاسبات (عدد صحیح بزرگ) است. بعد از
aribas شروع شده است، یک اعلان نمایش می دهد ==> و آماده پذیرش ورودی است. به سادگی وارد شوید
عبارتی را که می خواهید محاسبه کنید، به دنبال آن یک نقطه، و سپس RETURN را فشار دهید
مثال

==> 123 + 456*789.

آریباس پاسخ

-: 359907

علامت -: نتیجه را معرفی می کند.
مهم. برای علامت گذاری پایان ورودی خود، همیشه باید یک نقطه "" را تایپ کنید. و سپس
RETURN را فشار دهید.

شما می توانید نتیجه یک محاسبه را به یک متغیر اختصاص دهید، همانطور که در

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

این عدد فرما 6 را محاسبه می کند (** نشان دهنده قدرت) و آن را به
متغیر F6 (توجه داشته باشید که aribas به حروف کوچک و بزرگ حساس است، بنابراین این یکسان نیست f6). بعد
می توانید از این متغیر برای مثال در عبارت استفاده کنید

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

که نشان می دهد (با قضیه فرما) F6 عدد اول نیست.
سه نتیجه اخیر در متغیرهای شبه ذخیره می شوند _, __و ___. برای
به عنوان مثال می توانید آخرین نتیجه را در متغیر x با دستور ذخیره کنید

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

همانطور که در مثال های بالا مشاهده می کنید، aribas از خط زیر استفاده می کند _ برای ساختار خروجی
از اعداد صحیح بزرگ (>= 2**32). همچنین برای ورودی اعداد صحیح می توانید از خط زیر استفاده کنید
تنها شرط این است که بلافاصله قبل و بعد از خط زیر اعداد وجود داشته باشد.
مثال:

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

در اینجا خروجی فاقد خط زیر است، که نشان می دهد z کمتر از 2**32 است.

آریباس برای مثال چندین تابع داخلی برای فاکتورسازی دارد rho_factorize، که
از الگوریتم rho پولارد استفاده می کند.

==> rho_factorize (F6).

کار کردن ..
فاکتور بعد از 512 تکرار پیدا شد

-: 274177

برای یافتن کوفاکتور باقیمانده، دستور را بدهید

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

برای آزمایش اینکه آیا این عامل اول است یا خیر، آزمون احتمالی رابین rab_primetest می تواند
کاربردی:

==> rab_primetest(x).
-: درست است، واقعی

تابع rho_factorize برای یافتن فاکتورهای کوچک خوب است (مثلاً تا 10 اعشار
ارقام)؛ برای وظایف فاکتورسازی پیچیده تر، الگوریتم قدرتمندتری مانند
غربال درجه دوم qs_factorize باید استفاده شود

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

(بسته به قدرت کامپیوتر شما، از چند ثانیه تا چند دقیقه طول می کشد
برای بدست آوردن ضریب اول عدد فرما هفتم.)

کنترل ساختار
La برای حلقه و در حین حلقه در aribas یک نحو مانند 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 استفاده می شود. این مربوط به a
دقت 9 تا 10 رقم اعشار دقت 5120 بیت معادل بیش از 1500 بیت است
ارقام اعشاری

دقت را می توان با استفاده از عملکرد تغییر داد set_floatprec. تابع یک می گیرد
آرگومان عدد صحیح که دقت مورد نظر در بیت است. به طور خودکار به گرد می شود
مقدار بعدی بالاتر در دسترس است. مثلاً بعد از

==> set_floatprec(100).
-: 128

دقت ممیز شناور 128 بیت است و می توانید محاسبه کنید

==> آرکتان(sqrt(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;
برای من := 2 تا n انجام دهم
x := x*i;
پایان.
بازگشت x;
پایان

اگر این را به درستی وارد کرده باشید، aribas نام تابع را بازتاب می دهد

-: چهره

و از این به بعد میتونید استفاده کنید FAC مانند یک تابع داخلی، به عنوان مثال

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

توجه داشته باشید که در داخل تعاریف تابع همه متغیرهای استفاده شده باید به صراحت اعلام شوند.
در حالی که در سطح بالای aribas متغیرهای مفسر را می توان به سادگی توسط
تکالیف در اینجا مثال دیگری وجود دارد که برخی دیگر از انواع داده های پشتیبانی شده توسط را نشان می دهد
aribas:

==> تابع sqrt_list(n: عدد صحیح): آرایه واقعی;
VAR
vec: آرایه[n] واقعی;
من: عدد صحیح
شروع
برای من := 1 تا n انجام دهم
vec[i-1] := sqrt(i);
پایان.
بازگشت vec;
پایان

این تابع آرایه ای از ریشه های مربع اعداد صحیح را از 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)

در یک پروژه برنامه نویسی بزرگتر که در آن به چندین تابع نیاز دارید، آنها را وارد نمی کنید
به طور مستقیم در aribas اعلان کنید اما تعاریف تابع را با یک متن خارجی آماده کنید
ویرایش کنید و آنها را در یک فایل با پسوند ذخیره کنید .ari ، به عنوان مثال abcd.ari . این فایل
سپس می توان توسط aribas با استفاده از دستور

==> بارگذاری ("abcd").

اگر یک خطای نحوی در فایل وجود داشته باشد، پیام خطای فرم را دریافت می کنید

خطا در خط <= 23 فایل بارگذاری شده
اگر: پایان مورد انتظار

که به شما می گوید (در این مثال) خطایی در if ساخت در خط 23 یا
قبلا در فایل (توجه داشته باشید که گاهی اوقات پیام های خطا خیلی دقیق نیستند.) شما
سپس می تواند خطا را تصحیح کند و فایل را دوباره بارگذاری کند.

آنلاین کمک
دستور

==> نمادها (aribas).

لیستی از تمام کلمات کلیدی و نام توابع داخلی را برمی گرداند aribas. این لیست دارد
حدود 200 مدخل است و به شرح زیر شروع و پایان می یابد:

(ARGV, _, __, ___, abs, alloc, and, arccos, arcsin, arctan, arctan2, aribas, array, atof,
atoi، شروع، باینری، بیت_و، بیت_واضح، طول_بیت، ......، tolower، toupper،
رونوشت، true، trunc، نوع، کاربر، var، نسخه، while، write، write_block، write_byte،
نوشته شده)

برای اکثر نمادهای موجود در این لیست، می‌توانید با استفاده از این تابع یک راهنمایی آنلاین کوتاه دریافت کنید
کمک(). مثلا دستور

==> کمک (ARGV).

اطلاعاتی در مورد متغیر داخلی می دهد ARGV، در حالیکه

==> کمک (در حالی که).

نحو را توصیف می کند در حین حلقه اگر به اطلاعات بیشتری از آنچه در آن موجود است نیاز دارید
در راهنمای آنلاین، به اسنادی که می‌توانید در آن بیابید، مراجعه کنید /usr/share/doc/aribas.

چگونه به خروج
برای پایان دادن به aribas جلسه، نوع خروج در aribas سریع

==> خروج

و سپس کلید RETURN (ENTER) را فشار دهید.

اگه نمیخوای بری aribas، اما می خواهید از یک حلقه بی نهایت یا a خارج شوید
محاسبه ای که خیلی طول می کشد، CONTROL-C را تایپ کنید (اگر در حال اجرا هستید aribas از درون
Emacs، باید CONTROL-C را دو بار فشار دهید). این (در بیشتر موارد) جریان را متوقف می کند
محاسبه و بازگشت به aribas سریع.

زمانی که از رابط Emacs استفاده نمی کنید بلکه از نسخه خط فرمان استفاده می کنید aribas، شما
گاهی اوقات وارد وضعیت زیر می شوید: برخی از خط های قبلی حاوی یک خطای تایپی است،
اما برای اصلاح آن نمی توانید به آن خط بازگردید. در این حالت باید به سادگی a را تایپ کنید
توقف کامل.' و به دنبال آن RETURN. یک پیغام خطایی دریافت خواهید کرد که با خیال راحت می توانید
نادیده گرفتن، و یک اعلان جدید ==> ظاهر می شود و به شما امکان می دهد دوباره امتحان کنید.

COMMAND LINE ادله

aribas [گزینه های] [ari-file> [arg1>arg2> ...]]

گزینه های
گزینه های ذیل در دسترس هستند:

-q (حالت ساکت) همه پیام‌ها را روی صفحه نمایش می‌گذارد (نسخه شماره، اعلامیه حق چاپ،
و غیره) زمانی که aribas آغاز شده است

-v (حالت پرحرف، پیش‌فرض) پیام‌ها را در زمانی که روی صفحه نمایش داده می‌شود سرکوب نمی‌کند aribas is
آغاز شده.

-c
aribas هنگام نوشتن روی صفحه، خط خودش را می شکند. به طور معمول آن را فرض می کند
که صفحه نمایش (یا پنجره ای که در آن aribas اجرا می شود) دارای 80 ستون است. با -c
گزینه دیگری را می توانید تنظیم کنید که باید بین 40 تا 160 باشد (به صورت اعشاری
نمایندگی). مثلا اگر بدوید aribas در یک پنجره Xterm با 72
ستون‌ها، از گزینه -c72 استفاده کنید (یا -c 72، فاصله بین -c و عدد است
اختیاری).

-m
اینجا عددی (در نمایش دهدهی) بین 500 و 32000 است
عدد نشان می دهد که چند کیلوبایت رم aribas باید برای aribas پشته.
مقدار پیش‌فرض بستگی به گزینه‌های مورد استفاده در زمان دارد aribas تدوین شد. معمولا،
تحت یونیکس یا لینوکس 6 مگابایت است که مربوط به -m6000 است

-h of کمک فایل>
کمک آنلاین از aribas بستگی به فایل 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 استفاده کنید.

با یک بسته دبیان که به درستی نصب شده است aribas نباید لازم باشد
از این گزینه استفاده کنید

-p
با این گزینه می توانید یک مسیر جستجو برای بارگذاری فایل ها با آن مشخص کنید aribas منبع
کد ممکن است نام مسیر (مطلق) یک دایرکتوری باشد یا
چندین نام مسیر که با دو نقطه از هم جدا شده اند. فرض کنید شما تماس گرفته اید aribas با
گزینه

-p/usr/local/lib/aribas:~/ari/نمونه ها

و اینکه فهرست اصلی شما /home/alice/ است. سپس دستور

==> بار ("عامل").

فایل factor.ari را ابتدا در دایرکتوری فعلی و سپس در فهرست جستجو می کند
دایرکتوری /usr/local/lib/aribas و در نهایت در /home/alice/ari/examples.

-b حالت دسته ای هنگام بارگذاری aribas فایل کد منبع از خط فرمان را ببینید
زیر کلیک کنید.

برای مثال، گزینه های یک حرفی که نیازی به آرگومان ندارند، ممکن است ادغام شوند

aribas -q -b

برابر است با

aribas -qb

بیشتر فرمان خط استدلال

آرگومان خط فرمان بعدی بعد از گزینه ها به عنوان نام a تفسیر می شود
پرونده با aribas کد منبع اگر نام فایل پسوند ari. باشد، این
پسوند ممکن است حذف شود. فایل مانند دستور بارگذاری می شود بار(" ")
پس از شروع داده شده بود aribas در aribas سریع. اگر فایل نیست
در دایرکتوری فعلی یافت می شود و در دایرکتوری های مشخص شده توسط آن جستجو می شود
گزینه -p اگر گزینه -b داده شده باشد، فایل بارگذاری و اجرا می شود.
بعد از آن aribas بدون نشان دادن اعلان خارج می شود. اگر فایل نمی تواند بارگذاری شود
کاملا به دلیل یک خطا، aribas بلافاصله پس از پیام خطا خارج می شود.

...
هنگامی که آرگومان های خط فرمان بیشتری دنبال می شوند ، جمع آوری می شوند (به عنوان
رشته ها) همراه با در بردار ARGV که از آنجا قابل دسترسی است
در داخل aribas. مثال: اگر تماس بگیرید aribas با خط فرمان

استارت آپ aribas 4536 eisenstein

و دایرکتوری فعلی حاوی فایل startup.ari است، سپس aribas آن را بارگذاری می کند و
بردار ARGV فرم دارد

==> ARGV.
-: ("راه اندازی"، "4536"، "ایزنشتاین")

اگر به برخی آرگومان‌ها به‌عنوان اعداد و نه رشته‌ها نیاز دارید، می‌توانید آن‌ها را بر اساس تبدیل کنید
اتوی (و یا اتوف) در مثال ما

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

آن را انجام خواهد داد. طول بردار ARGV را می توان تعیین کرد طول (ARGV).

دویدن ARIBAS در داخل EMACS

شما می توانید اجرا کنید aribas از داخل Emacs با دادن دستور (در مینی بافر Emacs)

Mx run-aribas

(اگر کلید META ندارید، به جای Mx از ESC x استفاده کنید) سپس aribas در بارگذاری خواهد شد
یک پنجره Emacs با نام *aribas* و می توانید ورودی خود را در آن ویرایش کنید aribas با معمول
دستورات Emacs

اگر ورودی شما با یک نقطه پایان می‌یابد. و RETURN را فشار دهید، به ارسال می شود aribas. اگر
با این حال ورودی کامل شما با یک نقطه پایان نمی یابد، (مثلاً در پاسخ به a
خواندن، ورودی به ارسال می شود aribas توسط Cj (Control-j) یا Cc RETURN.

اگر می‌خواهید یک ورودی قبلی را تکرار کنید، Mp (یا ESC p) از طریق ورودی به عقب می‌چرخد
تاریخچه، و Mn (یا ESC n) چرخه رو به جلو است.

یک Control-C به ارسال می شود aribas توسط Cc Cc (دوبار Cc را فشار دهید).

امکان شروع نیز وجود دارد aribas از Emacs با آرگومان های خط فرمان. برای این
هدف از فرمان

Cu Mx run-aribas

باید داده شود. سپس یک اعلان

run-aribas: aribas

در Minibuffer Emacs ظاهر می شود و برای مثال می توانید خط فرمان را تکمیل کنید

run-aribas: استارت آپ aribas 4536 eisenstein

(بالا را ببین).

پیکربندی فایل

گزینه هایی برای دویدن aribas را می توان با استفاده از یک فایل پیکربندی با نام نیز مشخص کرد
.arirc. آریباس یک فایل پیکربندی را به ترتیب زیر جستجو می کند:

1) دایرکتوری فعلی
2) فهرست اصلی کاربر

یک احتمال سوم وجود دارد: می توانید یک متغیر محیطی را تعریف کنید ARIRC حاوی
نام فایل پیکربندی (که ممکن است با arirc. متفاوت باشد)، شامل فایل کامل
مسیر.

در فایل پیکربندی می توانید تمام گزینه های خط فرمان که در بالا توضیح داده شد را مشخص کنید
با علامت - شروع می شود، اما برای هر گزینه باید از یک خط جداگانه استفاده شود. خطوط
با کاراکتر # شروع می شود یا خطوط خالی نادیده گرفته می شوند. علاوه بر گزینه ها
در بالا توضیح داده شد، فایل پیکربندی ممکن است حاوی باشد aribas کد منبع به این منظور
باید خط خواندن وجود داشته باشد

-init

سپس همه چیز بعد از این خط به عنوان رفتار می شود aribas کد منبع و زمانی که اجرا می شود aribas
آغاز شده است

وجود یک فایل پیکربندی برای aribas امکان دادن را منتفی نمی کند
آرگومان های خط فرمان اگر یک گزینه (مثلاً گزینه -m) در هر دو مشخص شده باشد
فایل پیکربندی و خط فرمان اما با مقادیر مختلف، سپس مشخصات
در خط فرمان معتبر است. به طور مشابه، یک گزینه -v در خط فرمان، یک -q را لغو می کند
گزینه در فایل پیکربندی اگر کد -init در فایل پیکربندی وجود دارد و یک
آرگومان در خط فرمان، سپس کد -init ابتدا اجرا می شود و
پس از آن بارگذاری می شود و کد آن اجرا می شود.

با استفاده از خدمات onworks.net از aribas به صورت آنلاین استفاده کنید