Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 4223297339] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0407 geometric_solution 4.46826435 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 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.446714092959 0.107948158686 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 0 1 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 -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 1.214251100385 0.144202983208 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -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 1 0 -1 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.203207811032 0.576466076534 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 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 1 0 -1 0 0 -1 1 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.308801936568 0.290255880032 5 3 5 6 2310 0132 3201 0132 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 -1 1 0 -1 0 1 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.255147875678 1.173410949952 4 6 4 3 2310 1023 3201 0132 0 0 0 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 0 0 0 0 0 0 0 -1 0 0 1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.255147875678 1.173410949952 5 6 4 6 1023 2310 0132 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.176941047938 0.813742080332 ==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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0110_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_6']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_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_1, c_0011_5, c_0101_0, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 4293127898206356877411782277323/418693453217309976109194243517*c_01\ 10_6^19 + 48754589836308075181048482791341/837386906434619952218388\ 487034*c_0110_6^18 + 211013773269665796083690154289279/837386906434\ 619952218388487034*c_0110_6^17 - 239296062734303303971414206657873/\ 837386906434619952218388487034*c_0110_6^16 - 552942379657730310638587347024680/418693453217309976109194243517*c_\ 0110_6^15 + 974016429376879047131450354733929/837386906434619952218\ 388487034*c_0110_6^14 + 2371414400364096439748242684842875/41869345\ 3217309976109194243517*c_0110_6^13 - 1257428215935714494339443043578332/418693453217309976109194243517*c\ _0110_6^12 - 17645212368954734845275233866424991/837386906434619952\ 218388487034*c_0110_6^11 + 4397585747382009669650551823961919/83738\ 6906434619952218388487034*c_0110_6^10 + 39913765380009949813026968636563113/837386906434619952218388487034*\ c_0110_6^9 - 8218359717358586816976559796493763/8373869064346199522\ 18388487034*c_0110_6^8 - 26235345589449457503712835786361090/418693\ 453217309976109194243517*c_0110_6^7 + 11029923807608135442160177846382489/418693453217309976109194243517*\ c_0110_6^6 + 14055391575605560660355601633012156/418693453217309976\ 109194243517*c_0110_6^5 - 11883713815502881299425658781379072/41869\ 3453217309976109194243517*c_0110_6^4 + 5434608197999895768414887028660997/837386906434619952218388487034*c\ _0110_6^3 + 854038845280317438952935147959763/837386906434619952218\ 388487034*c_0110_6^2 - 837305179681384553872765196986145/8373869064\ 34619952218388487034*c_0110_6 + 70472007823980145231169491346375/83\ 7386906434619952218388487034, c_0011_0 - 1, c_0011_1 - 96602063016327105996708995233/167477381286923990443677697406\ 8*c_0110_6^19 + 248434712053975375041827641869/83738690643461995221\ 8388487034*c_0110_6^18 + 1325448448596288947745488990461/8373869064\ 34619952218388487034*c_0110_6^17 - 1289280471609924757173906705103/1674773812869239904436776974068*c_0\ 110_6^16 - 13612828392896189123505246801233/16747738128692399044367\ 76974068*c_0110_6^15 + 2497628572261740507686833516493/167477381286\ 9239904436776974068*c_0110_6^14 + 13850493159504982270467455253627/\ 418693453217309976109194243517*c_0110_6^13 + 5527026510692212773382975812081/1674773812869239904436776974068*c_0\ 110_6^12 - 49793265126907520755354485994146/41869345321730997610919\ 4243517*c_0110_6^11 - 38807755669606042346356197368149/837386906434\ 619952218388487034*c_0110_6^10 + 102454090920543728084618990150235/\ 418693453217309976109194243517*c_0110_6^9 + 194560053520919150762406006365225/1674773812869239904436776974068*c\ _0110_6^8 - 113128640168339205619253693433976/418693453217309976109\ 194243517*c_0110_6^7 - 47382280440348984973547059866347/83738690643\ 4619952218388487034*c_0110_6^6 + 49632419032705564373894587059876/4\ 18693453217309976109194243517*c_0110_6^5 - 80839360077486231062791640249945/1674773812869239904436776974068*c_\ 0110_6^4 + 11597558064090414529307353789675/41869345321730997610919\ 4243517*c_0110_6^3 - 225203355975992771669076794703/837386906434619\ 952218388487034*c_0110_6^2 + 19896828610192636519642935831/41869345\ 3217309976109194243517*c_0110_6 + 1082617727679309909895067529441/1\ 674773812869239904436776974068, c_0011_5 - 15306825269482184863818492105/837386906434619952218388487034\ *c_0110_6^19 + 55180412430493586185654730607/8373869064346199522183\ 88487034*c_0110_6^18 + 533259581980220235202480009451/8373869064346\ 19952218388487034*c_0110_6^17 + 231228776923519310654809631028/4186\ 93453217309976109194243517*c_0110_6^16 - 2185934568735032433838470944667/837386906434619952218388487034*c_01\ 10_6^15 - 1172810720860855448279941980179/4186934532173099761091942\ 43517*c_0110_6^14 + 4584755238548351503901806697606/418693453217309\ 976109194243517*c_0110_6^13 + 13002031487732398327107153121933/8373\ 86906434619952218388487034*c_0110_6^12 - 28302917220202628458760604564537/837386906434619952218388487034*c_0\ 110_6^11 - 52597865008219456617315982134179/83738690643461995221838\ 8487034*c_0110_6^10 + 45686385123495971404536649736719/837386906434\ 619952218388487034*c_0110_6^9 + 53415043656379980508484357013717/41\ 8693453217309976109194243517*c_0110_6^8 - 22369202802732423962115545241082/418693453217309976109194243517*c_0\ 110_6^7 - 54295979030401868260975486170865/418693453217309976109194\ 243517*c_0110_6^6 + 18940356524865887360417390471898/41869345321730\ 9976109194243517*c_0110_6^5 + 43382867281742368928926535379425/8373\ 86906434619952218388487034*c_0110_6^4 - 21566640035910608541478108226935/837386906434619952218388487034*c_0\ 110_6^3 + 3111186962486026622479770655039/8373869064346199522183884\ 87034*c_0110_6^2 + 1218919239808535038579808271863/8373869064346199\ 52218388487034*c_0110_6 - 124246247446594292385756141309/4186934532\ 17309976109194243517, c_0101_0 + 222084075329340874735423502293/16747738128692399044367769740\ 68*c_0110_6^19 - 297960897982284473392627893703/4186934532173099761\ 09194243517*c_0110_6^18 - 1464033609335143915408264197286/418693453\ 217309976109194243517*c_0110_6^17 + 4453572621139321002870972596857/1674773812869239904436776974068*c_0\ 110_6^16 + 30910329373293779681345981903197/16747738128692399044367\ 76974068*c_0110_6^15 - 14289778793822856189165596262299/16747738128\ 69239904436776974068*c_0110_6^14 - 32291941168581827162221377212017/418693453217309976109194243517*c_0\ 110_6^13 + 21059148161380334452885154919691/16747738128692399044367\ 76974068*c_0110_6^12 + 236595518507764292855531869684213/8373869064\ 34619952218388487034*c_0110_6^11 + 14066019473892742698547483324277/418693453217309976109194243517*c_0\ 110_6^10 - 518332485628603561446280743438125/8373869064346199522183\ 88487034*c_0110_6^9 - 185644322104031379128647364611603/16747738128\ 69239904436776974068*c_0110_6^8 + 323847386272783637015035441567425\ /418693453217309976109194243517*c_0110_6^7 - 36169353041643434104386469326199/837386906434619952218388487034*c_0\ 110_6^6 - 179910783141018839432008562594487/41869345321730997610919\ 4243517*c_0110_6^5 + 350081571442185083971490343363397/167477381286\ 9239904436776974068*c_0110_6^4 - 20446389966127649848814842986869/8\ 37386906434619952218388487034*c_0110_6^3 - 8614249956104844756457445258088/418693453217309976109194243517*c_01\ 10_6^2 + 5188433987020768555689639194795/83738690643461995221838848\ 7034*c_0110_6 + 171838530522363402158127435217/16747738128692399044\ 36776974068, c_0101_2 + 169856764202705878168682730839/16747738128692399044367769740\ 68*c_0110_6^19 - 198219365823202849021340816864/4186934532173099761\ 09194243517*c_0110_6^18 - 1243639026864999814475585104870/418693453\ 217309976109194243517*c_0110_6^17 - 292937508731032407708219914313/1674773812869239904436776974068*c_01\ 10_6^16 + 21543288352621090424937473550675/167477381286923990443677\ 6974068*c_0110_6^15 + 2408732864258979122308646436811/1674773812869\ 239904436776974068*c_0110_6^14 - 22826031074949605609904909400330/4\ 18693453217309976109194243517*c_0110_6^13 - 42175973428982970204483882046199/1674773812869239904436776974068*c_\ 0110_6^12 + 152977825333168067120856555704267/837386906434619952218\ 388487034*c_0110_6^11 + 55117488871224515745201209935857/4186934532\ 17309976109194243517*c_0110_6^10 - 282911981650012225724139353991425/837386906434619952218388487034*c_\ 0110_6^9 - 403524204726672644203408681672361/1674773812869239904436\ 776974068*c_0110_6^8 + 157409407555814746812884019167391/4186934532\ 17309976109194243517*c_0110_6^7 + 94859384091891827748233125356357/\ 837386906434619952218388487034*c_0110_6^6 - 90379521140071918557999812809252/418693453217309976109194243517*c_0\ 110_6^5 + 116188055398769613854141921193671/16747738128692399044367\ 76974068*c_0110_6^4 + 414697982287028559644678053989/83738690643461\ 9952218388487034*c_0110_6^3 - 5652055837185118369316302831037/41869\ 3453217309976109194243517*c_0110_6^2 + 2573963874206149765176649676879/837386906434619952218388487034*c_01\ 10_6 + 254169730825144902998741299327/16747738128692399044367769740\ 68, c_0101_3 - 14777767588803670045131760729/167477381286923990443677697406\ 8*c_0110_6^19 + 6476842972459182811270089290/4186934532173099761091\ 94243517*c_0110_6^18 + 149554252783344774867302118622/4186934532173\ 09976109194243517*c_0110_6^17 + 1421885195044039851795512176735/167\ 4773812869239904436776974068*c_0110_6^16 - 635187258052704902497683762041/1674773812869239904436776974068*c_01\ 10_6^15 - 4587373176830097681983798318725/1674773812869239904436776\ 974068*c_0110_6^14 + 924647382131819878618717779127/418693453217309\ 976109194243517*c_0110_6^13 + 22995514268827142094450565965209/1674\ 773812869239904436776974068*c_0110_6^12 + 21130699449761735271288563005/837386906434619952218388487034*c_0110\ _6^11 - 18364010804521608371755945181908/41869345321730997610919424\ 3517*c_0110_6^10 - 25586133605875066296920555013935/837386906434619\ 952218388487034*c_0110_6^9 + 91041507817411303770049362993015/16747\ 73812869239904436776974068*c_0110_6^8 + 22746560672083843960313099698319/418693453217309976109194243517*c_0\ 110_6^7 - 23138857619500383185044992793213/837386906434619952218388\ 487034*c_0110_6^6 - 8773150873334615838306352031787/418693453217309\ 976109194243517*c_0110_6^5 + 16318927686703077260940988598183/16747\ 73812869239904436776974068*c_0110_6^4 - 5936183905508629426951664264765/837386906434619952218388487034*c_01\ 10_6^3 - 648744252841207521766496417409/418693453217309976109194243\ 517*c_0110_6^2 - 175566846902152513502083534289/8373869064346199522\ 18388487034*c_0110_6 + 391755152482870624337633814347/1674773812869\ 239904436776974068, c_0110_6^20 - 5*c_0110_6^19 - 28*c_0110_6^18 + 9*c_0110_6^17 + 136*c_0110_6^16 - 20*c_0110_6^15 - 569*c_0110_6^14 - 97*c_0110_6^13 + 2003*c_0110_6^12 + 870*c_0110_6^11 - 4094*c_0110_6^10 - 1905*c_0110_6^9 + 4839*c_0110_6^8 + 830*c_0110_6^7 - 2698*c_0110_6^6 + 889*c_0110_6^5 - 35*c_0110_6^4 - 130*c_0110_6^3 + 14*c_0110_6^2 - c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB