این دستور gfan_tropicalbasis است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
gfan - ابزاری برای محاسبه فن های گروبنر و گونه های گرمسیری
خلاصه
gfan_ابزار [گزینه های]
gfan _ابزار [گزینه های]
شرح
Gfan یک بسته نرم افزاری برای محاسبه فن های Gröbner و گونه های گرمسیری است. اینها هستند
فن های چندوجهی مرتبط با ایده آل های چند جمله ای حداکثر مخروط یک پنکه گروبنر داخل است
بیجکشن با پایه های گروبنر کاهش یافته مشخص شده ایده آل تعیین کننده آن. نرم افزار
همه پایه های گروبنر کاهش یافته یک ایده آل را محاسبه می کند. اتحادیه آنها یک گروبنر جهانی است
اساس تنوع گرمسیری یک ایده آل چند جمله ای، زیرمجموعه خاصی از گروبنر است
پنکه. Gfan شامل الگوریتم هایی برای محاسبه این مجموعه برای ایده آل های عمومی و
الگوریتم های تخصصی برای منحنی های استوایی، ابرسطوح های استوایی و گونه های استوایی
از ایده آل های اصلی علاوه بر توابع اصلی فوق، بسته حاوی ابزارهای زیادی است
که در مطالعه پایه های گروبنر، ایده آل های اولیه و هندسه گرمسیری مفید هستند.
لیست کامل ابزارs است:
پایه ها، بوچبرگر، ترکیبات، دوایده شامل، پالایش مشترک، فن هومولوژی،
fanlink، fanproduct، fansubfan، genericlinearchange، groebnercone، groebnerfan،
فضای همگن، همگن، اشکال اولیه، تعاملی، ismarkedgroebnerbasis،
ابعاد کرول، شبکه‌ای، عبارات اصلی، فهرست، مجموعه علامت چندجمله‌ای، minkowskisum، مینورها،
حجم مختلط، اعداد بیش از حد صحیح، پدیک، چندجمله‌ای مجموعه، رندر، پله‌های رندر، اشباع،
فن ثانویه، آمار، جایگزین، تقارن، تولاتکس، توپی وجهی، استوایی،
tropicalbruteforce، tropicalvaluation، tropicalfunction، tropicalhypersurface،
تقاطع گرمسیری، بلند کردن استوایی، فضای خطی استوایی، چندگانه گرمسیری،
tropicalrank، tropical startingcone، tropicaltraverse، tropicalweildivisor، نسخه.
در زیر گزینه های عمومی موجود با همه ارائه شده است ابزارس برای گزینه های خاص از
یک داده شده ابزار، به پیام کمک آن ابزار اشاره می کنیم.
OPTIONS
--کمک نمایش یک پیام راهنما که عملکرد آن را توصیف می کند gfan_ابزار و موجود
گزینه های خاص
--log1، --log2...
به Gfan بگویید هنگام محاسبه چه مقدار اطلاعات روی خطای استاندارد بنویسد
در حال اجرا این گزینه ها برای زمانی که می خواهید بدانید که Gfan در حال ساخت است یا خیر بسیار مفید هستند
پیشرفت در محاسبه آن
--stdin ارزش
فایلی را برای استفاده به عنوان ورودی به جای خواندن از ورودی استاندارد مشخص کنید.
--stdout ارزش
فایلی را برای نوشتن خروجی به جای نوشتن در خروجی استاندارد مشخص کنید.
--xml اجازه دهید فن های چند وجهی در قالب XML به جای در قالب متن خروجی شوند. (
فایل های XML توسط Gfan قابل خواندن نیستند.)
از gfan_tropicalbasis به صورت آنلاین با استفاده از خدمات onworks.net استفاده کنید
