מתמטיקה :: קבוצה :: תומפסון מתמטיקה :: קבוצה :: מודול תומפסון מכיל שיטות OO המחושבים את הקרדינליות של כדור של רדיוס 'N' של קבוצת תומפסון F.
הורד עכשיו

מתמטיקה :: קבוצה :: תומפסון דירוג וסיכום

מתמטיקה :: קבוצה :: תומפסון תגים

פרל מודול שיטות - שיטות OO לחשב קרדינליות

מתמטיקה :: קבוצה :: תומפסון תיאור

מתמטיקה :: קבוצה :: מודול תומפסון מכיל שיטות OO המחושבים את הקרדינליות של כדור של רדיוס 'N' של קבוצת תומפסון F. מתמטיקה :: קבוצה :: Thompson Perl מודול מכיל שיטות OO המחישבים את הקרדינליות של כדור של רדיוס 'n' של תומפסון קבוצת F.Synopsis השתמש במתמטיקה :: קבוצה :: תומפסון; My $ F = Math :: קבוצה :: Thompson-> חדש (verbose => 0); כרטיס $ שלי = $ f-> cardbn (3, '); הדפסה "#b (3) = $ CARDN"; המתמטיקה :: קבוצה :: מודול תומפסון מספק שיטות מכוונת Objetct אשר מחשבת את הקרדינליות של כדור של רדיוס 'N' של תומפסון קבוצת F.This מודול משתמשת במצגת FF = איפה A, B הם סמלים רשמיים, האם הקומוטטור הרגיל ו- E הוא מרכיב הזהות של F. = xyx ^ (- 1) y ^ (- 1) זה אומר כי עבור כל G ב F, G יכול להיות כתוב כמו Wordg = A_ { 1} a_ {{2} ... a_ {n} שבו כל A_ {i} הם A, B, A ^ (- 1) או B ^ (- 1) עבור כל $ V V); טיעון verbose אומר מתמטיקה: : קבוצה :: תומפסון אם הדפס כל מילה שנוצר ($ v == 1) או לא ($ v == 0), או לאחסן אותם בקובץ, כאשר $ V הוא שם של הקובץ (ללא ספק שונה ל -0 או 1 ). אם הקובץ verbose קיים אותו מוחלף, אז אתה צריך לבדוק את שלמותו. הערה: אין זה ממליץ לאחסן את המילים בקובץ, כי עבור ערכים קטנים מאוד של N, #b (n) או #gb (n) -b (n) הם גדולים מאוד. לדוגמה עבור n = 19, #b (n) ~ 3 ^ n = 1162261467 ~ 1.1 giga, אבל שטח ocupped על ידי הקובץ יהיה (בתים): #b (1) + סכום (i = 2-19) {i * (# b (i) - #b (i-1))} = cardbnthis שיטה מחשבת #b (n) או # (GB (n) - b (n)) תלוי אם הוויכוח עבר לראשונה Call of Cardbn הוא '' או not.Usage: $ c = $ f-> cardbn ($ רדיוס, $ g); כאשר $ רדיוס הוא מספר שלם> = 0 ו $ G הוא אלמנט של F (מילה נכתב עם A, B, C או D). אם הפעם הראשונה cardbn נקרא $ G הוא לא שווה '', ולאחר מכן Cardbn מחזיר את הקרדינליות של Setgb (N) - B (n) = w ב f | W ב GB (n) ו W לא ב- B (n)} אם CARDBN זמן אשוח הוא CALLE $ G שווה ל- '', ולאחר מכן Cardbn מחזירה #B (n). אלגוריתם זה פועל בזמן אקספוננציאלי כי f הוא של מעריכי צמיחה (יותר "בדיוק", אלגוריתם זה הוא O (3 ^ n)) .Resetresets הדלפק המשמש בשיטת CardBN, להגדיר את המאפיין first_ellement ב '', ואת first_call proporty ל 1.Usage: $ f-> לאפס; multiplymultiplication בין שתי מילים של F. שיטה זו רואה את היחסים הפוכה המאוחסנים בתכונה inv.Usage: שלי $ mul = $ f-> הכפל ($ g, $ w); כאשר $ G ו $ w הם אלמנטים של F, ו $ Mul הוא תוצאה של $ $ w.rotetethis מודול מקבל כמו טיעון מילה F ו מכניס את האות האחרונה על Word במקום הראשון שלה.Usage: $ w = 'ABC'; $ W = $ self-> סובב ($ w); # $ W שווה כעת 'שיטת CBA'inversethis מקבל מילה ב- F ומחזירה את ההופך שלה. Wusage: $ w =' ABC '; $ W = $ self-> הפוך ($ w); # $ W == "שיטת ADC'diviVIVIVIVIVIVIS מקבלת מילה ב- F וחוזרת מערך דו מימדי שבו האלמנט הראשון הוא המחצית הראשונה של המילה, והשני הוא ההופכי של המחצית השנייה של המילה .Usage: $ w = 'AABC'; ($ W1, $ W2) = $ עצמי-> מחלק ($ w); # עכשיו $ W1 == 'AA' ו $ W2 == 'AD'Get_invthis שיטה להחזיר את החשיש של יחסים הפוכה בין גנרטורים אלמנטים של F.Notethis שיטת הדפסים ב Stderr המחרוזת שהתקבלו או מעמיד אותו על קובץ הכתב. Busage: $ F-> הערה ('AA'); # הדפסה AA. "N" או לאחסן אותו על file.requirements: · Perl דרישות: · פרל

מתמטיקה :: קבוצה :: תומפסון תוכנה קשורה