GP(1) General Commands Manual GP(1)

gp - ماشین‌حساب و سیستم محاسبات جبری PARI

gp [-s stacksize] [-p primelimit] [--emacs] [-f|--fast] [-q|--quiet] [-D|--default key=val] [--help] [--test] [--texmacs] [--version] [--version-short] [ file1 file2 ...]

ماشین‌حساب PARI-GP را با نام gp فراخوانی می‌کند؛ gp یک ماشین‌حساب برنامه‌پذیر پیشرفته و تخصصی در نظریه اعداد است که محاسبات را تا جای ممکن به صورت نمادین، و در صورت نیاز به شکل عددی انجام می‌دهد و دربردارنده گستره وسیعی از توابع محاسباتی است: فاکتورگیری، منحنی‌های بیضوی، نظریه گالوا، نظریه میدان‌های رده، فرم‌های مدولار و غیره. دستوراتی که به زبان اسکریپت‌نویسی GP نوشته می‌شوند، می‌توانند به شکل تعاملی وارد شده یا از فایل‌ها بارگذاری شوند.

اگر فایل‌هایی نظیر 'file1' ،'file2' و... در انتهای خط فرمان مشخص شوند، هنگام شروع برنامه بارگذاری می‌شوند؛ این فایل‌ها باید به زبان GP نوشته شده باشند.

گزینه‌های خط فرمان در دو قالب کوتاه (-f) و استاندارد پازیکس (--fast) در دسترس هستند. آرگومان‌های عددی می‌توانند به دلخواه کاربر با یک پسوند ضریب k ، M یا G همراه باشند؛ در این صورت، مقدار آرگومان به ترتیب در 10^3، 10^6 یا 10^9 ضرب می‌شود.

شروع سریع (یا اعمال تنظیمات کارخانه). فایل ترجیحات .gprc (توضیح داده شده در زیر) را هنگام شروع برنامه نمی‌خواند.
[منسوخ‌شده] هنگام شروع، gp جدولی از اعداد اول کوچک را برای استفاده در محاسبات نظریه اعداد محاسبه می‌کند. اگر primelimit تنظیم شود، جدول شامل اعداد اول تا آن مرز خواهد بود، به جای مقدار پیش‌فرض (= 1048576). امروزه تغییر دادن این مقدار تقریباً غیرضروری است.
حالت ساکت. سربرگ‌ها، شماره‌های تاریخچه و پیام خداحافظی را نمایش نمی‌دهد.
دستور default(key, val); را در زمان شروع اجرا کرده و مقادیر فایل ترجیحات gprc را بازنویسی می‌کند. مقدار 'val' باید مقداری ثابت باشد و نباید هیچ‌گونه محاسبه‌ای در بر داشته باشد (برای نمونه 1+1 مجاز نیست). هر تعداد از این عبارات می‌تواند در خط فرمان درج شود. یک کلید می‌تواند چندین بار مقداردهی شود که در این صورت آخرین مقدار اولویت دارد.
اندازه پشته (stack) داخلی gp که در زمان شروع تخصیص می‌یابد. زمانی که فضای حافظه پشته gp تمام شود، محاسبات جاری را متوقف کرده و استثنای stack overflow می‌دهد. اگر این رخداد مکرر است، برنامه را با پشته بزرگ‌تری اجرا کنید. اندازه پشته را می‌توان از درون خود gp نیز با دستور default(parisize,limit); افزایش داد؛ همچنین پیشنهاد می‌شود که مقدار parisize را در فایل .gprc تنظیم کنید تا میان نشست‌ها پایدار بماند؛ مقدار 80MB مقداری منطقی است. اکیداً توصیه می‌شود که parisizemax را نیز به یک مقدار مثبت و بسیار بزرگ‌تر در .gprc تنظیم نمایید (در حدود توان سیستم شما، معمولاً نصف حافظه رم دردسترس یا مشابه آن): این پیکربندی تلاش می‌کند تا محاسبات در بازه parisize انجام شود اما در شرایط موقت اجازه می‌دهد تا سقف parisizemax گسترش یابد. توجه داشته باشید که محاسبات با یک پشته کوچک‌تر به دلیل محلی بودن داده‌ها می‌تواند کارایی بالاتری داشته باشد. در نهایت، متغیرهای threadsize و threadsizemax نقش‌های مشابهی را در نسخه موازی gp ایفا می‌کنند.
برنامه gp می‌تواند درون یک پوسته Emacs اجرا شود (برای جزئیات به دفترچه راهنمای GP مراجعه کنید). در این حالت این فلگ برای تعامل بی‌نقص با بسته PariEmacs (pari.el) مورد نیاز است. این گزینه به صورت خودکار توسط بسته pari.el تنظیم می‌شود و اگر آن را بیرون از یک نشست Emacs تنظیم کنید، باعث ناهماهنگی در نمایش خواهد شد.
چاپ چکیده‌ای از گزینه‌های موجود خط فرمان.
اجرای gp در حالت آزمایشی: جلوگیری از چاپ شماره‌های تاریخچه و شکستن خطوط طولانی خروجی (جهت خوانا بودن خروجی diff). تنها برای بنچمارک‌ها.
برنامه gp می‌تواند از درون رابط TeXmacs اجرا شود. این فلگ توسط TeXmacs تنظیم می‌شود تا کانال‌های ارتباطی ویژه فعال شوند. آن را به صورت دستی تنظیم نکنید.
چاپ اطلاعات نسخه (بنر) و سپس خروج.
چاپ فقط شماره نسخه و سپس خروج.

?
برای دریافت راهنمای آنلاین.
??
برای دریافت راهنمای آنلاین تکمیلی (به طور دقیق‌تر، فراخوانی برنامه کمکی خارجی که به طور پیش‌فرض gphelp است).
(یا \q)، یا EOF (کلیدهای Ctrl-D) برای خروج از gp.

موارد زیر تنها در صورتی کار می‌کنند که gp با کتابخانه GNU readline پیوند (link) داده شده باشد:

کلیدهای جهت‌نما
برای ویرایش و مشاهده تاریخچه ورودی‌ها.
برای تکمیل خودکار نام‌ها و دستورات.

مستندات زیر در توزیع استاندارد برنامه گنجانده شده‌اند (در اصل با فرمت TeX) و همچنین می‌توان آن‌ها را از نشانی زیر دریافت کرد:

https://pari.math.u-bordeaux.fr/doc.html
یا به صورت برخط در نشانی زیر مطالعه کرد:
https://pari.math.u-bordeaux.fr/dochtml/html
(users.dvi) - راهنمای جامع کاربر برای PARI/GP
(library.dvi) - راهنمای کاربر کتابخانه PARI
(develop.dvi) - راهنمای توسعه‌دهندگان برای کتابخانه PARI
(tutorial.dvi) - آموزش گام‌به‌گام PARI/GP
(refcard*.dvi) - کارت‌های راهنمای مرجع سریع PARI/GP

فایل اجرایی اصلی
$HOME/.gprc
(یا $GPRC در صورت تعریف) فایل تنظیمات ترجیحی کاربر که در آغاز اجرا توسط هر پوسته gp خوانده می‌شود. فایل نمونه gprc.dft همراه با توزیع برنامه ارائه شده است. اگر این فایل پیدا نشود، مسیر /etc/gprc بررسی خواهد شد.
<logfile>
فایلی برای ثبت وقایع تمام دستورات و نتایج؛ پیش‌فرض: pari.log (باید گزینه پیش‌فرض log را در gprc یا به صورت تعاملی فعال کنید).
<psfile>
فایلی برای ذخیره ترسیم‌های PostScript؛ پیش‌فرض: pari.ps
<histfile>
فایلی که در آن gp تاریخچه ورودی‌ها را نگه‌داری می‌کند (باید گزینه پیش‌فرض histfile را در gprc تعریف کنید).
برنامه راهنمای خارجی پیش‌فرض (همان‌طور که در بالا آمد).
*.gp
اسکریپت‌ها و برنامه‌های نوشته‌شده به زبان GP.

$GPRC
محل جستجوی فایل تنظیمات ترجیحی کاربر (gprc)؛ اگر این فایل پیدا نشود، سپس مسیرهای $HOME/.gprc و /etc/gprc و در نهایت فایلی با نام 'gprc' در دایرکتوری datadir متعلق به PARI جستجو می‌شود.
$GP_DATA_DIR
دایرکتوری حاوی داده‌های نصب‌شده توسط بسته‌های اختیاری PARI. برای نمونه فایل‌های حل‌کننده‌های گالوا در دایرکتوری galdata/ مورد نیاز تابع polgalois در درجات ۸ تا ۱۱؛ یا چندجمله‌ای‌های مدولار در seadata/ که توسط تابع ellap برای میدان‌های پایه بزرگ استفاده می‌شوند. این متغیر محیطی بر مقدار 'datadir' تعریف‌شده در زمان Configure اولویت دارد.
$GP_POSTSCRIPT_VIEWER
برنامه‌ای برای نمایش فایل‌های PostScript که توسط موتور گرافیکی plotps به کار می‌رود. این موتور در صورتی به عنوان جایگزین استفاده می‌شود که هیچ کتابخانه گرافیکی در زمان Configure در پلتفرم شما موجود نبوده باشد. (نمودار را در فایلی موقت ذخیره کرده و سپس آن را باز می‌کند).
$GP_SVG_VIEWER
برنامه‌ای برای نمایش فایل‌های تصویری SVG که توسط موتور گرافیکی plotsvg به کار می‌رود. این موتور نیز در صورت در دسترس نبودن کتابخانه‌های گرافیکی دیگر استفاده می‌شود. (نمودار را در فایلی موقت ذخیره کرده و سپس آن را باز می‌کند).
$GPHELP
نام برنامه راهنمای خارجی که با میانبرهای ?? و ??? صدا زده می‌شود.
$GPTMPDIR
نام دایرکتوری که فایل‌های موقت در آن ایجاد خواهند شد.

صفحه خانگی پروژه PARI در نشانی زیر قرار دارد:

https://pari.math.u-bordeaux.fr

چندین فهرست پستی به بسته PARI/GP اختصاص یافته‌اند و بیشتر بازخوردها باید به آن‌ها فرستاده شوند. برای اطلاعات بیشتر نشانی زیر را ببینید:

https://pari.math.u-bordeaux.fr/lists.html
مهم‌ترین فهرست‌ها عبارتند از:

- pari-announce (مدیریت‌شده): برای اعلام انتشار نسخه‌های اصلی برنامه.

- pari-dev: برای تمام مسائل مربوط به توسعه PARI از جمله پیشنهادات، پرسش‌های فنی، گزارش اشکالات یا ارسال وصله‌ها.

- pari-users: برای گفتگو درباره سایر موارد، به ویژه پرسش و درخواست کمک.

جهت عضویت، یک ایمیل خالی با عنوان "subscribe" به ترتیب به نشانی‌های زیر بفرستید:


pari-announce-request@pari.math.u-bordeaux.fr


pari-users-request@pari.math.u-bordeaux.fr


pari-dev-request@pari.math.u-bordeaux.fr

اشکالات و باگ‌ها باید در سامانه آنلاین رهگیری اشکال ما ثبت شوند که از طریق وب‌سایت PARI یا مستقیماً از نشانی زیر در دسترس است:

https://pari.math.u-bordeaux.fr/Bugs
دستورالعمل‌های بیشتر در آن صفحه آمده است.

با وجود حرف G در ابتدای نام، GP هیچ ارتباطی با گنو (GNU) ندارد. نسخه اول در ابتدا GPC نامیده می‌شد که مخفف Great Programmable Calculator (ماشین‌حساب برنامه‌پذیر عالی) بود. پس از آنکه کاربران به آن "ماشین‌حساب GPC" گفتند، حرف C پایانی حذف شد.

نام PARI نیز ارتباطی با پایتخت فرانسه ندارد. این نام کنایه‌ای به مراحل اولیه پروژه است، زمانی که نویسندگان قصد داشتند کتابخانه‌ای برای «حساب پاسکال» (Pascal ARIthmetic) در زبان برنامه‌نویسی پاسکال پیاده‌سازی کنند، هرچند به سرعت به زبان C تغییر مسیر دادند.

جهت اطلاع بیشتر: بلز پاسکال (Blaise Pascal) (۱۶۲۳-۱۶۶۲) ریاضی‌دان و فیلسوف نامدار فرانسوی و یکی از پایه‌گذاران نظریه احتمالات بود که یکی از نخستین «ماشین‌های حساب مکانیکی» را اختراع کرد. او زمانی «برهان شرط‌بندی» معروف خود را درباره وجود خدا ارائه داد: چه خدا وجود داشته باشد یا نه، با ایمان داشتن چیزی را از دست نمی‌دهم، در حالی که اگر وجود داشته باشد و من گناهکار باشم... این برهان به "pari de Pascal" (شرط‌بندی پاسکال) شهرت دارد.

جالب اینکه کلمه PARI در زبان فارسی به معنای موجود افسانه‌ای «پری» است.

بسته PARI در ابتدا توسط کریستین باتو (Christian Batut)، دومینیک برناردی (Dominique Bernardi)، آنری کوئن (Henri Cohen) و میشل اولیویه (Michel Olivier) در آزمایشگاه A2X دانشگاه بوردو ۱ فرانسه نوشته شد؛ تا نسخه 1.39.15 (سال ۱۹۹۵) توسط آنری کوئن نگه‌داری می‌شد و پس از آن تحت سرپرستی کریم بلعباس (Karim Belabas) توسعه یافته است.

افراد بی‌شماری در بهینه‌سازی‌ها و پیشرفت‌های پیاپی که منجر به نسخه فعلی شد مشارکت داشته‌اند. فایل AUTHORS را در بسته توزیع برنامه بررسی کنید.

gap(1), gphelp(1), perl(1), readline(3), sage(1), tex(1), texmacs(1),

این برنامه یک نرم‌افزار آزاد است؛ شما می‌توانید طبق شرایط مجوز عمومی همگانی گنو (GNU GPL) که توسط بنیاد نرم‌افزارهای آزاد منتشر شده است، آن را بازتوزیع کرده یا تغییر دهید.

این برنامه به این امید که مفید باشد توزیع شده است، اما بدون هرگونه ضمانت؛ حتی ضمانت ضمنی مربوط به قابلیت فروش یا مناسب بودن برای مقصودی خاص. برای جزئیات بیشتر متن مجوز عمومی همگانی گنو را بخوانید.

شما باید یک نسخه از مجوز عمومی همگانی گنو را همراه با این برنامه دریافت کرده باشید؛ در غیر این صورت، به نشانی زیر بنویسید: Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.

12 September 2024