Magma V2.19-8 Tue Aug 20 2013 16:17:08 on localhost [Seed = 1242289823] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1386 geometric_solution 5.23954403 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 1 0 -1 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 -1 0 1 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.069146166315 0.453759612782 0 4 0 4 0132 0132 2310 2310 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 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 -1.915526964885 2.939521592346 5 6 3 0 0132 0132 2031 0132 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 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.673677782701 0.739988859396 6 5 0 2 2310 2310 0132 1302 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 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.673677782701 0.739988859396 1 1 4 4 3201 0132 1230 3012 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 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.149291810998 0.095051307628 2 5 5 3 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 -1 1 0 -1 0 1 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.083213955891 0.898023913237 6 2 3 6 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.327281021416 0.738935678806 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : 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' : negation(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_2']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0110_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_1'], '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_2']), 'c_0011_4' : d['c_0011_0'], '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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_6']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0110_4']), '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_2, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 23151158458935944900248395437501/72843674938767951390873*c_0110_4^2\ 3 + 349178083746577244887596277518928/72843674938767951390873*c_011\ 0_4^22 + 61824378889920191121076364197706/8093741659863105710097*c_\ 0110_4^21 - 288014326036526024789290665507689/809374165986310571009\ 7*c_0110_4^20 - 105748348194931374687158982737678/26979138866210352\ 36699*c_0110_4^19 + 7353990181150031373953227036860020/728436749387\ 67951390873*c_0110_4^18 + 3103809386792767647595938193343659/728436\ 74938767951390873*c_0110_4^17 - 13180469091051035158292717279507525\ /72843674938767951390873*c_0110_4^16 + 38561934765170447693283082538362/411546186094734188649*c_0110_4^15 + 17640741883570402411034487819514729/72843674938767951390873*c_0110_\ 4^14 - 18238109289659131672345445178502138/72843674938767951390873*\ c_0110_4^13 - 9485939307869823401318908645998860/728436749387679513\ 90873*c_0110_4^12 + 6543705968558641727221418724614323/242812249795\ 89317130291*c_0110_4^11 - 5618017475440259207708451909336071/728436\ 74938767951390873*c_0110_4^10 - 434686361761554341947749572908498/3\ 167116301685563103951*c_0110_4^9 + 10442998098226741076602993599241678/72843674938767951390873*c_0110_\ 4^8 - 42355085993644961580817695876023/24281224979589317130291*c_01\ 10_4^7 - 4960686338709478552393377062054678/72843674938767951390873\ *c_0110_4^6 + 2409389706197247352710368917425721/728436749387679513\ 90873*c_0110_4^5 + 37614387315557875550765344943825/809374165986310\ 5710097*c_0110_4^4 - 29895781946434646290193396400398/3167116301685\ 563103951*c_0110_4^3 + 87328520160201855160245845585182/24281224979\ 589317130291*c_0110_4^2 - 44989850117307191878127533545280/72843674\ 938767951390873*c_0110_4 + 3047705623509707927019843484079/72843674\ 938767951390873, c_0011_0 - 1, c_0011_2 + 1911134363908853200180975/29009826737860593943*c_0110_4^23 - 28785635072869906612586531/29009826737860593943*c_0110_4^22 - 46513707047504485866444929/29009826737860593943*c_0110_4^21 + 212909825324812224933708885/29009826737860593943*c_0110_4^20 + 239855785433968414895069856/29009826737860593943*c_0110_4^19 - 601272503072691849415074627/29009826737860593943*c_0110_4^18 - 267452777144777561302307468/29009826737860593943*c_0110_4^17 + 1080023189310407891416652050/29009826737860593943*c_0110_4^16 - 9199532371651873593060110/491691978607806677*c_0110_4^15 - 1462719931568216137423525133/29009826737860593943*c_0110_4^14 + 1473878022467665409409192980/29009826737860593943*c_0110_4^13 + 806675485417953719338812388/29009826737860593943*c_0110_4^12 - 1598182252837910802644061312/29009826737860593943*c_0110_4^11 + 435511502235129415324270080/29009826737860593943*c_0110_4^10 + 827558194453361434565838470/29009826737860593943*c_0110_4^9 - 844270360339513878013279195/29009826737860593943*c_0110_4^8 - 2919840351807851471954864/29009826737860593943*c_0110_4^7 + 406200637374346791826218438/29009826737860593943*c_0110_4^6 - 191115873125515512759632646/29009826737860593943*c_0110_4^5 - 30037615122621734206118443/29009826737860593943*c_0110_4^4 + 55577141952993395775100865/29009826737860593943*c_0110_4^3 - 20749546381104144588371977/29009826737860593943*c_0110_4^2 + 3504640004169519791835049/29009826737860593943*c_0110_4 - 233453899954363324396553/29009826737860593943, c_0101_0 - 4041571268047258343/27163801922977*c_0110_4^23 + 60975354619890322150/27163801922977*c_0110_4^22 + 96865754249519773325/27163801922977*c_0110_4^21 - 453025242100925311644/27163801922977*c_0110_4^20 - 496529364233940821879/27163801922977*c_0110_4^19 + 1286564002271387690775/27163801922977*c_0110_4^18 + 536735773129541765082/27163801922977*c_0110_4^17 - 2304763843453213971873/27163801922977*c_0110_4^16 + 1201016686399083804460/27163801922977*c_0110_4^15 + 3076715093102048929751/27163801922977*c_0110_4^14 - 3198663525546331071641/27163801922977*c_0110_4^13 - 1645375678111737272098/27163801922977*c_0110_4^12 + 3437456069094747045728/27163801922977*c_0110_4^11 - 993696782048628857691/27163801922977*c_0110_4^10 - 1744338892624824772912/27163801922977*c_0110_4^9 + 1831350174010960147222/27163801922977*c_0110_4^8 - 28323801038495061063/27163801922977*c_0110_4^7 - 867547798108979216817/27163801922977*c_0110_4^6 + 424193069824053791463/27163801922977*c_0110_4^5 + 58120183053214937980/27163801922977*c_0110_4^4 - 120578938026848636948/27163801922977*c_0110_4^3 + 46146173946214044019/27163801922977*c_0110_4^2 - 7953732406404129923/27163801922977*c_0110_4 + 540846362444816215/27163801922977, c_0101_1 - 17*c_0110_4^23 + 264*c_0110_4^22 + 294*c_0110_4^21 - 2086*c_0110_4^20 - 1246*c_0110_4^19 + 6337*c_0110_4^18 - 134*c_0110_4^17 - 10697*c_0110_4^16 + 9337*c_0110_4^15 + 10714*c_0110_4^14 - 19181*c_0110_4^13 - 981*c_0110_4^12 + 17528*c_0110_4^11 - 10567*c_0110_4^10 - 5498*c_0110_4^9 + 10949*c_0110_4^8 - 3520*c_0110_4^7 - 3601*c_0110_4^6 + 3397*c_0110_4^5 - 542*c_0110_4^4 - 616*c_0110_4^3 + 418*c_0110_4^2 - 120*c_0110_4 + 16, c_0101_2 - 255*c_0110_4^23 + 3943*c_0110_4^22 + 4674*c_0110_4^21 - 30996*c_0110_4^20 - 20776*c_0110_4^19 + 93809*c_0110_4^18 + 4327*c_0110_4^17 - 160589*c_0110_4^16 + 129358*c_0110_4^15 + 170047*c_0110_4^14 - 277001*c_0110_4^13 - 33896*c_0110_4^12 + 261939*c_0110_4^11 - 140977*c_0110_4^10 - 93037*c_0110_4^9 + 158737*c_0110_4^8 - 41851*c_0110_4^7 - 57535*c_0110_4^6 + 47354*c_0110_4^5 - 4733*c_0110_4^4 - 9782*c_0110_4^3 + 5654*c_0110_4^2 - 1366*c_0110_4 + 135, c_0101_6 + 1719986894123779343971666/29009826737860593943*c_0110_4^23 - 26160748803982051616954267/29009826737860593943*c_0110_4^22 - 38119266112613354567349027/29009826737860593943*c_0110_4^21 + 199072204520950465835319396/29009826737860593943*c_0110_4^20 + 190099581708707793588606540/29009826737860593943*c_0110_4^19 - 581770958350223945418237619/29009826737860593943*c_0110_4^18 - 174661685043184923750516877/29009826737860593943*c_0110_4^17 + 1029919957887353677264483022/29009826737860593943*c_0110_4^16 - 10375401240795553726601878/491691978607806677*c_0110_4^15 - 1286218990211785666982239522/29009826737860593943*c_0110_4^14 + 1530838554076055275439681472/29009826737860593943*c_0110_4^13 + 599814804154523551553796700/29009826737860593943*c_0110_4^12 - 1588035366215836395481210096/29009826737860593943*c_0110_4^11 + 552995218485831196405573871/29009826737860593943*c_0110_4^10 + 741496094521218132304106911/29009826737860593943*c_0110_4^9 - 870553722206650564827467281/29009826737860593943*c_0110_4^8 + 71750473773067452024835153/29009826737860593943*c_0110_4^7 + 391122870351241271483126955/29009826737860593943*c_0110_4^6 - 217103846683730233955919965/29009826737860593943*c_0110_4^5 - 16998392452183651225392992/29009826737860593943*c_0110_4^4 + 57367648363422362454593409/29009826737860593943*c_0110_4^3 - 23535005727137025460229790/29009826737860593943*c_0110_4^2 + 4257816548741708251766239/29009826737860593943*c_0110_4 - 302165960562816476699149/29009826737860593943, c_0110_4^24 - 264/17*c_0110_4^23 - 294/17*c_0110_4^22 + 2086/17*c_0110_4^21 + 1246/17*c_0110_4^20 - 6337/17*c_0110_4^19 + 134/17*c_0110_4^18 + 10697/17*c_0110_4^17 - 9337/17*c_0110_4^16 - 10714/17*c_0110_4^15 + 19181/17*c_0110_4^14 + 981/17*c_0110_4^13 - 17528/17*c_0110_4^12 + 10567/17*c_0110_4^11 + 5498/17*c_0110_4^10 - 10949/17*c_0110_4^9 + 3520/17*c_0110_4^8 + 3601/17*c_0110_4^7 - 3397/17*c_0110_4^6 + 542/17*c_0110_4^5 + 616/17*c_0110_4^4 - 418/17*c_0110_4^3 + 7*c_0110_4^2 - c_0110_4 + 1/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB