Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 3263389689] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2436 geometric_solution 5.78270937 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.237533404107 0.277102771884 2 0 3 0 0132 2310 0132 0132 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 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.979290739086 1.803122426489 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 -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 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.053581220374 0.804920106593 5 4 2 1 3201 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.053581220374 0.804920106593 4 4 3 2 1230 3012 2310 0132 0 0 0 0 0 0 0 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 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.232515043114 0.880248567685 6 6 2 3 0132 3201 0132 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 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.210946830963 1.674573541732 5 6 5 6 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.426078791555 0.905093166158 ==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' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_3, c_0011_4, c_0011_5, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 85842383105130354743874394853706961469468512/1490860541907725993667\ 48835502220823878555*c_0101_3^21 - 97367934999788859133936716400200505642552168/2981721083815451987334\ 9767100444164775711*c_0101_3^20 + 261016126982852471023444050951578\ 466859283353/49695351396924199788916278500740274626185*c_0101_3^19 + 7905100978049890562436724719710582215955003291/14908605419077259936\ 6748835502220823878555*c_0101_3^18 - 204735641213842620314605645017994000630670731/727249044833037070081\ 701636596199140871*c_0101_3^17 + 7546845082198847133082231347463103\ 2154719177862/149086054190772599366748835502220823878555*c_0101_3^1\ 6 + 34606785020855504794677004009459420687185509677/298172108381545\ 19873349767100444164775711*c_0101_3^15 - 81750659297938447770620243850975264921303407144/2981721083815451987\ 3349767100444164775711*c_0101_3^14 - 167047140804889812801489368603856940580804928898/149086054190772599\ 366748835502220823878555*c_0101_3^13 + 1091665306005525989974034627053290181338247340809/14908605419077259\ 9366748835502220823878555*c_0101_3^12 + 579868833752796665513753947860371151068905476826/149086054190772599\ 366748835502220823878555*c_0101_3^11 - 167706078046627631202937143176736206110353734612/298172108381545198\ 73349767100444164775711*c_0101_3^10 - 93611405048239942518059369031321388901364598807/1656511713230806659\ 6305426166913424875395*c_0101_3^9 - 19601555534862084626369023256483907781203848566/4969535139692419978\ 8916278500740274626185*c_0101_3^8 + 42759591631948798442044661160436778333963381062/1656511713230806659\ 6305426166913424875395*c_0101_3^7 + 182437316704957442452842999497013303966968412914/149086054190772599\ 366748835502220823878555*c_0101_3^6 - 110992318381413390258979564721942696730889808668/149086054190772599\ 366748835502220823878555*c_0101_3^5 - 64427966568296706331208713779608044969346101132/1490860541907725993\ 66748835502220823878555*c_0101_3^4 + 3964506310725120174468688691452488217815824344/29817210838154519873\ 349767100444164775711*c_0101_3^3 + 8842418019921124272597440447442031650314486629/14908605419077259936\ 6748835502220823878555*c_0101_3^2 - 1199270712360748704065059655889924453367562339/14908605419077259936\ 6748835502220823878555*c_0101_3 - 285951995635959973292548521002798\ 260112464909/149086054190772599366748835502220823878555, c_0011_0 - 1, c_0011_1 + 3295821152699865094464187764916846690/2507755327010472655454\ 1435744696522099*c_0101_3^21 - 242734390905802467613142533364360081\ 84/25077553270104726554541435744696522099*c_0101_3^20 + 22284373463349839125864697955294775960/8359184423368242184847145248\ 232174033*c_0101_3^19 + 219772785231244885460930869702554304463/250\ 77553270104726554541435744696522099*c_0101_3^18 - 2054865139657413598062383505785922969142/25077553270104726554541435\ 744696522099*c_0101_3^17 + 6048126321845024386564281544854755235353\ /25077553270104726554541435744696522099*c_0101_3^16 - 1077952619054049425932991571178754199658/25077553270104726554541435\ 744696522099*c_0101_3^15 - 2039417566366347343491073569756852982837\ 9/25077553270104726554541435744696522099*c_0101_3^14 + 25762820241996626708797852569675326238269/2507755327010472655454143\ 5744696522099*c_0101_3^13 + 242892019382340115944136593045698848633\ 81/25077553270104726554541435744696522099*c_0101_3^12 - 37942504020993549345483353258823289051598/2507755327010472655454143\ 5744696522099*c_0101_3^11 - 125677863187321391925361753120891051238\ 62/25077553270104726554541435744696522099*c_0101_3^10 + 1663834466235779590079112406226426506544/27863948077894140616157150\ 82744058011*c_0101_3^9 + 2782264860545277046907327404547556975707/8\ 359184423368242184847145248232174033*c_0101_3^8 + 120939376130094071937103912011803506774/278639480778941406161571508\ 2744058011*c_0101_3^7 - 9383832854780843366309109075953966205982/25\ 077553270104726554541435744696522099*c_0101_3^6 - 221267273907628459457205849472010197618/250775532701047265545414357\ 44696522099*c_0101_3^5 + 3821170113931776031522707675423987275891/2\ 5077553270104726554541435744696522099*c_0101_3^4 - 794766104475564619366299272666607535903/250775532701047265545414357\ 44696522099*c_0101_3^3 - 390955616923101217224500285806374099680/25\ 077553270104726554541435744696522099*c_0101_3^2 + 121374484741418929095976844767376866666/250775532701047265545414357\ 44696522099*c_0101_3 + 14384646964477550602850174642516471579/25077\ 553270104726554541435744696522099, c_0011_3 - 1914838563983160739907633455979065189/2507755327010472655454\ 1435744696522099*c_0101_3^21 + 131996542825185058203817426756492291\ 16/25077553270104726554541435744696522099*c_0101_3^20 - 11261547526291247843018982936932170055/8359184423368242184847145248\ 232174033*c_0101_3^19 - 135154913386479796066793720034489097757/250\ 77553270104726554541435744696522099*c_0101_3^18 + 1107263657609980650530383232220741092719/25077553270104726554541435\ 744696522099*c_0101_3^17 - 3070708575454301228736011567769735152060\ /25077553270104726554541435744696522099*c_0101_3^16 - 109224907913857756306016450363263446074/250775532701047265545414357\ 44696522099*c_0101_3^15 + 9734586684876921436818147074303988420187/\ 25077553270104726554541435744696522099*c_0101_3^14 - 10108650652421646457844357912353920321686/2507755327010472655454143\ 5744696522099*c_0101_3^13 - 121637762533801749127065433600862592602\ 05/25077553270104726554541435744696522099*c_0101_3^12 + 8695176125223186130843080715733812135439/25077553270104726554541435\ 744696522099*c_0101_3^11 + 2737239211728373480300721105302453111432\ /25077553270104726554541435744696522099*c_0101_3^10 + 214900318746683107702510759624378135280/278639480778941406161571508\ 2744058011*c_0101_3^9 + 911353819943301783664050164993151428068/835\ 9184423368242184847145248232174033*c_0101_3^8 - 55103614047044431856821937382214652911/2786394807789414061615715082\ 744058011*c_0101_3^7 + 960428128955526602685750357448486970542/2507\ 7553270104726554541435744696522099*c_0101_3^6 - 1541913158747944179430880795208546759830/25077553270104726554541435\ 744696522099*c_0101_3^5 - 840770664584089518279727650589628133527/2\ 5077553270104726554541435744696522099*c_0101_3^4 + 794864668406106075751295373282656876455/250775532701047265545414357\ 44696522099*c_0101_3^3 + 34107930268994334492173494449233816249/250\ 77553270104726554541435744696522099*c_0101_3^2 - 119051961134232926211767701443174651802/250775532701047265545414357\ 44696522099*c_0101_3 + 12740293602597969946597713733038921868/25077\ 553270104726554541435744696522099, c_0011_4 - 8133433850020621599505982380965424574/2507755327010472655454\ 1435744696522099*c_0101_3^21 + 549935582334282995358551036487962118\ 76/25077553270104726554541435744696522099*c_0101_3^20 - 44196045927504306978026797725461146103/8359184423368242184847145248\ 232174033*c_0101_3^19 - 615567021159963679914291163698574105039/250\ 77553270104726554541435744696522099*c_0101_3^18 + 4676921224528168031052577626769671478790/25077553270104726554541435\ 744696522099*c_0101_3^17 - 1213975871522659295267003178850905170725\ 6/25077553270104726554541435744696522099*c_0101_3^16 - 4103838207356204238155633688740660432611/25077553270104726554541435\ 744696522099*c_0101_3^15 + 4585582709010807567518211348786668788108\ 4/25077553270104726554541435744696522099*c_0101_3^14 - 34159662263485329754078217587916189309680/2507755327010472655454143\ 5744696522099*c_0101_3^13 - 756096786282415957465847574315522632410\ 31/25077553270104726554541435744696522099*c_0101_3^12 + 37473041300488645675244037081459922735051/2507755327010472655454143\ 5744696522099*c_0101_3^11 + 518116148427960132733640665707143957506\ 16/25077553270104726554541435744696522099*c_0101_3^10 + 1008907725643908613762038589622752082123/27863948077894140616157150\ 82744058011*c_0101_3^9 - 4436912835554347035939536704717086944209/8\ 359184423368242184847145248232174033*c_0101_3^8 - 1916285258316996213582627385834263822131/27863948077894140616157150\ 82744058011*c_0101_3^7 + 6882958779798821545784742300773357942834/2\ 5077553270104726554541435744696522099*c_0101_3^6 + 4586950516378481898865607542350972365411/25077553270104726554541435\ 744696522099*c_0101_3^5 - 3115916052012987873076401587688323734933/\ 25077553270104726554541435744696522099*c_0101_3^4 + 282923121351903527313250326627567980708/250775532701047265545414357\ 44696522099*c_0101_3^3 + 260771482735312023323406561550003982287/25\ 077553270104726554541435744696522099*c_0101_3^2 - 125395863857777524798156974690008230334/250775532701047265545414357\ 44696522099*c_0101_3 + 7125781045081921539190083026174790647/250775\ 53270104726554541435744696522099, c_0011_5 - 10608268569433727917726007128027786072/250775532701047265545\ 41435744696522099*c_0101_3^21 + 59547828935377478582086975752218116\ 355/25077553270104726554541435744696522099*c_0101_3^20 - 30498368317492347484914610715350342393/8359184423368242184847145248\ 232174033*c_0101_3^19 - 993696069884684694605697652672434997139/250\ 77553270104726554541435744696522099*c_0101_3^18 + 5153370180085051205422122297151971753934/25077553270104726554541435\ 744696522099*c_0101_3^17 - 8877434202440864041243626814555445449448\ /25077553270104726554541435744696522099*c_0101_3^16 - 22880108870990444774479494012278883330302/2507755327010472655454143\ 5744696522099*c_0101_3^15 + 514433651991575789181562475304878960906\ 35/25077553270104726554541435744696522099*c_0101_3^14 + 25678503482194412015516771674592599108174/2507755327010472655454143\ 5744696522099*c_0101_3^13 - 143019485108266225841613242235896370759\ 157/25077553270104726554541435744696522099*c_0101_3^12 - 76964840903984839926455028201670314570073/2507755327010472655454143\ 5744696522099*c_0101_3^11 + 118843087935614687119031632556494808071\ 234/25077553270104726554541435744696522099*c_0101_3^10 + 12337564692382245570138589407316040032402/2786394807789414061615715\ 082744058011*c_0101_3^9 - 305373420424035285742790554000048045484/8\ 359184423368242184847145248232174033*c_0101_3^8 - 6162197635669843235100815664199077916126/27863948077894140616157150\ 82744058011*c_0101_3^7 - 23988566478320928069810376193691502329440/\ 25077553270104726554541435744696522099*c_0101_3^6 + 17513444537894773229349490257003020119156/2507755327010472655454143\ 5744696522099*c_0101_3^5 + 9293281593515788229174666573257989735958\ /25077553270104726554541435744696522099*c_0101_3^4 - 3674230783986138497998969172249852693336/25077553270104726554541435\ 744696522099*c_0101_3^3 - 1267525540918438488973588007342391283897/\ 25077553270104726554541435744696522099*c_0101_3^2 + 320283135309479614618623462662975218997/250775532701047265545414357\ 44696522099*c_0101_3 + 27698909774579870271962317039206337195/25077\ 553270104726554541435744696522099, c_0101_1 + 1177874196198305177954778727419933337/2507755327010472655454\ 1435744696522099*c_0101_3^21 - 362237195116591115448514609525528655\ 6/25077553270104726554541435744696522099*c_0101_3^20 - 3710842762796019425633443220865595078/83591844233682421848471452482\ 32174033*c_0101_3^19 + 165667969774597355582091618081935705819/2507\ 7553270104726554541435744696522099*c_0101_3^18 - 359093204818972320080055063130842727774/250775532701047265545414357\ 44696522099*c_0101_3^17 - 824542649474413293966987599600420331763/2\ 5077553270104726554541435744696522099*c_0101_3^16 + 7566028503831561459870382541474121019754/25077553270104726554541435\ 744696522099*c_0101_3^15 - 5432997332850575695860730599173563582663\ /25077553270104726554541435744696522099*c_0101_3^14 - 21140303684490530802201581305618017196303/2507755327010472655454143\ 5744696522099*c_0101_3^13 + 337770000355007300882560198322494980643\ 06/25077553270104726554541435744696522099*c_0101_3^12 + 35673931303254439133134757038048105439635/2507755327010472655454143\ 5744696522099*c_0101_3^11 - 385572691982974641551105020251036839206\ 66/25077553270104726554541435744696522099*c_0101_3^10 - 3786791507147626106482311656973612389093/27863948077894140616157150\ 82744058011*c_0101_3^9 + 1609289139908651666480033337498921043415/8\ 359184423368242184847145248232174033*c_0101_3^8 + 2005558929450038807535314778473896664395/27863948077894140616157150\ 82744058011*c_0101_3^7 + 9488165997720889031112494065976647117817/2\ 5077553270104726554541435744696522099*c_0101_3^6 - 7827495105121085590195032464741408770297/25077553270104726554541435\ 744696522099*c_0101_3^5 - 3909270095650400460659382410858092057321/\ 25077553270104726554541435744696522099*c_0101_3^4 + 2303238584461217321812636073088248061776/25077553270104726554541435\ 744696522099*c_0101_3^3 + 341422202594129246789338993767668739916/2\ 5077553270104726554541435744696522099*c_0101_3^2 - 205328075632752544692909314294145725885/250775532701047265545414357\ 44696522099*c_0101_3 + 1335684320236439773473591818665603118/250775\ 53270104726554541435744696522099, c_0101_3^22 - 6*c_0101_3^21 + 11*c_0101_3^20 + 89*c_0101_3^19 - 519*c_0101_3^18 + 1041*c_0101_3^17 + 1719*c_0101_3^16 - 5406*c_0101_3^15 - 366*c_0101_3^14 + 13277*c_0101_3^13 + 2607*c_0101_3^12 - 11828*c_0101_3^11 - 6632*c_0101_3^10 + 2409*c_0101_3^9 + 4665*c_0101_3^8 + 686*c_0101_3^7 - 1944*c_0101_3^6 - 330*c_0101_3^5 + 459*c_0101_3^4 + 29*c_0101_3^3 - 45*c_0101_3^2 + c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB