זוהי הפקודה gfan_tropicalbasis שניתן להריץ בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS
תָכְנִית:
שֵׁם
gfan - כלי לחישוב אוהדי Gröbner וזנים טרופיים
תַקצִיר
gfan_כלי [אפשרויות]
גפן _כלי [אפשרויות]
תיאור
Gfan היא חבילת תוכנה למחשוב מאווררי גרובנר וזנים טרופיים. אלו הם
מניפות פוליהדרליות הקשורות לאידיאלים פולינומיים. הקונוסים המקסימליים של אוהד גרובנר נמצאים בפנים
שילוב עם הבסיסים המצומצמים המסומנים של גרובנר של האידיאל המגדיר שלו. התוכנה
מחשב את כל הבסיסים המוקטנים של גרובנר מסומנים של אידיאל. האיחוד שלהם הוא גרובנר אוניברסלי
בָּסִיס. המגוון הטרופי של אידיאל פולינום הוא תת-מתחם מסוים של הגרובנר
אוהד. Gfan מכיל אלגוריתמים לחישוב קומפלקס זה עבור אידיאלים כלליים ו
אלגוריתמים מיוחדים לעיקולים טרופיים, משטחי היפר טרופיים וזנים טרופיים
של אידיאלים ראשיים. בנוסף לפונקציות הליבה הנ"ל, החבילה מכילה כלים רבים
אשר שימושיים בחקר בסיסים של גרובנר, אידיאלים ראשוניים וגיאומטריה טרופית.
הרשימה המלאה של כליאחות:
בסיסים, Buchberger, Combinerays, doidealContain, Fancommonrefinement, Fanhomology,
Fanlink, Fanproduct, Fansubfan, Genericlinearchange, Groebnercone, Groebnerfan,
homogeneityspace, homogenize, initialforms, interactive, ismarkedgroebnerbase,
krulldimension, latticeideal, leaderterms, list, markpolynomialset, minkowskisum, minors,
מעורבב, נרשם יתר, PADIC, PolynomialSetunion, עיבוד, Renderstair Grain, רוויה,
אוהד שני, סטטיסטיקה, תחליף, סימטריות, טולטקס, טופוליהדרלפן, בסיס טרופי,
TropicalBruteforce, הערכת טרופית, טרופי פונקציה, טרופי -פיפסי -שטח,
צומת טרופית, הרמה טרופית, מרחב טרופי קווי, ריבוי טרופי,
tropicalrank, tropicalstartingcone, tropicaltraverse, tropicalweildivisor, גרסה.
להלן מוצגות האפשרויות הגנריות הזמינות עם כולם כליס. לאפשרויות ספציפיות של
נתינה כלי, אנו מתייחסים להודעת העזרה של הכלי הזה.
אפשרויות
- עזרה הצג הודעת עזרה המתארת את הפונקציונליות של gfan_כלי והזמין
אפשרויות ספציפיות.
--log1, --log2...
אמור ל-Gfan כמה מידע לכתוב לשגיאת תקן בזמן חישוב
רץ. אפשרויות אלה שימושיות מאוד כאשר אתה רוצה לדעת אם Gfan מייצר
התקדמות בחישוב שלה.
--סטדין ערך
ציין קובץ לשימוש כקלט במקום לקרוא מהקלט הסטנדרטי.
--stdout ערך
ציין קובץ לכתוב אליו פלט במקום לכתוב לפלט הסטנדרטי.
--xml תן למאווררים פוליהדרלים להיות פלט בפורמט XML במקום בפורמט טקסט. (ה
קובצי XML אינם ניתנים לקריאה על ידי Gfan.)
השתמש ב-gfan_tropicalbasis באינטרנט באמצעות שירותי onworks.net
