Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 3187417436] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1900 geometric_solution 5.51188010 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 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.561499092057 0.400437728137 0 3 2 4 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.819466396369 0.841907317242 4 1 3 0 1023 1230 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.819466396369 0.841907317242 5 1 5 2 0132 0132 2310 0132 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 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.507366169584 1.271218658885 6 2 1 6 0132 1023 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.933299974644 0.521668167883 3 3 5 5 0132 3201 2031 1302 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.457652907704 0.153803069686 4 6 6 4 0132 3201 2310 1023 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 1.229066428240 0.312953739983 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_0']})} 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_2, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 77179952873888024265784159802/329567363870987431379684885*c_0101_3*\ c_0101_6^18 - 2945463640762419144430494913/659134727741974862759369\ 770*c_0101_3*c_0101_6^17 + 1293195065433964081154636200459/32956736\ 3870987431379684885*c_0101_3*c_0101_6^16 + 867369124832585300669038450387/659134727741974862759369770*c_0101_3\ *c_0101_6^15 - 2326732911524346975791859911859/65913472774197486275\ 9369770*c_0101_3*c_0101_6^14 - 2070607147441805391121700982327/3295\ 67363870987431379684885*c_0101_3*c_0101_6^13 - 8711148752193574492744966097082/329567363870987431379684885*c_0101_\ 3*c_0101_6^12 + 13964332675476732672844719895854/329567363870987431\ 379684885*c_0101_3*c_0101_6^11 - 18850469689335878053431138203171/6\ 59134727741974862759369770*c_0101_3*c_0101_6^10 + 1828491343880943371794592158805/65913472774197486275936977*c_0101_3\ *c_0101_6^9 - 17012366490150808041235359992783/65913472774197486275\ 9369770*c_0101_3*c_0101_6^8 + 20949344949183219612745105741473/6591\ 34727741974862759369770*c_0101_3*c_0101_6^7 - 3976041663224274921064437822153/131826945548394972551873954*c_0101_\ 3*c_0101_6^6 + 16299530428318099960451547959597/6591347277419748627\ 59369770*c_0101_3*c_0101_6^5 - 10697107051980880107147485038083/659\ 134727741974862759369770*c_0101_3*c_0101_6^4 + 2420149617834650315146067001263/329567363870987431379684885*c_0101_\ 3*c_0101_6^3 - 2183061271687942674967392875627/65913472774197486275\ 9369770*c_0101_3*c_0101_6^2 + 304282047153435848994094677184/329567\ 363870987431379684885*c_0101_3*c_0101_6 - 209405436300726333408147290263/659134727741974862759369770*c_0101_3\ , c_0011_0 - 1, c_0011_2 - 39562841889040785875636984/65913472774197486275936977*c_0101\ _3*c_0101_6^18 - 17025097691072453598220894/65913472774197486275936\ 977*c_0101_3*c_0101_6^17 + 698367374040151323267540162/659134727741\ 97486275936977*c_0101_3*c_0101_6^16 + 525645503493739186748072212/65913472774197486275936977*c_0101_3*c_0\ 101_6^15 - 1096998269520279769557246831/65913472774197486275936977*\ c_0101_3*c_0101_6^14 - 2014090368751402206894755980/659134727741974\ 86275936977*c_0101_3*c_0101_6^13 - 4648088019363485156776833045/65913472774197486275936977*c_0101_3*c_\ 0101_6^12 + 6751158532142885276424657256/65913472774197486275936977\ *c_0101_3*c_0101_6^11 + 3110768638625671497993707642/65913472774197\ 486275936977*c_0101_3*c_0101_6^10 - 257118161188528324705134318/65913472774197486275936977*c_0101_3*c_0\ 101_6^9 - 2887647467140944096639911271/65913472774197486275936977*c\ _0101_3*c_0101_6^8 + 1322062257367344334752626825/65913472774197486\ 275936977*c_0101_3*c_0101_6^7 - 1240357717958975334192815719/659134\ 72774197486275936977*c_0101_3*c_0101_6^6 - 112279739823602604962153186/65913472774197486275936977*c_0101_3*c_0\ 101_6^5 + 564815827374507384858443837/65913472774197486275936977*c_\ 0101_3*c_0101_6^4 - 892821253089393759386198863/6591347277419748627\ 5936977*c_0101_3*c_0101_6^3 + 253250204248656916351575813/659134727\ 74197486275936977*c_0101_3*c_0101_6^2 - 49690720681738583195835981/65913472774197486275936977*c_0101_3*c_01\ 01_6 + 100939202184649608927956541/65913472774197486275936977*c_010\ 1_3, c_0101_0 - 19254522852993849647612632/65913472774197486275936977*c_0101\ _6^18 - 125728654159487740670286/65913472774197486275936977*c_0101_\ 6^17 + 327877523397855927793418096/65913472774197486275936977*c_010\ 1_6^16 + 108798252294447874064000963/65913472774197486275936977*c_0\ 101_6^15 - 372154701105945516452956885/65913472774197486275936977*c\ _0101_6^14 - 614432963618614495976617815/65913472774197486275936977\ *c_0101_6^13 - 2235541014120146721609196662/65913472774197486275936\ 977*c_0101_6^12 + 3610625371034252641765300386/65913472774197486275\ 936977*c_0101_6^11 - 1602049785077390174386390712/65913472774197486\ 275936977*c_0101_6^10 + 2114522976822553415604928828/65913472774197\ 486275936977*c_0101_6^9 - 1427290015634798273866003927/659134727741\ 97486275936977*c_0101_6^8 + 1687967280129891274058783298/6591347277\ 4197486275936977*c_0101_6^7 - 2235677862187109163383234883/65913472\ 774197486275936977*c_0101_6^6 + 1556837763532283164034400712/659134\ 72774197486275936977*c_0101_6^5 - 741537264320205142612143634/65913\ 472774197486275936977*c_0101_6^4 + 67954717944120993802800270/65913472774197486275936977*c_0101_6^3 - 14526421426526920311358716/65913472774197486275936977*c_0101_6^2 - 120869820380923741409490720/65913472774197486275936977*c_0101_6 + 18950219105470951923899378/65913472774197486275936977, c_0101_1 + 96302711678296986726900104/65913472774197486275936977*c_0101\ _3*c_0101_6^18 + 124912011424980241630469110/6591347277419748627593\ 6977*c_0101_3*c_0101_6^17 - 1592742078128077405905908609/6591347277\ 4197486275936977*c_0101_3*c_0101_6^16 - 2627393147272159950269766491/65913472774197486275936977*c_0101_3*c_\ 0101_6^15 + 426048933437787484948895888/65913472774197486275936977*\ c_0101_3*c_0101_6^14 + 4732261354153651198248522570/659134727741974\ 86275936977*c_0101_3*c_0101_6^13 + 14974837318031944072211252395/65913472774197486275936977*c_0101_3*c\ _0101_6^12 - 3084370423169488680705113725/6591347277419748627593697\ 7*c_0101_3*c_0101_6^11 - 9320818248379367102544948527/6591347277419\ 7486275936977*c_0101_3*c_0101_6^10 - 3269189894018854289477349208/65913472774197486275936977*c_0101_3*c_\ 0101_6^9 - 248995667975332030264081242/65913472774197486275936977*c\ _0101_3*c_0101_6^8 - 1804757115862758555884721698/65913472774197486\ 275936977*c_0101_3*c_0101_6^7 - 398633281226297979172401916/6591347\ 2774197486275936977*c_0101_3*c_0101_6^6 + 2308145437810674959041780032/65913472774197486275936977*c_0101_3*c_\ 0101_6^5 - 2187303945561715094940696748/65913472774197486275936977*\ c_0101_3*c_0101_6^4 + 2542101503306375565021572255/6591347277419748\ 6275936977*c_0101_3*c_0101_6^3 - 448659416059573535494551573/659134\ 72774197486275936977*c_0101_3*c_0101_6^2 + 427139626959167562776784805/65913472774197486275936977*c_0101_3*c_0\ 101_6 - 71039679649580197819091221/65913472774197486275936977*c_010\ 1_3, c_0101_2 - 52064815384260162040881380/65913472774197486275936977*c_0101\ _6^18 - 22356387268185159263138601/65913472774197486275936977*c_010\ 1_6^17 + 886744897611441147609366807/65913472774197486275936977*c_0\ 101_6^16 + 664642737705285187080536260/65913472774197486275936977*c\ _0101_6^15 - 906947339599387608713052037/65913472774197486275936977\ *c_0101_6^14 - 2035961555217801270183319272/65913472774197486275936\ 977*c_0101_6^13 - 6394051577450142580709535291/65913472774197486275\ 936977*c_0101_6^12 + 7618941820443827753727330109/65913472774197486\ 275936977*c_0101_6^11 - 307525022986753738251413162/659134727741974\ 86275936977*c_0101_6^10 + 2595220155627134436685770248/659134727741\ 97486275936977*c_0101_6^9 - 3430314504769876958203490618/6591347277\ 4197486275936977*c_0101_6^8 + 3384140550611782524347896007/65913472\ 774197486275936977*c_0101_6^7 - 3233561442304783270267871830/659134\ 72774197486275936977*c_0101_6^6 + 1866638360518290888119019824/6591\ 3472774197486275936977*c_0101_6^5 - 726630905352250983557794753/65913472774197486275936977*c_0101_6^4 - 321994181602496050309591598/65913472774197486275936977*c_0101_6^3 + 214373327917279486973952557/65913472774197486275936977*c_0101_6^2 - 73450342865878096995738289/65913472774197486275936977*c_0101_6 + 44633090129962102915450498/65913472774197486275936977, c_0101_3^2 - 59878886820390563534892904/65913472774197486275936977*c_01\ 01_6^18 - 22323411235088918732149798/65913472774197486275936977*c_0\ 101_6^17 + 1001002706373737274362874411/65913472774197486275936977*\ c_0101_6^16 + 696234960039551103614717113/6591347277419748627593697\ 7*c_0101_6^15 - 744066426280797529593289782/65913472774197486275936\ 977*c_0101_6^14 - 1997271905584830484603272860/65913472774197486275\ 936977*c_0101_6^13 - 7513840806716594058256895111/65913472774197486\ 275936977*c_0101_6^12 + 8425037151906888028452622810/65913472774197\ 486275936977*c_0101_6^11 - 3382711810252059726471967282/65913472774\ 197486275936977*c_0101_6^10 + 5647275637885979219433938291/65913472\ 774197486275936977*c_0101_6^9 - 4412639037524738931769482503/659134\ 72774197486275936977*c_0101_6^8 + 5107111482689005740849774558/6591\ 3472774197486275936977*c_0101_6^7 - 5147712032085586002762796735/65913472774197486275936977*c_0101_6^6 + 3989727247777696322378230272/65913472774197486275936977*c_0101_6^5 - 2263008916496038414944938343/65913472774197486275936977*c_0101_6^4 + 378715389855328610812751691/65913472774197486275936977*c_0101_6^3 - 30541364422213019736711028/65913472774197486275936977*c_0101_6^2 - 68632484518049734047934903/65913472774197486275936977*c_0101_6 - 6859391211476940685152387/65913472774197486275936977, c_0101_6^19 + 1/4*c_0101_6^18 - 67/4*c_0101_6^17 - 19/2*c_0101_6^16 + 55/4*c_0101_6^15 + 61/2*c_0101_6^14 + 477/4*c_0101_6^13 - 155*c_0101_6^12 + 80*c_0101_6^11 - 92*c_0101_6^10 + 169/2*c_0101_6^9 - 221/2*c_0101_6^8 + 197/2*c_0101_6^7 - 307/4*c_0101_6^6 + 46*c_0101_6^5 - 65/4*c_0101_6^4 + 15/2*c_0101_6^3 - c_0101_6^2 + 1/2*c_0101_6 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB