Magma V2.19-8 Tue Aug 20 2013 16:17:00 on localhost [Seed = 4054871330] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1255 geometric_solution 5.15223187 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 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 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0.453988667094 0.585205499440 0 3 2 4 0132 0132 1230 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 -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 1.172416126970 1.066781329245 3 0 4 1 2310 0132 2310 3012 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 0 1 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 1.172416126970 1.066781329245 3 1 2 3 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.269884328380 0.681556956771 5 2 1 5 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664035841820 0.256802383134 4 6 6 4 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 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 0 0 1.056927139982 0.368059052530 6 5 5 6 3201 0132 1023 2310 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.173617044740 0.218109736956 ==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' : 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' : 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' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(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' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_4']), '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 44136991529416001534362936153675313869191788649/3125138219542988154\ 5385191421640817411245135*c_0101_6^19 + 1876347778674549757475291595797147464856173336011/21875967536800917\ 0817696339951485721878715945*c_0101_6^18 + 1118267370548883560316407887969340050652441952933/43751935073601834\ 163539267990297144375743189*c_0101_6^17 - 23591965959490600285913060270222150734217302562244/2187596753680091\ 70817696339951485721878715945*c_0101_6^16 - 16137391516214406810106750183690868177322173749575/4375193507360183\ 4163539267990297144375743189*c_0101_6^15 + 31394700192049952530583624794708639960363975857/3125138219542988154\ 5385191421640817411245135*c_0101_6^14 + 3457220413446387930668627360839960822888210952916/26356587393736044\ 67683088433150430384080915*c_0101_6^13 + 389846419538440730480800020267227872548228572909206/218759675368009\ 170817696339951485721878715945*c_0101_6^12 + 59706162791570259682853596924780191485231410085193/2187596753680091\ 70817696339951485721878715945*c_0101_6^11 - 6020059188314451018165582097885969674775424966525/62502764390859763\ 09077038284328163482249027*c_0101_6^10 - 82574020683610026481028212879625770970584454341771/2187596753680091\ 70817696339951485721878715945*c_0101_6^9 + 10732490835528571085491590143665421032865555567167/4375193507360183\ 4163539267990297144375743189*c_0101_6^8 + 2728970910650758621404429716864627507191074498804/31251382195429881\ 545385191421640817411245135*c_0101_6^7 - 6967617793857970113493300967069881894981015035649/21875967536800917\ 0817696339951485721878715945*c_0101_6^6 - 461055836468422043225856100439663894302316428151/437519350736018341\ 63539267990297144375743189*c_0101_6^5 - 29247173132375464623965163933562995132244095528/4375193507360183416\ 3539267990297144375743189*c_0101_6^4 + 154252832762347895105908734553906198969360059964/218759675368009170\ 817696339951485721878715945*c_0101_6^3 + 19770936116779987647386019173265280235469286877/3125138219542988154\ 5385191421640817411245135*c_0101_6^2 + 816753643662717203503963301269401912874272047/437519350736018341635\ 39267990297144375743189*c_0101_6 - 7034180228865645840582337677563633263149020278/21875967536800917081\ 7696339951485721878715945, c_0011_0 - 1, c_0011_4 + 560153509743335878001762058101977446356709/18713402512233462\ 0032246655219406092282905*c_0101_6^19 + 447097885821908120859244434902205770297112/187134025122334620032246\ 655219406092282905*c_0101_6^18 - 6408454381913272488826052027991735\ 771661521/37426805024466924006449331043881218456581*c_0101_6^17 - 35478462872494766167933967655516747886435353/1871340251223346200322\ 46655219406092282905*c_0101_6^16 + 82347619480600723103091203656975256060010861/3742680502446692400644\ 9331043881218456581*c_0101_6^15 + 110994979722768568288954311893397\ 2471125160673/187134025122334620032246655219406092282905*c_0101_6^1\ 4 - 1411818224021679709142710089568522966194823/2254626808702826747\ 376465725535013160035*c_0101_6^13 - 4182350029596154468299520579140504322651392078/18713402512233462003\ 2246655219406092282905*c_0101_6^12 - 6277524418293784076065346405998886726871271834/18713402512233462003\ 2246655219406092282905*c_0101_6^11 - 501803923753157547105633938112596359092472417/374268050244669240064\ 49331043881218456581*c_0101_6^10 + 1902432309635834632286076171659621415914212423/18713402512233462003\ 2246655219406092282905*c_0101_6^9 + 315203693520851547732550075770849682014962124/374268050244669240064\ 49331043881218456581*c_0101_6^8 - 224321760459129588306317274444533\ 472427945724/187134025122334620032246655219406092282905*c_0101_6^7 - 321236851427457410463241976190180814516428503/187134025122334620032\ 246655219406092282905*c_0101_6^6 + 2153105163173100603580450524950403128757390/37426805024466924006449\ 331043881218456581*c_0101_6^5 + 67290111190332800882723105700361887\ 98893201/37426805024466924006449331043881218456581*c_0101_6^4 + 8345163590192528313655976515516072418117418/18713402512233462003224\ 6655219406092282905*c_0101_6^3 + 1155311402239389621679737481627077\ 230949418/187134025122334620032246655219406092282905*c_0101_6^2 - 276830793168193209379312098639737710169189/374268050244669240064493\ 31043881218456581*c_0101_6 - 38620219490725840137241926704409381323\ 5786/187134025122334620032246655219406092282905, c_0101_0 + 2706337124276602619681835727743992210064885/3742680502446692\ 4006449331043881218456581*c_0101_6^19 - 16902430140947921695481858275356203134584429/3742680502446692400644\ 9331043881218456581*c_0101_6^18 - 461190996407747312580349751650295\ 91895774404/37426805024466924006449331043881218456581*c_0101_6^17 + 214968423556394208984932629292356010418632724/374268050244669240064\ 49331043881218456581*c_0101_6^16 + 670552460511470705954837931794174843543312901/374268050244669240064\ 49331043881218456581*c_0101_6^15 - 122295143708120668563997737878231762068492281/374268050244669240064\ 49331043881218456581*c_0101_6^14 - 30179278927966971425958167419003222090950260/4509253617405653494752\ 93145107002632007*c_0101_6^13 - 29748775136241042507563958056883990\ 03611333337/37426805024466924006449331043881218456581*c_0101_6^12 + 45072389050925404500456266099257509947921257/3742680502446692400644\ 9331043881218456581*c_0101_6^11 + 188513752996489661783993558342010\ 3636241700154/37426805024466924006449331043881218456581*c_0101_6^10 + 363122194781233123832716276768277853894038183/3742680502446692400\ 6449331043881218456581*c_0101_6^9 - 606234905921388360485692683230134003095968317/374268050244669240064\ 49331043881218456581*c_0101_6^8 - 877700050424295095687480062589826\ 49131307417/37426805024466924006449331043881218456581*c_0101_6^7 + 87155686735338777496391532648166811018684653/3742680502446692400644\ 9331043881218456581*c_0101_6^6 + 1124723363466391430009896911579677\ 5631172916/37426805024466924006449331043881218456581*c_0101_6^5 - 793399208351840045885367968779385296883842/374268050244669240064493\ 31043881218456581*c_0101_6^4 - 211432413513009831416128152956732783\ 2631799/37426805024466924006449331043881218456581*c_0101_6^3 - 997239549697666197560655704813555008730249/374268050244669240064493\ 31043881218456581*c_0101_6^2 + 237903192558893802738668379515483815\ 223217/37426805024466924006449331043881218456581*c_0101_6 + 118728218323593502214573691235177071132590/374268050244669240064493\ 31043881218456581, c_0101_1 - 10100877878592415163661779270879205695128827/187134025122334\ 620032246655219406092282905*c_0101_6^19 + 48810898773833937649347939306947615889158949/1871340251223346200322\ 46655219406092282905*c_0101_6^18 + 51221882117642410795916185652590397449085979/3742680502446692400644\ 9331043881218456581*c_0101_6^17 - 528051793404390559648364000105874\ 021309028056/187134025122334620032246655219406092282905*c_0101_6^16 - 708153439295833407492747102381149427699667107/3742680502446692400\ 6449331043881218456581*c_0101_6^15 - 3467826210576177499439794599363921513778816974/18713402512233462003\ 2246655219406092282905*c_0101_6^14 + 103808355725593177079646886529651741058191859/225462680870282674737\ 6465725535013160035*c_0101_6^13 + 242137501580569902025978839397232\ 36154874810769/187134025122334620032246655219406092282905*c_0101_6^\ 12 + 20312293604271768407911016536343775325168142252/18713402512233\ 4620032246655219406092282905*c_0101_6^11 - 74748802181206129793101624198188148282339969/3742680502446692400644\ 9331043881218456581*c_0101_6^10 - 974427118531042711421865047039193\ 5595277933829/187134025122334620032246655219406092282905*c_0101_6^9 - 620084270573172990831724711156432319254143555/3742680502446692400\ 6449331043881218456581*c_0101_6^8 + 1719269211318309020513228856267637992730344922/18713402512233462003\ 2246655219406092282905*c_0101_6^7 + 753610357093188451369264190245593480347318274/187134025122334620032\ 246655219406092282905*c_0101_6^6 - 28298266946401949085025044760746941161050997/3742680502446692400644\ 9331043881218456581*c_0101_6^5 - 2072086953330205073421585125732704\ 6620294390/37426805024466924006449331043881218456581*c_0101_6^4 - 24389844773166615411304690755058067549737364/1871340251223346200322\ 46655219406092282905*c_0101_6^3 + 458837126572933279268842047213356\ 8223090111/187134025122334620032246655219406092282905*c_0101_6^2 + 1063563249467815599874366717737462004360389/37426805024466924006449\ 331043881218456581*c_0101_6 + 8954438790430627561084948260219502949\ 44198/187134025122334620032246655219406092282905, c_0101_2 + 9585120137818436157323480024717763464483343/1871340251223346\ 20032246655219406092282905*c_0101_6^19 - 37414952856332844954840376779678693828503391/1871340251223346200322\ 46655219406092282905*c_0101_6^18 - 58891153659261658610098470263342843848362990/3742680502446692400644\ 9331043881218456581*c_0101_6^17 + 324533362732853917757936455065791\ 469099393504/187134025122334620032246655219406092282905*c_0101_6^16 + 797618716885570166781107307678664537361282514/3742680502446692400\ 6449331043881218456581*c_0101_6^15 + 5804856380835851302302416771151961114839828261/18713402512233462003\ 2246655219406092282905*c_0101_6^14 - 89690037279884769800065859076253769332171996/2254626808702826747376\ 465725535013160035*c_0101_6^13 - 3105748554558913838572559329445210\ 0586385346856/187134025122334620032246655219406092282905*c_0101_6^1\ 2 - 32905353398032349770789662423825182368955311598/187134025122334\ 620032246655219406092282905*c_0101_6^11 - 1062450011024585869231120253219891933032609766/37426805024466924006\ 449331043881218456581*c_0101_6^10 + 13753636262692588956690317200755101608099979491/1871340251223346200\ 32246655219406092282905*c_0101_6^9 + 1330703772183774356542255829135935065625654499/37426805024466924006\ 449331043881218456581*c_0101_6^8 - 2156412148121815577306320001560092242832025588/18713402512233462003\ 2246655219406092282905*c_0101_6^7 - 1446041558258332107619560511215598239313589746/18713402512233462003\ 2246655219406092282905*c_0101_6^6 + 26126912879276179296386629775288915712554840/3742680502446692400644\ 9331043881218456581*c_0101_6^5 + 3377483326177956092933663294907322\ 3476999899/37426805024466924006449331043881218456581*c_0101_6^4 + 51601018909490483303448345697435605861020826/1871340251223346200322\ 46655219406092282905*c_0101_6^3 - 908252118879961039292573363371986\ 430349399/187134025122334620032246655219406092282905*c_0101_6^2 - 1832505866980227841946813967296497280548101/37426805024466924006449\ 331043881218456581*c_0101_6 - 1968624450510154548464228274153306372\ 770312/187134025122334620032246655219406092282905, c_0101_5 + 21049335584917101645950905426221732011704392/187134025122334\ 620032246655219406092282905*c_0101_6^19 - 119499028342225555578390839228372116411279284/187134025122334620032\ 246655219406092282905*c_0101_6^18 - 85902622996840389619846692862875739257874662/3742680502446692400644\ 9331043881218456581*c_0101_6^17 + 144458585826366626454965212149608\ 3963511440061/187134025122334620032246655219406092282905*c_0101_6^1\ 6 + 1218624249685378209163973099147715916579920432/3742680502446692\ 4006449331043881218456581*c_0101_6^15 + 2307538655301101425090065658530288482409307494/18713402512233462003\ 2246655219406092282905*c_0101_6^14 - 228638484208856608911851394424569261738577109/225462680870282674737\ 6465725535013160035*c_0101_6^13 - 341432931782042264783120247280375\ 29829207264129/187134025122334620032246655219406092282905*c_0101_6^\ 12 - 16460595608958920668968480689544184796258101042/18713402512233\ 4620032246655219406092282905*c_0101_6^11 + 1925159779675517385863117257193061762740644375/37426805024466924006\ 449331043881218456581*c_0101_6^10 + 10076139394893215256173077621192900328089263889/1871340251223346200\ 32246655219406092282905*c_0101_6^9 - 67715601026152893960240308263855670378077300/3742680502446692400644\ 9331043881218456581*c_0101_6^8 - 1916897264975892381490394026906692\ 738690880422/187134025122334620032246655219406092282905*c_0101_6^7 - 200919442129970918684542207555985055757998609/187134025122334620032\ 246655219406092282905*c_0101_6^6 + 35269857002921992428535332470972267020635571/3742680502446692400644\ 9331043881218456581*c_0101_6^5 + 1636983260907310442197062515866990\ 4293674859/37426805024466924006449331043881218456581*c_0101_6^4 + 10713198094186077002563767057613720296258174/1871340251223346200322\ 46655219406092282905*c_0101_6^3 - 829765118684845751612482472848219\ 6703244371/187134025122334620032246655219406092282905*c_0101_6^2 - 771175067640527814241084891695360638155679/374268050244669240064493\ 31043881218456581*c_0101_6 - 31832709223484625878765921953966897597\ 1418/187134025122334620032246655219406092282905, c_0101_6^20 - 6*c_0101_6^19 - 56/3*c_0101_6^18 + 682/9*c_0101_6^17 + 2422/9*c_0101_6^16 + 83/9*c_0101_6^15 - 77984/81*c_0101_6^14 - 12017/9*c_0101_6^13 - 13903/81*c_0101_6^12 + 68294/81*c_0101_6^11 + 10079/27*c_0101_6^10 - 18173/81*c_0101_6^9 - 9586/81*c_0101_6^8 + 2387/81*c_0101_6^7 + 481/27*c_0101_6^6 + 35/81*c_0101_6^5 - 113/81*c_0101_6^4 - 61/81*c_0101_6^3 - 1/27*c_0101_6^2 + 2/27*c_0101_6 + 1/81 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB