aribas - عبر الإنترنت في السحابة

برنامج:

اسم

aribas - مترجم حسابي متعدد الدقة

موجز

أريبا [الخيارات] [ملف آري> [أرج 1>أرج 2> ...]]

تمت كتابة صفحة الدليل هذه من أجل دبيان لأن البرنامج الأصلي لم يكن يحتوي على رجل
.

الوصف

اريباس هو مترجم تفاعلي مناسب للعمليات الحسابية ذات الأعداد الصحيحة الكبيرة
حساب النقطة العائمة متعدد الدقة. يحتوي على بناء جملة مشابه لـ Pascal أو Modula-2،
ولكنه يحتوي أيضًا على ميزات من لغات برمجة أخرى مثل C وLisp وOberon.

الاستعمال

أبسط طريقة للاستخدام أريبا بمثابة آلة حاسبة للحساب (عدد صحيح كبير). بعد
أريبا يتم بدء تشغيله، فإنه يعرض مطالبة ==> وعلى استعداد لقبول المدخلات. ببساطة أدخل
التعبير الذي تريد حسابه، متبوعًا بنقطة، ثم اضغط على RETURN، لـ
مثال

==> 123 + 456*789.

اريباس الأجوبة

-: 359907

الرمز -: يقدم النتيجة.
هام. لوضع علامة على نهاية الإدخال الخاص بك، يجب عليك دائمًا كتابة النقطة "." وثم
اضغط على العودة.

يمكنك إسناد نتيجة العملية الحسابية إلى متغير، كما في

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

هذا يحسب رقم الفرمات السادس (** يدل على الأسي) ويعينه إلى
متغير F6 (لاحظ أن أريبا حساسة لحالة الأحرف، لذا فهي ليست مثل f6). لاحقاً
يمكنك استخدام هذا المتغير على سبيل المثال في التعبير

==> 123**(F6 - 1) تعديل F6.
-: 688_66214_58712_63971

مما يوضح (بواسطة نظرية فيرما) أن F6 ليس عددًا أوليًا.
يتم تخزين أحدث ثلاث نتائج في المتغيرات الزائفة _, __و ___. إلى
على سبيل المثال يمكنك تخزين النتيجة الأخيرة في المتغير x عن طريق الأمر

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

كما ترون في الأمثلة أعلاه، أريبا يستخدم الشرطة السفلية _ لهيكلة الإخراج
من الأعداد الصحيحة الكبيرة (>= 2**32). أيضًا لإدخال الأعداد الصحيحة، يمكنك استخدام الشرطة السفلية، و
الشرط الوحيد هو أن يكون هناك أرقام قبل وبعد الشرطة السفلية مباشرة،
مثال:

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

هنا لا يحتوي الإخراج على الشرطة السفلية، مما يدل على أن z أقل من 2**32.

اريباس لديه العديد من الوظائف المضمنة للتحليل، على سبيل المثال rho_factorize، التي
يستخدم خوارزمية بولارد رو.

==> 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).

(اعتمادًا على قوة جهاز الكمبيوتر الخاص بك، سيستغرق الأمر بضع ثوانٍ إلى بضع دقائق
للحصول على العامل الأولي لرقم فيرمات السابع.)

مراقبة الهياكل
• For حلقة و في حين حلقة في أريبا لديك بناء الجملة كما في Modula-2. على سبيل المثال،
تسلسل الأوامر التالي يحسب مضروب 100.

==> س := 1;
بالنسبة إلى i: = 2 to 100 do
س := س*أنا;
الغاية؛
x.

كما ترون في هذا المثال، قد يمتد الإدخال عبر عدة أسطر.

ما سبق For حلقة يعادل ما يلي في حين حلقة

==> س := 1; أنا := 2;
بينما أنا <= 100 أفعل
س := س*أنا;
المؤتمر الوطني العراقي (أنا)؛
الغاية؛
x.

البناء المتفرع
if then السيف آخر النهاية
لديه أيضًا نفس بناء الجملة كما في Modula-2.

الدقة المتعددة يطفو على السطح نقطة علم الحساب
اريباس يدعم أنواعًا مختلفة من أرقام الفاصلة العائمة التي يتم تمثيلها داخليًا
مع الأجزاء العشرية ذات طول البتات المختلفة:

Single_float 32 بت
double_float 64 بت
long_float 128 بت

والعديد من الدقة الأعلى حتى حد يعتمد على التنفيذ، عادةً 1024 أو
5120 بت، والتي يمكن تحديدها من خلال الوظيفة max_floatprec(). بشكل افتراضي، متى
حساب مع أرقام نوع البيانات حقيقي، يتم استخدام العوامات المفردة. وهذا يتوافق مع أ
دقة من 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: عدد صحيح): عدد صحيح؛
فار
س، ط: عدد صحيح؛
بدأ
س := 1;
لأني := 2 إلى n افعل
س := س*أنا;
الغاية؛
عودة س ؛
نهاية.

إذا كنت قد أدخلت هذا بشكل صحيح، أريبا يردد اسم الوظيفة

-: القوات المسلحة الكونغولية

ومن الآن فصاعدا يمكنك استخدامها القوات المسلحة الكونغولية بنفس طريقة الوظيفة المضمنة، على سبيل المثال

==> القوات المسلحة الكونغولية(32).
-: 2_63130_83693_36935_30167_21801_21600_00000

لاحظ أنه داخل تعريفات الوظائف يجب الإعلان بشكل صريح عن جميع المتغيرات المستخدمة،
بينما في المستوى الأعلى من أريبا يمكن إنشاء متغيرات المترجم ببساطة عن طريق
تعيينات. فيما يلي مثال آخر يوضح بعض أنواع البيانات الأخرى التي يدعمها
أريبا:

==> الدالة sqrt_list(n: عدد صحيح): مجموعة حقيقية؛
فار
vec: صفيف [n] حقيقي؛
i: عدد صحيح
بدأ
لأني := 1 إلى n افعل
vec[i-1] := sqrt(i);
الغاية؛
العودة فيك.
نهاية.

تُرجع هذه الدالة مصفوفة من الجذور التربيعية للأعداد الصحيحة من 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 أو
في وقت سابق من الملف. (لاحظ أن رسائل الخطأ لا تكون دقيقة جدًا في بعض الأحيان).
ويمكن بعد ذلك تصحيح الخطأ وتحميل الملف مرة أخرى.

اونلاين مساعدة
الامر

==> الرموز (aribas).

تقوم بإرجاع قائمة بجميع الكلمات الرئيسية وأسماء الوظائف المضمنة لـ أريبا. هذه القائمة لديها
حوالي 200 مدخل، ويبدأ وينتهي على النحو التالي:

(ARGV، _، __، ___، abs، alloc، و، arccos، arcsin، arctan، arctan2، aribas، array، atof،
atoi، ابدأ، ثنائي، bit_and، bit_clear، bit_length، ......، tolower، toupper،
نص، صحيح، trunc، نوع، مستخدم، فار، إصدار، أثناء، كتابة، write_block، write_byte،
الكتابة)

بالنسبة لمعظم الرموز الموجودة في هذه القائمة، يمكنك الحصول على مساعدة قصيرة عبر الإنترنت باستخدام الوظيفة
يساعد(). على سبيل المثال ، الأمر

==> مساعدة (ARGV).

يعطي معلومات عن المتغير المدمج ARGV، بينما

==> مساعدة (أثناء).

يصف بناء الجملة في حين حلقة. إذا كنت بحاجة إلى معلومات أكثر من تلك الواردة
في التعليمات عبر الإنترنت، راجع الوثائق التي يمكن العثور عليها في /usr/share/doc/aribas.

كيفية إلى خروج
لإنهاء أ أريبا الجلسة، النوع خروج في أريبا موجه

==> خروج

ثم اضغط على مفتاح العودة (ENTER).

إذا كنت لا تريد المغادرة أريبا، ولكن تريد الخروج من حلقة لا نهائية أو
الحساب الذي يستمر لفترة طويلة جدًا، اكتب CONTROL-C (إذا كنت تقوم بتشغيل أريبا من داخل
إيماكس، يجب الضغط على CONTROL-C مرتين). سيؤدي هذا (في معظم الحالات) إلى إيقاف التيار
الحساب والعودة إلى أريبا مستعجل.

عندما لا تستخدم واجهة Emacs ولكن إصدار سطر الأوامر من أريبا، كنت
في بعض الأحيان نواجه الموقف التالي: يحتوي بعض السطر السابق على خطأ في الكتابة،
لكن لا يمكنك العودة إلى هذا السطر لتصحيحه. في هذه الحالة يجب عليك ببساطة كتابة أ
نقطة '."، متبوعًا بالرجوع. سوف تحصل على رسالة خطأ يمكنك القيام بها بأمان
تجاهل، وموجه جديد ==> يظهر مما يسمح لك بالمحاولة مرة أخرى.

COMMAND خط الحجج

أريبا [الخيارات] [ملف آري> [أرج 1>أرج 2> ...]]

الخيارات
الخيارات التالية متاحة:

-q (الوضع الهادئ) يمنع ظهور كافة الرسائل على الشاشة (رقم الإصدار، إشعار حقوق الطبع والنشر،
الخ) متى أريبا لقد بدءت

-v (الوضع المطول، الافتراضي) لا يمنع ظهور الرسائل على الشاشة عندما أريبا is
بدأت.

-c
أريبا يقوم بكسر الخط الخاص به عند الكتابة على الشاشة. عادة يفترض ذلك
أن الشاشة (أو النافذة التي أريبا تشغيل) يحتوي على 80 عمودًا. مع -ج
الخيار يمكنك تعيين رقم آخر، والذي يجب أن يكون بين 40 و 160 (بالنظام العشري
التمثيل). على سبيل المثال، إذا قمت بتشغيل أريبا في نافذة Xterm مع 72
الأعمدة، استخدم الخيار -c72 (أو -c 72، المسافة بين -c والرقم هي
اختياري).

-m
هنا هو رقم (في التمثيل العشري) بين 500 و 32000. هذا
يشير الرقم إلى عدد كيلو بايت من ذاكرة الوصول العشوائي أريبا يجب أن تستخدم ل أريبا كومة.
تعتمد القيمة الافتراضية على الخيارات المستخدمة متى أريبا تم تجميعها. عادة،
في نظام UNIX أو LINUX تبلغ 6 ميجابايت، أي ما يعادل -m6000

-h <المسار of مساعدة ملف>
المساعدة عبر الإنترنت من أريبا يعتمد على الملف aribas.hlp الذي يجب أن يكون موجودًا فيه
نطاق متغير البيئة PATH. إذا لم يكن هذا هو الحال يمكنك تحديد
المسار الدقيق لملف المساعدة باستخدام الخيار -h. إذا كان على سبيل المثال الملف
aribas.hlp موجود في الدليل / البيرة / المحلية / ليب، استخدم الخيار -h / البيرة / المحلية / ليب
(المسافة بعد -h ليست ضرورية). يمكن أيضًا استخدام الخيار -h في حالة المساعدة
الملف له اسم مختلف. إذا كان ملف المساعدة يسمى help-aribas ويقع في ملف
الدليل /home/joe/ari، استخدم -h/home/joe/ari/help-aribas.

مع تثبيت حزمة دبيان بشكل صحيح أريبا لا ينبغي أن يكون من الضروري أن
استخدم هذا الخيار.

-p
باستخدام هذا الخيار يمكنك تحديد مسار البحث لتحميل الملفات به أريبا مصدر
شفرة. قد يكون إما اسم المسار (المطلق) لدليل واحد أو
عدة أسماء مسارات مفصولة بنقطتين. لنفترض أنك اتصلت أريبا مع
الخيار

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

وأن الدليل الرئيسي الخاص بك هو /home/alice/. ثم الأمر

==> تحميل ("عامل").

سيتم البحث في الملف Factor.ari أولاً في الدليل الحالي، ثم في المجلد
الدليل /usr/local/lib/aribas وأخيرا في /home/alice/ari/examples.

-b الوضع الدفعي عند تحميل أريبا ملف التعليمات البرمجية المصدر من سطر الأوامر، انظر
أدناه.

على سبيل المثال، يمكن دمج خيارات الحرف الواحد التي لا تتطلب أي وسائط

أريباس -q -ب

ما يعادل

اريباس -qb

إضافي أمر خط الحجج

يتم تفسير وسيطة سطر الأوامر التالية بعد الخيارات على أنها اسم ملف
ملف مع أريبا مصدر الرمز. إذا كان اسم الملف له الامتداد .ari، فهذا
قد يتم حذف التمديد. يتم تحميل الملف كما لو كان الأمر حمولة(" ")
وقد أعطيت بعد بداية أريبا في أريبا اِسْتَدْعَى. إذا لم يكن الملف
تم العثور عليه في الدليل الحالي، ويتم البحث عنه في الدلائل المحددة بواسطة ملف
خيار -p. إذا تم إعطاء الخيار -b، فسيتم تحميل الملف وتنفيذه.
بعدئذ أريبا يخرج دون إظهار أنه موجه. إذا كان لا يمكن تحميل الملف
تماما بسبب خطأ، أريبا يخرج مباشرة بعد رسالة الخطأ.


عندما تتبع وسائط سطر الأوامر الأخرى ، يتم جمعها (كما
سلاسل) مع في المتجه ARGV والتي يمكن الوصول إليها من
في غضون أريبا. مثال: إذا اتصلت أريبا مع سطر الأوامر

اريباس بدء التشغيل 4536 آيزنشتاين

والدليل الحالي يحتوي على ملف setup.ari، ثم أريبا يحمله و
المتجه ARGV له الشكل

==> ARGV.
-: ("بدء التشغيل"، "4536"، "آيزنشتاين")

إذا كنت بحاجة إلى بعض الوسائط كأرقام وليس كسلاسل، فيمكنك تحويلها عن طريق
أتوي (أو في ل); في مثالنا

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

سوف تفعل ذلك. طول المتجه ARGV يمكن تحديدها بواسطة الطول (ARGV).

الركض و المشي أريباس في غضون إيماكس

يمكنك الجري أريبا من داخل Emacs عن طريق إعطاء الأمر (في المخزن المؤقت الصغير لـ Emacs)

Mx تشغيل aribas

(إذا لم يكن لديك مفتاح META، فاستخدم ESC x بدلاً من Mx) ثم أريبا سيتم تحميلها في
نافذة Emacs بالاسم *aribas* ويمكنك تعديل مدخلاتك إليها أريبا مع المعتاد
أوامر إيماكس.

إذا كان إدخالك ينتهي بنقطة "." وتضغط على RETURN، يتم إرساله إلى أريبا. إذا
ومع ذلك، فإن إدخالك الكامل لا ينتهي بنقطة (على سبيل المثال، ردًا على أ
readln)، يتم إرسال الإدخال إلى أريبا بواسطة Cj (Control-j) أو Cc RETURN.

إذا كنت تريد تكرار إدخال سابق، فإن Mp (أو ESC p) يتراجع للخلف من خلال الإدخال
التاريخ ودورات Mn (أو ESC n) للأمام.

يتم إرسال Control-C إلى أريبا بواسطة Cc Cc (اضغط Cc مرتين).

ومن الممكن أيضا أن تبدأ أريبا من Emacs باستخدام وسيطات سطر الأوامر. لهذا
الغرض من الأمر

تشغيل Cu Mx-aribas

يجب أن تعطى. ثم موجه

تشغيل أريبا: أريبا

يظهر في Minibuffer الخاص بـ Emacs ويمكنك إكمال سطر الأوامر، على سبيل المثال

تشغيل aribas: بدء التشغيل aribas 4536 eisenstein

(أنظر فوق).

CONFIGURATION FILE

خيارات للتشغيل أريبا يمكن تحديده أيضًا باستخدام ملف التكوين بالاسم
.arirc. اريباس يبحث عن ملف التكوين بالترتيب التالي:

1) الدليل الحالي
2) الدليل الرئيسي للمستخدم

هناك احتمال ثالث: يمكنك تحديد متغير البيئة ARIRC يحتوي على
اسم ملف التكوين (والذي قد يكون مختلفًا عن .arirc)، بما في ذلك الملف الكامل
مسار.

في ملف التكوين، يمكنك تحديد جميع خيارات سطر الأوامر الموضحة أعلاه
تبدأ بعلامة -، ولكن يجب استخدام سطر منفصل لكل خيار على حدة. خطوط
التي تبدأ بالحرف # أو يتم تجاهل الأسطر الفارغة. بالإضافة إلى الخيارات
الموصوفة أعلاه، قد يحتوي ملف التكوين على أريبا مصدر الرمز. لهذا الغرض
يجب أن يكون هناك قراءة الخط

-فيه

ثم يتم التعامل مع كل شيء بعد هذا السطر على أنه أريبا كود المصدر وتنفيذها عندما أريبا
لقد بدءت.

وجود ملف التكوين ل أريبا لا يستبعد إمكانية العطاء
وسائط سطر الأوامر. إذا تم تحديد خيار (على سبيل المثال الخيار -m) في ملف
ملف التكوين وسطر الأوامر ولكن بقيم مختلفة، ثم المواصفات
في سطر الأوامر صالح. وبشكل مماثل، يتجاوز الخيار -v في سطر الأوامر الخيار -q
الخيار في ملف التكوين. إذا كان هناك كود -init في ملف التكوين وملف
الوسيطة في سطر الأوامر، ثم يتم تنفيذ الكود -init أولاً و
بعد ذلك يتم تحميل وتنفيذ التعليمات البرمجية الخاصة به.

استخدم aribas عبر الإنترنت باستخدام خدمات onworks.net