Magma V2.19-8 Tue Aug 20 2013 16:16:01 on localhost [Seed = 3035965554] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0263 geometric_solution 4.30255991 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 1023 0 0 0 0 0 -1 1 0 -1 0 0 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.493335697166 0.571129959798 0 0 4 3 0132 3201 0132 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692433091389 4.958301936853 2 0 2 0 2031 0132 1302 1023 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441126075953 0.045158767808 4 4 1 5 1023 2031 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081396641942 0.628692213073 3 3 5 1 1302 1023 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081396641942 0.628692213073 6 6 3 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.191837186599 0.458509772757 5 6 5 6 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.785942089069 1.180792477239 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0110_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0110_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0110_2, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 205370763498532535674914833874/164495846041033296998257980965*c_110\ 0_1^16 + 1552497221441702363475827198473/98697507624619978198954788\ 579*c_1100_1^15 + 2210408957111963530940718406345/32899169208206659\ 399651596193*c_1100_1^14 - 6601457669055393537322230887747/49348753\ 8123099890994773942895*c_1100_1^13 - 438567154469988145246393708208578/493487538123099890994773942895*c_\ 1100_1^12 - 95835290702987162826733136847874/9869750762461997819895\ 4788579*c_1100_1^11 + 2179387051925489319508042212948853/4934875381\ 23099890994773942895*c_1100_1^10 + 2585097823604686865461997194393007/493487538123099890994773942895*c\ _1100_1^9 - 385760387727188666035640906674943/328991692082066593996\ 51596193*c_1100_1^8 - 5021979081676462526965648117588193/4934875381\ 23099890994773942895*c_1100_1^7 + 293842383502830892681959681379272\ 4/164495846041033296998257980965*c_1100_1^6 + 3867154741997404541952863709562193/493487538123099890994773942895*c\ _1100_1^5 - 1449531621966620389271131562839882/98697507624619978198\ 954788579*c_1100_1^4 - 876349772823208523273724975474581/4934875381\ 23099890994773942895*c_1100_1^3 + 529945976280961761361417186128347\ /98697507624619978198954788579*c_1100_1^2 - 65146129712534073194989603888019/493487538123099890994773942895*c_1\ 100_1 - 103153928670661936546397132714819/1644958460410332969982579\ 80965, c_0011_0 - 1, c_0011_3 + 10339002850476504216812736/463368580397276892952839383*c_110\ 0_1^16 + 374872979939012512671007976/1390105741191830678858518149*c\ _1100_1^15 + 495497061836726047449668534/46336858039727689295283938\ 3*c_1100_1^14 - 974839292621374439548138994/13901057411918306788585\ 18149*c_1100_1^13 - 21071508939751025971799305840/13901057411918306\ 78858518149*c_1100_1^12 - 4475167823385431381925444582/463368580397\ 276892952839383*c_1100_1^11 + 36668513278302687943465855195/4633685\ 80397276892952839383*c_1100_1^10 + 22334467392720334582200429715/463368580397276892952839383*c_1100_1^\ 9 - 294125513278081428947841606949/1390105741191830678858518149*c_1\ 100_1^8 - 22781795432298683372249280898/463368580397276892952839383\ *c_1100_1^7 + 401919604842033457459563303466/1390105741191830678858\ 518149*c_1100_1^6 - 22159799006711631999539632085/46336858039727689\ 2952839383*c_1100_1^5 - 77768381996277354719601717832/4633685803972\ 76892952839383*c_1100_1^4 + 103365548897499672373214250272/13901057\ 41191830678858518149*c_1100_1^3 + 8174418674523678403593589662/4633\ 68580397276892952839383*c_1100_1^2 - 16634084128207638073492637756/1390105741191830678858518149*c_1100_1 + 991619723646979743326560238/1390105741191830678858518149, c_0011_5 + 35342039828084019630834658/1390105741191830678858518149*c_11\ 00_1^16 + 138376360137731979074507756/463368580397276892952839383*c\ _1100_1^15 + 515659861792150136795143107/46336858039727689295283938\ 3*c_1100_1^14 - 1704187578831563558028171061/1390105741191830678858\ 518149*c_1100_1^13 - 23688591733305134351125006726/1390105741191830\ 678858518149*c_1100_1^12 - 6991100615402686351638818057/13901057411\ 91830678858518149*c_1100_1^11 + 43903773430011582295410002390/46336\ 8580397276892952839383*c_1100_1^10 + 33581449571873626161805535128/1390105741191830678858518149*c_1100_1\ ^9 - 368838631720434764285840963831/1390105741191830678858518149*c_\ 1100_1^8 + 34484728070715486477100094590/13901057411918306788585181\ 49*c_1100_1^7 + 508148105648641454007548027393/13901057411918306788\ 58518149*c_1100_1^6 - 227729216142542478702786674209/13901057411918\ 30678858518149*c_1100_1^5 - 91263489621859989614138806106/463368580\ 397276892952839383*c_1100_1^4 + 208240537159518572566876771019/1390\ 105741191830678858518149*c_1100_1^3 + 7902842286475500766010489974/1390105741191830678858518149*c_1100_1^\ 2 - 30736319654157801388717508992/1390105741191830678858518149*c_11\ 00_1 + 3794339113502343628679716852/1390105741191830678858518149, c_0101_0 + 16576697812696616419272442/1390105741191830678858518149*c_11\ 00_1^16 + 64553906911326883364262754/463368580397276892952839383*c_\ 1100_1^15 + 713161583600006337850911814/139010574119183067885851814\ 9*c_1100_1^14 - 282214471403718012095253014/46336858039727689295283\ 9383*c_1100_1^13 - 11066203293140121748261993852/139010574119183067\ 8858518149*c_1100_1^12 - 2572079406970772667977957065/1390105741191\ 830678858518149*c_1100_1^11 + 62086976419296715285366295195/1390105\ 741191830678858518149*c_1100_1^10 + 11982377934753478608869659895/1390105741191830678858518149*c_1100_1\ ^9 - 58168727438704777728567874515/463368580397276892952839383*c_11\ 00_1^8 + 8756187675103450566098180312/463368580397276892952839383*c\ _1100_1^7 + 238246679881276124603313584788/139010574119183067885851\ 8149*c_1100_1^6 - 120920530657188096435773546764/139010574119183067\ 8858518149*c_1100_1^5 - 122194352507308472740058762630/139010574119\ 1830678858518149*c_1100_1^4 + 107347579856098697234879846315/139010\ 5741191830678858518149*c_1100_1^3 - 836934695754211908778664518/463368580397276892952839383*c_1100_1^2 - 5378559663968329727268368552/463368580397276892952839383*c_1100_1 + 915931084105077684466450164/463368580397276892952839383, c_0101_1 - 69732355951000537022/1065070669489142605837*c_1100_1^16 - 2457894073250457502727/3195212008467427817511*c_1100_1^15 - 3053007220765828984473/1065070669489142605837*c_1100_1^14 + 10134052612123173917927/3195212008467427817511*c_1100_1^13 + 140628630244272158034851/3195212008467427817511*c_1100_1^12 + 14075274449150719927883/1065070669489142605837*c_1100_1^11 - 260906382131250617327479/1065070669489142605837*c_1100_1^10 - 69801341554394385699049/1065070669489142605837*c_1100_1^9 + 729280618594208071711713/1065070669489142605837*c_1100_1^8 - 165106510929584599212586/3195212008467427817511*c_1100_1^7 - 2992533949479464703348754/3195212008467427817511*c_1100_1^6 + 428931605424605288769162/1065070669489142605837*c_1100_1^5 + 523411495144479560967156/1065070669489142605837*c_1100_1^4 - 1174025695511468375347901/3195212008467427817511*c_1100_1^3 - 17741021790878687461016/3195212008467427817511*c_1100_1^2 + 152499359766127308447502/3195212008467427817511*c_1100_1 - 20424610120367031451733/3195212008467427817511, c_0110_2 + 46938078338683287075657836/1390105741191830678858518149*c_11\ 00_1^16 + 557246772609073985230085932/1390105741191830678858518149*\ c_1100_1^15 + 2124639533962675900541088622/139010574119183067885851\ 8149*c_1100_1^14 - 1999765301959873909187974898/1390105741191830678\ 858518149*c_1100_1^13 - 10584649136790311700047500124/4633685803972\ 76892952839383*c_1100_1^12 - 13441549777283709307804332989/13901057\ 41191830678858518149*c_1100_1^11 + 57766993666565151036971764411/463368580397276892952839383*c_1100_1^\ 10 + 68499543843607256024015637923/1390105741191830678858518149*c_1\ 100_1^9 - 479034606859633264685459388484/13901057411918306788585181\ 49*c_1100_1^8 - 23851626280955480128922809910/139010574119183067885\ 8518149*c_1100_1^7 + 660534495486602504997510487165/139010574119183\ 0678858518149*c_1100_1^6 - 66312501456570970960884059272/4633685803\ 97276892952839383*c_1100_1^5 - 371268897900784046244970559839/13901\ 05741191830678858518149*c_1100_1^4 + 206904176990889259713835685023/1390105741191830678858518149*c_1100_\ 1^3 + 10321392485552260792761893865/463368580397276892952839383*c_1\ 100_1^2 - 8941405409572664443966467037/463368580397276892952839383*\ c_1100_1 + 321700052590596807416001443/463368580397276892952839383, c_1100_1^17 + 11*c_1100_1^16 + 35*c_1100_1^15 - 81*c_1100_1^14 - 635*c_1100_1^13 + 301*c_1100_1^12 + 3879*c_1100_1^11 - 1810*c_1100_1^10 - 11139*c_1100_1^9 + 8671*c_1100_1^8 + 13552*c_1100_1^7 - 16950*c_1100_1^6 - 2731*c_1100_1^5 + 11312*c_1100_1^4 - 4208*c_1100_1^3 - 837*c_1100_1^2 + 677*c_1100_1 - 71 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB