Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 1410713759] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1628 geometric_solution 5.37781448 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 0 0 0 0 0 -1 1 0 -1 0 0 1 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 1 0 0 -1 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.181890804339 1.385834951344 0 3 4 2 0132 0132 0132 1230 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605203091941 0.866873129546 1 4 3 0 3012 3201 3201 0132 0 0 0 0 0 0 1 -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 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.605203091941 0.866873129546 2 1 5 5 2310 0132 0132 3201 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.263411641029 0.374610466574 6 6 2 1 0132 2310 2310 0132 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 0.297154446718 1.985276338442 5 3 5 3 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 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 -2.021431913474 1.936615984591 4 6 6 4 0132 3201 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.534743529046 0.460660554976 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_5']), '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_5']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], '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_0011_2'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_2'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0011_4, c_0011_5, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 1432521500590284738064947731/5864545551591997686543267*c_0101_3^24 - 17729146236139218942050939788/5864545551591997686543267*c_0101_3^23 + 56343218803888298832184365509/5864545551591997686543267*c_0101_3^\ 22 + 167065634951532858287752893997/5864545551591997686543267*c_010\ 1_3^21 - 756089090415132362768632799264/5864545551591997686543267*c\ _0101_3^20 + 66081989352958723216633474873/195484851719733256218108\ 9*c_0101_3^19 + 109783691699635421839675044350/21720539079970361802\ 0121*c_0101_3^18 - 4807696696784044234077857956837/5864545551591997\ 686543267*c_0101_3^17 - 1373723927627915020198433812223/58645455515\ 91997686543267*c_0101_3^16 + 11705760633908073848655135998198/58645\ 45551591997686543267*c_0101_3^15 - 10788407825897903922262915365509/5864545551591997686543267*c_0101_3\ ^14 - 5743656210862013826908095647949/5864545551591997686543267*c_0\ 101_3^13 + 2695588420093414644359779788761/837792221655999669506181\ *c_0101_3^12 - 10889136736758267832940037638159/5864545551591997686\ 543267*c_0101_3^11 - 1124027984923386638803937809246/83779222165599\ 9669506181*c_0101_3^10 + 14199413900420164350048897718696/586454555\ 1591997686543267*c_0101_3^9 - 4739365823999781226265474762795/58645\ 45551591997686543267*c_0101_3^8 - 4673763762713684174656748081318/5\ 864545551591997686543267*c_0101_3^7 + 96930460303069542307652585798/119684603093714238500883*c_0101_3^6 - 666247856236787277776239233986/5864545551591997686543267*c_0101_3^5 - 160887273645133507337578454153/837792221655999669506181*c_0101_3^\ 4 + 595302829032542888019651645574/5864545551591997686543267*c_0101\ _3^3 + 332648765010166283952196288/254980241373565116806229*c_0101_\ 3^2 - 11393518758480487338062831477/837792221655999669506181*c_0101\ _3 + 16385675641409363284147280458/5864545551591997686543267, c_0011_0 - 1, c_0011_2 - 20029041567707914450675/8865526155089943592658*c_0101_3^24 - 122812659795706010439854/4432763077544971796329*c_0101_3^23 + 408757391691788462029808/4432763077544971796329*c_0101_3^22 + 1136948521023863227807139/4432763077544971796329*c_0101_3^21 - 5422274138164101470019589/4432763077544971796329*c_0101_3^20 + 3635140385188625167518911/8865526155089943592658*c_0101_3^19 + 20717538300324301589572187/4432763077544971796329*c_0101_3^18 - 35202647322955505734422181/4432763077544971796329*c_0101_3^17 - 14271587550840581295556053/8865526155089943592658*c_0101_3^16 + 163845664471078263319920395/8865526155089943592658*c_0101_3^15 - 160667259462719304217938579/8865526155089943592658*c_0101_3^14 - 33878536756199416308658162/4432763077544971796329*c_0101_3^13 + 262198150998008520129589501/8865526155089943592658*c_0101_3^12 - 165516978131273005477354501/8865526155089943592658*c_0101_3^11 - 93946897179671559026898761/8865526155089943592658*c_0101_3^10 + 194195112057195153718567665/8865526155089943592658*c_0101_3^9 - 74703844363429316047165209/8865526155089943592658*c_0101_3^8 - 27515576902155665000669834/4432763077544971796329*c_0101_3^7 + 62952123605528297111295187/8865526155089943592658*c_0101_3^6 - 11716343216827395974016689/8865526155089943592658*c_0101_3^5 - 6405113852289812131081180/4432763077544971796329*c_0101_3^4 + 7390641038502449726308273/8865526155089943592658*c_0101_3^3 - 2943573416795831589292/192728829458477034623*c_0101_3^2 - 848421191588933153494817/8865526155089943592658*c_0101_3 + 173444147253345323202899/8865526155089943592658, c_0011_4 - 10460062935825641845177/8865526155089943592658*c_0101_3^24 - 59491670835172837820082/4432763077544971796329*c_0101_3^23 + 274130355261477415908403/4432763077544971796329*c_0101_3^22 + 452961100377276323680679/4432763077544971796329*c_0101_3^21 - 3459613127614107965441987/4432763077544971796329*c_0101_3^20 + 5875546798277895369002495/8865526155089943592658*c_0101_3^19 + 11442767867443077970973249/4432763077544971796329*c_0101_3^18 - 27089151864652524103030273/4432763077544971796329*c_0101_3^17 + 11368334694324076290701307/8865526155089943592658*c_0101_3^16 + 103805210445989918719464795/8865526155089943592658*c_0101_3^15 - 140724996239538237736599411/8865526155089943592658*c_0101_3^14 - 2019956569672529841516508/4432763077544971796329*c_0101_3^13 + 181665139306370723484828785/8865526155089943592658*c_0101_3^12 - 162580532212328009890051695/8865526155089943592658*c_0101_3^11 - 27482447023821126066496631/8865526155089943592658*c_0101_3^10 + 145610055375721538097073117/8865526155089943592658*c_0101_3^9 - 84215176823564629599879707/8865526155089943592658*c_0101_3^8 - 12346919217369729010691873/4432763077544971796329*c_0101_3^7 + 51018178391227954111143373/8865526155089943592658*c_0101_3^6 - 16579423054900580881660725/8865526155089943592658*c_0101_3^5 - 3716202899434570404157666/4432763077544971796329*c_0101_3^4 + 6441555953768371730647773/8865526155089943592658*c_0101_3^3 - 14891400175285683559230/192728829458477034623*c_0101_3^2 - 595055593344117820960691/8865526155089943592658*c_0101_3 + 147294493015097217195059/8865526155089943592658, c_0011_5 - 3665174563409188099922/4432763077544971796329*c_0101_3^24 - 46507786051404106745270/4432763077544971796329*c_0101_3^23 + 129965539899974219968586/4432763077544971796329*c_0101_3^22 + 472735973741990104833037/4432763077544971796329*c_0101_3^21 - 1798616940988443761932315/4432763077544971796329*c_0101_3^20 - 97253983288796942844971/4432763077544971796329*c_0101_3^19 + 7716118502905911606631665/4432763077544971796329*c_0101_3^18 - 9925344369518236058022225/4432763077544971796329*c_0101_3^17 - 7210484319457493183595897/4432763077544971796329*c_0101_3^16 + 28701002595836092905153969/4432763077544971796329*c_0101_3^15 - 18613038538251776279267299/4432763077544971796329*c_0101_3^14 - 22527382471629060418977832/4432763077544971796329*c_0101_3^13 + 43719316546873276185119982/4432763077544971796329*c_0101_3^12 - 14291537261705685816760267/4432763077544971796329*c_0101_3^11 - 27449567900490702517342047/4432763077544971796329*c_0101_3^10 + 30782541846147764151472776/4432763077544971796329*c_0101_3^9 - 2954000794413026964584695/4432763077544971796329*c_0101_3^8 - 14719722458517176461761746/4432763077544971796329*c_0101_3^7 + 9386254758255092032513674/4432763077544971796329*c_0101_3^6 + 780464133537736444042148/4432763077544971796329*c_0101_3^5 - 3138752448779821490148447/4432763077544971796329*c_0101_3^4 + 1032475908316667415226671/4432763077544971796329*c_0101_3^3 + 9098017713417103386577/192728829458477034623*c_0101_3^2 - 180668832836601757641808/4432763077544971796329*c_0101_3 + 26590527329405166097655/4432763077544971796329, c_0101_1 + 16581604846544751996337/8865526155089943592658*c_0101_3^24 + 107753483195621784636492/4432763077544971796329*c_0101_3^23 - 257298940318819513700149/4432763077544971796329*c_0101_3^22 - 1100550508934232064107844/4432763077544971796329*c_0101_3^21 + 3645391161397765229505623/4432763077544971796329*c_0101_3^20 + 1616529828332838809887735/8865526155089943592658*c_0101_3^19 - 15918974692321452480973841/4432763077544971796329*c_0101_3^18 + 18795491886581173462161303/4432763077544971796329*c_0101_3^17 + 31196419278374517061549447/8865526155089943592658*c_0101_3^16 - 112380374068908863149876813/8865526155089943592658*c_0101_3^15 + 71240501028729951406161911/8865526155089943592658*c_0101_3^14 + 43142001463669507192170458/4432763077544971796329*c_0101_3^13 - 168559212559618692009675781/8865526155089943592658*c_0101_3^12 + 60513905762973356216126593/8865526155089943592658*c_0101_3^11 + 98928932594694769397981671/8865526155089943592658*c_0101_3^10 - 120279720104023415846120741/8865526155089943592658*c_0101_3^9 + 20461644911658225734471431/8865526155089943592658*c_0101_3^8 + 25942687549512630686634787/4432763077544971796329*c_0101_3^7 - 39298371574395019719047573/8865526155089943592658*c_0101_3^6 + 1112393890319007192606923/8865526155089943592658*c_0101_3^5 + 5768959241006280435693364/4432763077544971796329*c_0101_3^4 - 5042428850246420474957951/8865526155089943592658*c_0101_3^3 - 7376450524328804775791/192728829458477034623*c_0101_3^2 + 790217191776283091425313/8865526155089943592658*c_0101_3 - 156899508541582356964537/8865526155089943592658, c_0101_2 - 2338331990965880158532/4432763077544971796329*c_0101_3^24 - 31112006027117991989082/4432763077544971796329*c_0101_3^23 + 65160046330178653458670/4432763077544971796329*c_0101_3^22 + 359798437371678637907433/4432763077544971796329*c_0101_3^21 - 973152630280407536720281/4432763077544971796329*c_0101_3^20 - 835328237883853444279386/4432763077544971796329*c_0101_3^19 + 5049520949349205208282745/4432763077544971796329*c_0101_3^18 - 3250728611147083666081938/4432763077544971796329*c_0101_3^17 - 9103658930688882280583405/4432763077544971796329*c_0101_3^16 + 16298496781260191159543118/4432763077544971796329*c_0101_3^15 - 628144565511129683844040/4432763077544971796329*c_0101_3^14 - 23160005753557692082986225/4432763077544971796329*c_0101_3^13 + 21320960863040818658457211/4432763077544971796329*c_0101_3^12 + 7020249215721606685295037/4432763077544971796329*c_0101_3^11 - 24814177482573726592730308/4432763077544971796329*c_0101_3^10 + 12178837804562999758061315/4432763077544971796329*c_0101_3^9 + 8234247002424067188356908/4432763077544971796329*c_0101_3^8 - 11563171400451315143568446/4432763077544971796329*c_0101_3^7 + 2629359593663575243701102/4432763077544971796329*c_0101_3^6 + 2914672614021506435275457/4432763077544971796329*c_0101_3^5 - 2060882919343887240555531/4432763077544971796329*c_0101_3^4 + 166318703364663233987465/4432763077544971796329*c_0101_3^3 + 11773256523088715739505/192728829458477034623*c_0101_3^2 - 95765032473821026845672/4432763077544971796329*c_0101_3 + 11587849878704332911783/4432763077544971796329, c_0101_3^25 + 12*c_0101_3^24 - 44*c_0101_3^23 - 102*c_0101_3^22 + 572*c_0101_3^21 - 335*c_0101_3^20 - 2022*c_0101_3^19 + 4130*c_0101_3^18 - 279*c_0101_3^17 - 8547*c_0101_3^16 + 10563*c_0101_3^15 + 1248*c_0101_3^14 - 14681*c_0101_3^13 + 12459*c_0101_3^12 + 2715*c_0101_3^11 - 11943*c_0101_3^10 + 6941*c_0101_3^9 + 2054*c_0101_3^8 - 4503*c_0101_3^7 + 1671*c_0101_3^6 + 614*c_0101_3^5 - 697*c_0101_3^4 + 144*c_0101_3^3 + 57*c_0101_3^2 - 31*c_0101_3 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB