Magma V2.19-8 Tue Aug 20 2013 16:14:13 on localhost [Seed = 3836049611] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s191 geometric_solution 4.30375940 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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.546373662448 0.097055683319 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 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 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.679363193515 0.218117491502 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 1 0 -1 0 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 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759249609555 1.351348961694 5 2 4 4 0132 0132 2310 3120 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.148551127845 0.815823347232 3 3 2 5 3120 3201 0132 3201 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 -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.148551127845 0.815823347232 3 4 5 5 0132 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.783968106915 1.186418875993 ==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' : 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_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_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_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 64470086385315388645127/12885326743538687465905*c_0101_5^17 + 86583915432457579497513/2577065348707737493181*c_0101_5^16 - 22995168389536383978713/12885326743538687465905*c_0101_5^15 - 857365116395955643206784/12885326743538687465905*c_0101_5^14 - 5374368381029923955290562/12885326743538687465905*c_0101_5^13 - 12818887556266011653643667/12885326743538687465905*c_0101_5^12 + 9028834155840722789607971/12885326743538687465905*c_0101_5^11 - 6031319700473983931588884/12885326743538687465905*c_0101_5^10 + 36357793666060334110417669/12885326743538687465905*c_0101_5^9 + 14409162171872559184555928/12885326743538687465905*c_0101_5^8 - 24136150474447984309446164/12885326743538687465905*c_0101_5^7 + 10255538144196168365152237/2577065348707737493181*c_0101_5^6 - 43514000623561253042351626/12885326743538687465905*c_0101_5^5 + 51637497325960476379419437/12885326743538687465905*c_0101_5^4 - 22304038055768924938854048/12885326743538687465905*c_0101_5^3 + 13854998152970803348329158/12885326743538687465905*c_0101_5^2 - 5822103055082915661734491/12885326743538687465905*c_0101_5 + 161680080254158420210172/12885326743538687465905, c_0011_0 - 1, c_0011_1 - 386279208975664163773/2577065348707737493181*c_0101_5^17 - 3845459515975819551801/2577065348707737493181*c_0101_5^16 - 11252732211970199644315/2577065348707737493181*c_0101_5^15 - 22206748347643357881006/2577065348707737493181*c_0101_5^14 - 22492455016338582909996/2577065348707737493181*c_0101_5^13 + 32783561176454443298612/2577065348707737493181*c_0101_5^12 + 53856997067183778048258/2577065348707737493181*c_0101_5^11 + 80856297198400557322700/2577065348707737493181*c_0101_5^10 + 53777847790953232767731/2577065348707737493181*c_0101_5^9 - 63909008758760799882288/2577065348707737493181*c_0101_5^8 + 53884090566805698553376/2577065348707737493181*c_0101_5^7 + 37921205357487009417944/2577065348707737493181*c_0101_5^6 + 7566396869241530689667/2577065348707737493181*c_0101_5^5 + 25451000242608332212952/2577065348707737493181*c_0101_5^4 - 24046663523792016216292/2577065348707737493181*c_0101_5^3 + 1814097274975304547798/2577065348707737493181*c_0101_5^2 - 1494926545289804450141/2577065348707737493181*c_0101_5 + 1402893833798470319219/2577065348707737493181, c_0011_4 - 270883595235530247461/2577065348707737493181*c_0101_5^17 - 2826111944164305503487/2577065348707737493181*c_0101_5^16 - 9122208668641433636484/2577065348707737493181*c_0101_5^15 - 18846320968321753339433/2577065348707737493181*c_0101_5^14 - 22230836604325555031808/2577065348707737493181*c_0101_5^13 + 17070581850607528142574/2577065348707737493181*c_0101_5^12 + 48950756313810924732249/2577065348707737493181*c_0101_5^11 + 67649868200209671005121/2577065348707737493181*c_0101_5^10 + 64507566209652863405058/2577065348707737493181*c_0101_5^9 - 34053682830514991885336/2577065348707737493181*c_0101_5^8 + 21615403999600149805808/2577065348707737493181*c_0101_5^7 + 55385547678568228002057/2577065348707737493181*c_0101_5^6 - 2214553938424861606573/2577065348707737493181*c_0101_5^5 + 34385199021716573982603/2577065348707737493181*c_0101_5^4 - 16558357538851374690687/2577065348707737493181*c_0101_5^3 - 3263435057416251351144/2577065348707737493181*c_0101_5^2 - 740679115510013386191/2577065348707737493181*c_0101_5 - 1060996850285100530877/2577065348707737493181, c_0101_0 + 916806345206585144994/2577065348707737493181*c_0101_5^17 + 8670317544288415587659/2577065348707737493181*c_0101_5^16 + 22903651466424749435772/2577065348707737493181*c_0101_5^15 + 46103986377033377027132/2577065348707737493181*c_0101_5^14 + 42534814667570294344609/2577065348707737493181*c_0101_5^13 - 76218468879859044690292/2577065348707737493181*c_0101_5^12 - 72666809625175984239878/2577065348707737493181*c_0101_5^11 - 208242271077421632505489/2577065348707737493181*c_0101_5^10 - 64670579499528976287053/2577065348707737493181*c_0101_5^9 + 88860867954868591581062/2577065348707737493181*c_0101_5^8 - 190988050850309348680606/2577065348707737493181*c_0101_5^7 + 91090353841877980347472/2577065348707737493181*c_0101_5^6 - 174716730980800320630090/2577065348707737493181*c_0101_5^5 + 70520142831102492289642/2577065348707737493181*c_0101_5^4 - 24132350381767507853156/2577065348707737493181*c_0101_5^3 + 26264536581381168385526/2577065348707737493181*c_0101_5^2 + 400569623239835726565/2577065348707737493181*c_0101_5 - 88199042562992785528/2577065348707737493181, c_0101_3 - 148282952490934334268/2577065348707737493181*c_0101_5^17 - 1316692262753269065947/2577065348707737493181*c_0101_5^16 - 3093158356583108773332/2577065348707737493181*c_0101_5^15 - 7218027534478212150438/2577065348707737493181*c_0101_5^14 - 7679708781158451441954/2577065348707737493181*c_0101_5^13 + 6361109953362478771045/2577065348707737493181*c_0101_5^12 - 4290796787269933129873/2577065348707737493181*c_0101_5^11 + 44937013671585266245290/2577065348707737493181*c_0101_5^10 + 10194996192554814355283/2577065348707737493181*c_0101_5^9 + 19282867865287989288887/2577065348707737493181*c_0101_5^8 + 55034604076384204509605/2577065348707737493181*c_0101_5^7 - 61250603718393334659357/2577065348707737493181*c_0101_5^6 + 75229990617157304105987/2577065348707737493181*c_0101_5^5 - 31891666718029787249611/2577065348707737493181*c_0101_5^4 + 27837246476024663523331/2577065348707737493181*c_0101_5^3 - 7957981531088978443940/2577065348707737493181*c_0101_5^2 - 54000241886330771142/2577065348707737493181*c_0101_5 - 1210677901398636837522/2577065348707737493181, c_0101_5^18 + 9*c_0101_5^17 + 21*c_0101_5^16 + 42*c_0101_5^15 + 31*c_0101_5^14 - 90*c_0101_5^13 - 31*c_0101_5^12 - 225*c_0101_5^11 + 14*c_0101_5^10 + 67*c_0101_5^9 - 256*c_0101_5^8 + 242*c_0101_5^7 - 323*c_0101_5^6 + 204*c_0101_5^5 - 115*c_0101_5^4 + 68*c_0101_5^3 - 17*c_0101_5^2 + 4*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB