نام (NAME)

sympol - ابزار چندوجهی متقارن

شرح مختصر (SYNOPSIS)

sympol [OPTIONS] [INPUT_FILE]

توضیحات (DESCRIPTION)

برنامه SymPol خودریختی‌های محدودشده (restricted automorphisms) چندوجهی‌ها را محاسبه کرده و تبدیل توصیف چندوجهی را تا یک گروه تقارن داده‌شده یا محاسبه‌شده انجام می‌دهد.

برنامه SymPol بیشتر از قالب فایل .ine/.ext استفاده می‌کند که توسط cddlib و lrslib به کار می‌رود؛ (http://cgm.cs.mcgill.ca/~avis/C/lrslib/USERGUIDE.html#File%20Formats). با این حال، بر خلاف cddlib، برنامه SymPol نیاز دارد که هر نابرابری (H-representation) یا رأس و پرتو (V-representation) یک خط واحد را اشغال کند. علاوه بر این، SymPol یک افزونه برای این قالب ارائه می‌دهد.

این افزونه اجازه می‌دهد که گروه خودریختی یک چندوجهی یا بخش‌هایی از آن در فایل گنجانده شود. این اطلاعات پس از پایان نمایش H یا V یک گروه جایگشت به صورت زیر داده می‌شود:

permutation group
p
{ list of #p group generators }
q
{ #q base points separated by whitespace }

تولیدکننده‌های گروه p باید در قالب دوری (cycle form) داده شوند، که در آن ویرگول‌ها دورها را از هم جدا می‌کنند. مقدار q ممکن است در صورت مشخص نبودن پایه‌ای برای گروه روی صفر تنظیم شود.

گزینه‌ها (OPTIONS)

-h, --help: نمایش پیام راهنما.
-v, --verbose[=N]: تنظیم سطح پرگویی (verbosity)، مقدار پیش‌فرض 0 است. اگر N حذف شود، مقدار 1 فرض می‌شود.
-t, --time: فعال‌سازی سنجش زمان.
-i, --input-file FILE: خواندن فایل ورودی (.ine یا .ext). فایل می‌تواند به عنوان آخرین آرگومان در خط فرمان نیز مشخص شود.
--automorphisms-only: فقط محاسبه خودریختی‌های محدودشده و سپس خروج.
--no-automorphisms: نادیده گرفتن گروه تقارن داده‌شده و عدم تلاش برای محاسبه خودریختی‌های محدودشده.
--bliss: استفاده از ابزار خودریختی گراف bliss برای محاسبه خودریختی‌های محدودشده (پیش‌فرض در صورت در دسترس بودن bliss).
--permlibmatrix: استفاده از جستجوی خودریختی ماتریسی PermLib برای محاسبه خودریختی‌های محدودشده.
--eigen: استفاده از محاسبات ممیز شناور مبتنی بر Eigen برای محاسبه خودریختی‌های محدودشده.
-e, --estimation-only: فقط محاسبه برآورد LRS و سپس خروج.
-d, --direct: محاسبه مستقیم توصیف دوگان (dual description).
-a, --adm: استفاده از یک سطح از تجزیه مجاورت (adjacency decomposition)، حل مستقیم زیرمسئله‌ها.
--idm-adm-level idm-level adm-level: استفاده از راهبرد ترکیبی IDM/ADM با سطوح مشخص‌شده.
--adm-idm-level adm-level idm-level: استفاده از راهبرد ترکیبی ADM/IDM با سطوح مشخص‌شده.
--adm-estimate threshold: استفاده از روش تجزیه مجاورت تا آستانه برآورد داده‌شده.
--adm-dim threshold: استفاده از روش تجزیه مجاورت تا آستانه بعد داده‌شده.
--adm-incidence threshold: استفاده از روش تجزیه مجاورت تا آستانه عدد وقوع داده‌شده.
--idm-adm idm-threshold adm-threshold: استفاده از راهبرد ترکیبی IDM/ADM با آستانه‌های مشخص‌شده.
--cdd: استفاده از cdd برای تبدیل پایه توصیف دوگان (آزمایشی).
--adjacencies: ثبت مجاورت‌های وجوه (facet adjacencies). نیازمند روش ADM در سطح 0 است.

پارامترها (PARAMETERS)

--conf-lrs-estimates=N: تعداد برآوردهایی که LRS انجام می‌دهد (پیش‌فرض: 8).
--conf-lrs-estimate-maxdepth=N: حداکثر عمق مجاز برآوردهای LRS (پیش‌فرض: 3).
--conf-compute-invariants=N: حداکثر درجه چندجمله‌ای‌های ناوردای گروه جایگشت برای استفاده (پیش‌فرض: 0).
--conf-compute-orbit-limit=N: محدودیت حافظه به مگابایت برای محاسبه مدار کامل (پیش‌فرض: 1024).
--conf-compute-canonical-representatives=N: مقدار غیرصفر برای محاسبه نمایندگان کانونیکال برای وجوه (پیش‌فرض: 0).
--conf-intermediate-poly-fileprefix=PREFIX: پیشوند نام فایل‌هایی که در آن‌ها چندوجهی‌های میانی ذخیره می‌شوند. این گزینه برای اشکال‌زدایی و تحلیل مفید است. پیش‌فرض: پیشوند خالی.