Magma V2.19-8 Tue Aug 20 2013 16:14:37 on localhost [Seed = 3364443342] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s608 geometric_solution 5.08708697 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 -1 1 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 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.440003471928 0.314056701821 0 3 2 4 0132 0132 1230 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 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.494348818904 1.074672983729 3 0 4 1 3201 0132 0132 3012 0 0 0 0 0 1 -1 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 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.494348818904 1.074672983729 5 1 5 2 0132 0132 2310 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 -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.533819075485 1.962089989526 4 4 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 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 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.861002810948 1.141337956176 3 3 5 5 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228717894224 0.223405688768 ==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' : 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_1_5' : negation(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_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0110_2'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_2'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_0'], '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_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : 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' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), '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' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0110_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 26716926573546468349700268400166800760507724/1414818155794062296025\ 9067103959178398423*c_0110_2^16 + 203079589122508835650396766207183\ 7770800559/744641134628453840013635110734693599917*c_0110_2^15 + 23912419576608101721796344920375630490958013/1414818155794062296025\ 9067103959178398423*c_0110_2^14 - 751777112844879148695698855281453\ 28685707349/14148181557940622960259067103959178398423*c_0110_2^13 - 1233388458483920082784390261240014706840666450/14148181557940622960\ 259067103959178398423*c_0110_2^12 - 2433399842101506021271695091818796730928116327/14148181557940622960\ 259067103959178398423*c_0110_2^11 - 1268101633960298432918596277164862625777213898/14148181557940622960\ 259067103959178398423*c_0110_2^10 - 32756377999554756300038446184105913036384912/8322459739965072329564\ 15711997598729319*c_0110_2^9 - 301159598271489059427672643659666106\ 9020210801/14148181557940622960259067103959178398423*c_0110_2^8 - 1667174843000103526555126576341967812644057442/14148181557940622960\ 259067103959178398423*c_0110_2^7 + 3482485060705055929421209950042174506264429440/14148181557940622960\ 259067103959178398423*c_0110_2^6 + 4272197971510286901506480523780844317278209800/14148181557940622960\ 259067103959178398423*c_0110_2^5 + 29006628603390922029863511274025698886947271/7446411346284538400136\ 35110734693599917*c_0110_2^4 - 143956730567760203908098943567609812\ 7464767872/14148181557940622960259067103959178398423*c_0110_2^3 - 665768633180527409779672986624820204108430654/141481815579406229602\ 59067103959178398423*c_0110_2^2 - 421369519947303465653218642334095\ 19555333903/14148181557940622960259067103959178398423*c_0110_2 + 8929741681872598221111507314213658540138262/14148181557940622960259\ 067103959178398423, c_0011_0 - 1, c_0011_4 + 820633963574080217419481628681711678/75960536022488405591516\ 383835019239*c_0110_2^16 + 1127502223352795689420260433083205452/75\ 960536022488405591516383835019239*c_0110_2^15 + 669027851975429391568500721413442635/759605360224884055915163838350\ 19239*c_0110_2^14 - 2344182059287191670303831513720207324/759605360\ 22488405591516383835019239*c_0110_2^13 - 37717526339841569507374077576834738060/7596053602248840559151638383\ 5019239*c_0110_2^12 - 72140960313490301702309333980416647653/759605\ 36022488405591516383835019239*c_0110_2^11 - 34497637677506585445431413089734155786/7596053602248840559151638383\ 5019239*c_0110_2^10 - 916334839124438483960800711988168786/44682668\ 24852259152442140225589367*c_0110_2^9 - 91399738826976643622053892014162555460/7596053602248840559151638383\ 5019239*c_0110_2^8 - 44652337182044622562504969524594729302/7596053\ 6022488405591516383835019239*c_0110_2^7 + 108951433752879426601439354015064193308/759605360224884055915163838\ 35019239*c_0110_2^6 + 123746628266539682410683635927112089688/75960\ 536022488405591516383835019239*c_0110_2^5 + 10600092071694196838745907327379157568/7596053602248840559151638383\ 5019239*c_0110_2^4 - 43335622733387844753794908147138566480/7596053\ 6022488405591516383835019239*c_0110_2^3 - 17960584659476485124358088203107420712/7596053602248840559151638383\ 5019239*c_0110_2^2 - 940075261598995962358753628527880933/759605360\ 22488405591516383835019239*c_0110_2 + 160376080482720455535349164319218144/759605360224884055915163838350\ 19239, c_0101_0 + 20857246897100361004384358684969916943767/141481815579406229\ 60259067103959178398423*c_0110_2^16 + 1233013427116160465126745524561509093275/74464113462845384001363511\ 0734693599917*c_0110_2^15 + 114980588144812263102993597542018643024\ 01/14148181557940622960259067103959178398423*c_0110_2^14 - 60592085976946226947821179623878454848948/1414818155794062296025906\ 7103959178398423*c_0110_2^13 - 941278377163837073392498448388651667\ 309562/14148181557940622960259067103959178398423*c_0110_2^12 - 1596899417138485691062097112685035043363488/14148181557940622960259\ 067103959178398423*c_0110_2^11 - 4962289202665248233755340857581696\ 40463967/14148181557940622960259067103959178398423*c_0110_2^10 - 21508062355339968919948900588088528529439/8322459739965072329564157\ 11997598729319*c_0110_2^9 - 236711564624544400135804657422085941324\ 9147/14148181557940622960259067103959178398423*c_0110_2^8 - 631785269467294467889349146347207259280313/141481815579406229602590\ 67103959178398423*c_0110_2^7 + 280052693524882125424483426002480805\ 9287825/14148181557940622960259067103959178398423*c_0110_2^6 + 2222297217861392483297490890972075694448355/14148181557940622960259\ 067103959178398423*c_0110_2^5 - 18820766916672196552916421076844554\ 839355/744641134628453840013635110734693599917*c_0110_2^4 - 876884318974875702845099906194949826665320/141481815579406229602590\ 67103959178398423*c_0110_2^3 - 110892313360126487715048819828319058\ 022271/14148181557940622960259067103959178398423*c_0110_2^2 + 20647603120124791983392214460400611488658/1414818155794062296025906\ 7103959178398423*c_0110_2 - 149003563449946398565601986308855477004\ 53/14148181557940622960259067103959178398423, c_0101_1 - 6744826653490531025666721761591611478466/1414818155794062296\ 0259067103959178398423*c_0110_2^16 - 66482920915247283544174964379670816777/7446411346284538400136351107\ 34693599917*c_0110_2^15 + 1518122719980032941945042049033862426264/\ 14148181557940622960259067103959178398423*c_0110_2^14 + 21951865491216433172521922396049287204818/1414818155794062296025906\ 7103959178398423*c_0110_2^13 + 284729049229227031500845572025328557\ 983451/14148181557940622960259067103959178398423*c_0110_2^12 + 236190563411752618366611805834381895890659/141481815579406229602590\ 67103959178398423*c_0110_2^11 - 24293973665750448138071134929637596\ 7863453/14148181557940622960259067103959178398423*c_0110_2^10 + 4141678416746917434221837662307049448349/83224597399650723295641571\ 1997598729319*c_0110_2^9 + 6861524707623589211838965165061464166448\ 80/14148181557940622960259067103959178398423*c_0110_2^8 - 409158804344849365901529792017207742658757/141481815579406229602590\ 67103959178398423*c_0110_2^7 - 869490446774453972502213836801257287\ 777089/14148181557940622960259067103959178398423*c_0110_2^6 + 129294448367755310895257119282368853447173/141481815579406229602590\ 67103959178398423*c_0110_2^5 + 358948993348169768178315631165577836\ 20089/744641134628453840013635110734693599917*c_0110_2^4 + 136575360986589483129448953688274823979052/141481815579406229602590\ 67103959178398423*c_0110_2^3 - 232436546082148036217086957340722383\ 473357/14148181557940622960259067103959178398423*c_0110_2^2 - 62265959202038867572521610120298568423989/1414818155794062296025906\ 7103959178398423*c_0110_2 + 466909835664769808969204931700859810340\ 3/14148181557940622960259067103959178398423, c_0101_3 + 76062069487653781960267056/11465730596025737953288007*c_0110\ _2^16 + 122602982577055565775836650/11465730596025737953288007*c_01\ 10_2^15 + 84205468400180549774793929/11465730596025737953288007*c_0\ 110_2^14 - 204792786162048057821267462/11465730596025737953288007*c\ _0110_2^13 - 3547563289442281454128809520/1146573059602573795328800\ 7*c_0110_2^12 - 7508616548575177722117072259/1146573059602573795328\ 8007*c_0110_2^11 - 4668593241361865780911012318/1146573059602573795\ 3288007*c_0110_2^10 - 119651045658467585207024065/67445474094269046\ 7840471*c_0110_2^9 - 8840925967118502624854656800/11465730596025737\ 953288007*c_0110_2^8 - 6214350690851306092906287047/114657305960257\ 37953288007*c_0110_2^7 + 9317856293819364358904468207/1146573059602\ 5737953288007*c_0110_2^6 + 13807213018387012589378108544/1146573059\ 6025737953288007*c_0110_2^5 + 3193175925264033823893812273/11465730\ 596025737953288007*c_0110_2^4 - 4115038079480030614508974909/114657\ 30596025737953288007*c_0110_2^3 - 2478682811769148236298186048/1146\ 5730596025737953288007*c_0110_2^2 - 272515282847325759178700267/11465730596025737953288007*c_0110_2 + 25122807966936748068854383/11465730596025737953288007, c_0110_2^17 + 88/63*c_0110_2^16 + 52/63*c_0110_2^15 - 20/7*c_0110_2^14 - 2900/63*c_0110_2^13 - 800/9*c_0110_2^12 - 905/21*c_0110_2^11 - 389/21*c_0110_2^10 - 7040/63*c_0110_2^9 - 3595/63*c_0110_2^8 + 8405/63*c_0110_2^7 + 9683/63*c_0110_2^6 + 90/7*c_0110_2^5 - 1154/21*c_0110_2^4 - 1405/63*c_0110_2^3 - 1/3*c_0110_2^2 + 26/63*c_0110_2 - 1/63 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB