Magma V2.19-8 Tue Aug 20 2013 16:14:44 on localhost [Seed = 1208603729] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s717 geometric_solution 5.22791054 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 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 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.421464666860 0.762949848462 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 1 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.881570148107 1.018725384581 1 3 0 4 1230 2310 0132 3201 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 0 1 -1 -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.881570148107 1.018725384581 1 5 5 2 0132 0132 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.800741980048 0.499173520576 4 2 4 1 2031 2310 1302 0132 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.187665899693 0.838239615643 5 3 3 5 3012 0132 1023 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.578904480286 0.484225944219 ==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' : negation(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' : 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_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : 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' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1898335811137489/1590209801419000*c_0101_5^15 - 126665092897609/39755245035475*c_0101_5^14 - 15265202621332491/397552450354750*c_0101_5^13 - 34481584680956069/1590209801419000*c_0101_5^12 + 60462925990029091/397552450354750*c_0101_5^11 + 222922156514954061/1590209801419000*c_0101_5^10 - 295280467677979521/1590209801419000*c_0101_5^9 - 78937309117960481/318041960283800*c_0101_5^8 + 42486527621293951/1590209801419000*c_0101_5^7 + 87529724439011919/397552450354750*c_0101_5^6 + 30735535598375283/795104900709500*c_0101_5^5 - 50959729939687099/318041960283800*c_0101_5^4 + 27525495133074523/1590209801419000*c_0101_5^3 + 7215784765585077/159020980141900*c_0101_5^2 + 37139843240525999/1590209801419000*c_0101_5 + 14342412062100987/1590209801419000, c_0011_0 - 1, c_0011_1 + 17466885056639/159020980141900*c_0101_5^15 - 9095356108491/31804196028380*c_0101_5^14 - 548601068647499/159020980141900*c_0101_5^13 - 192096049927177/79510490070950*c_0101_5^12 + 416586178773651/39755245035475*c_0101_5^11 + 1449547821142711/159020980141900*c_0101_5^10 - 728448077926113/79510490070950*c_0101_5^9 - 317362960324243/31804196028380*c_0101_5^8 - 6387234512976/39755245035475*c_0101_5^7 + 694324785201303/79510490070950*c_0101_5^6 + 4048890918619/39755245035475*c_0101_5^5 - 206482301986329/31804196028380*c_0101_5^4 + 345207163762699/79510490070950*c_0101_5^3 - 53719704518987/15902098014190*c_0101_5^2 + 258070932746179/159020980141900*c_0101_5 + 17570872008791/79510490070950, c_0011_4 + 24149151312903/159020980141900*c_0101_5^15 - 13553078485139/31804196028380*c_0101_5^14 - 750384104907903/159020980141900*c_0101_5^13 - 179732601734119/79510490070950*c_0101_5^12 + 636425104555432/39755245035475*c_0101_5^11 + 1444714168085647/159020980141900*c_0101_5^10 - 1571241650490821/79510490070950*c_0101_5^9 - 370119284602027/31804196028380*c_0101_5^8 + 389435257844838/39755245035475*c_0101_5^7 + 1217571499235251/79510490070950*c_0101_5^6 - 289105645134692/39755245035475*c_0101_5^5 - 459941563029893/31804196028380*c_0101_5^4 + 869754598412473/79510490070950*c_0101_5^3 - 23383217320951/15902098014190*c_0101_5^2 + 150936474811523/159020980141900*c_0101_5 - 1048909170313/79510490070950, c_0101_0 + 16605763045381/159020980141900*c_0101_5^15 - 5139577669893/31804196028380*c_0101_5^14 - 568998911380981/159020980141900*c_0101_5^13 - 456050279397313/79510490070950*c_0101_5^12 + 315952942926589/39755245035475*c_0101_5^11 + 3095699825707869/159020980141900*c_0101_5^10 - 160985284030817/79510490070950*c_0101_5^9 - 690676455009449/31804196028380*c_0101_5^8 - 255735043749949/39755245035475*c_0101_5^7 + 1149412799588627/79510490070950*c_0101_5^6 + 347296860338141/39755245035475*c_0101_5^5 - 374864434808611/31804196028380*c_0101_5^4 - 449377326967379/79510490070950*c_0101_5^3 + 83082443770813/15902098014190*c_0101_5^2 - 35501363263079/159020980141900*c_0101_5 + 48832176778549/79510490070950, c_0101_1 - 580013162076/39755245035475*c_0101_5^15 + 518797004602/7951049007095*c_0101_5^14 + 18261780652361/39755245035475*c_0101_5^13 - 27801826611519/39755245035475*c_0101_5^12 - 169758244230516/39755245035475*c_0101_5^11 - 41663521359724/39755245035475*c_0101_5^10 + 331500828081994/39755245035475*c_0101_5^9 + 43099504060621/7951049007095*c_0101_5^8 - 176806916303004/39755245035475*c_0101_5^7 - 226249395282039/39755245035475*c_0101_5^6 + 44247319400721/39755245035475*c_0101_5^5 + 33447819866536/7951049007095*c_0101_5^4 - 101479659527857/39755245035475*c_0101_5^3 - 15904845435523/7951049007095*c_0101_5^2 + 47463698686804/39755245035475*c_0101_5 - 12348607716128/39755245035475, c_0101_5^16 - 3*c_0101_5^15 - 31*c_0101_5^14 - 8*c_0101_5^13 + 124*c_0101_5^12 + 61*c_0101_5^11 - 176*c_0101_5^10 - 113*c_0101_5^9 + 94*c_0101_5^8 + 142*c_0101_5^7 - 48*c_0101_5^6 - 127*c_0101_5^5 + 72*c_0101_5^4 + 14*c_0101_5^3 + c_0101_5^2 - 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB