זוהי הפקודה poly-4d.x שניתן להפעיל בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS
תָכְנִית:
שֵׁם
poly.x, poly- dx - מחשב נתונים של פוליטופ
תַקצִיר
poly.x [-] [בקובץ [מחוץ לקובץ]]
תיאור
מחשב נתונים של פוליטופ P
הפולי- תוכניות וריאציות dx, היכן הוא אחד מ-4, 5, 6 ו-11 עבודות שונות
ממדים ; ברירת המחדל של poly.x היא ממד 6.
אפשרויות (לשרשר כל מספר of אוֹתָם אל תוך ):
h להדפיס מידע זה
f להשתמש כמסנן
g פלט כללי; עבור P רפלקסיבי: מספרי (כפולים) נקודות/קודקודים, מספרי Hodge ו
אם P אינו רפלקסיבי: מספרי נקודות, קודקודים, משוואות
נקודות p של P
v קודקודים של P
משוואות e של P/קודקודים של P-dual
m מטריצת זיווג בין קודקודים ומשוואות
d נקודות של P-דואל (רק אם P רפלקסיבי)
א כל האמור לעיל מלבד ח,ו
l LG-'Hodge numbers' מקלט משקל בודד
r התעלם מקלט לא רפלקסיבי
D פוליטופ כפול כקלט (ר' בלבד)
n אין להשלים פוליטופ או לחשב מספרי הודג'
מידע על שכיחות
s בדוק עבור נכס span (רק אם P מ-CWS)
אני בודק נכס IP
מספר S של סימטריות
T צורה משולשת עליונה
N צורה נורמלית
לא עקבו אחר חישוב צורה רגילה
V IP פשטות בין קודקודים של P*
P IP מפשט בין נקודות של P* (עם 1<=codim<=# כאשר # מוגדר)
מנות סריג Z עבור פשטות IP
# #=1,2,3 סיבים המתפרשים על ידי סימפלסי IP עם codim<=#
## ##=11,22,33,(12,23): כל הסיבים (סיביים) עם קודים מוגדרים בשילוב: ### =
(##)#
צורה נורמלית אפינית
B מרכז בארי ונפח סריג [# ... מצביע על מעלות #]
F להדפיס את כל ההיבטים
ז גורנשטיין: מתחלק ב-I>1
אני אוהב 'l' עם נתוני Hodge עבור סקטורים מעוותים
U היבטים פשוטים ב-N-סריג
U1 Fano (היבטים פשוטים וחד מודולריים בסריג N)
U5 5d fano מהקרנות 4D רפלקסיביות (סריג M)
C1 conifold CY (חד מודולרי או מרובע דו-פנים)
C2 conifold FANO (ניתן לחלוקה ב-2 ו-2 פרצופים בסיסיים)
סימטריות E הקשורות למדדי איינשטיין-קאהלר
קֶלֶט
מעלות ומשקלים `d1 w11 w12 ... d2 w21 w22 ...' או `d np' או `np d' (d=Dimension,
np=#[נקודות]) ו-(אחרי שורה חדשה) קואורדינטות np*d
תְפוּקָה
כפי שצוין באפשרויות
השתמש ב-poly-4d.x באינטרנט באמצעות שירותי onworks.net
