Magma V2.19-8 Tue Aug 20 2013 16:17:18 on localhost [Seed = 2395935323] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1537 geometric_solution 5.33110654 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 0 1 -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 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.177454894972 0.130244724931 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 0 1 0 0 -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 -1 0 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 2.823319477308 2.595202725673 3 1 1 4 0132 3201 0132 0132 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 1 0 -1 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.174873187836 0.479740510726 2 5 4 6 0132 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.266716028751 0.661328098250 3 6 2 5 2031 2310 0132 2310 0 0 0 0 0 -1 0 1 0 0 1 -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 1 -1 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.266716028751 0.661328098250 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.475476753244 1.300566609696 6 6 3 4 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.513198436110 0.888266156777 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 18357101010188964029/171960104193294664542*c_0101_5^22 - 415271502411767879473/171960104193294664542*c_0101_5^20 + 773130332254147128311/57320034731098221514*c_0101_5^18 + 50792870436714962881/28660017365549110757*c_0101_5^16 - 19881894165041441544443/171960104193294664542*c_0101_5^14 - 974497206325728995071/57320034731098221514*c_0101_5^12 + 109703698049182334917609/171960104193294664542*c_0101_5^10 - 55740213362044339640575/171960104193294664542*c_0101_5^8 - 136004086278908409734231/171960104193294664542*c_0101_5^6 + 20592562031257289004800/85980052096647332271*c_0101_5^4 + 68494315325496242064403/171960104193294664542*c_0101_5^2 + 5398872832547307040177/85980052096647332271, c_0011_0 - 1, c_0011_2 + 417795609071583690/28660017365549110757*c_0101_5^22 - 8466790544987775957/28660017365549110757*c_0101_5^20 + 33500172662189290955/28660017365549110757*c_0101_5^18 + 72838536239042900075/28660017365549110757*c_0101_5^16 - 235587063221112240467/28660017365549110757*c_0101_5^14 - 481157126126849864887/28660017365549110757*c_0101_5^12 + 1081600363388887598418/28660017365549110757*c_0101_5^10 + 410120792872536092639/28660017365549110757*c_0101_5^8 - 926319682768936162187/28660017365549110757*c_0101_5^6 - 193306971551069597552/28660017365549110757*c_0101_5^4 + 79736469927820792804/28660017365549110757*c_0101_5^2 - 12398283245741453936/28660017365549110757, c_0011_4 - 218761685913927327/28660017365549110757*c_0101_5^22 + 4174181628782765348/28660017365549110757*c_0101_5^20 - 12223262780837428987/28660017365549110757*c_0101_5^18 - 60425904515751449523/28660017365549110757*c_0101_5^16 + 86653219430704873542/28660017365549110757*c_0101_5^14 + 398298056670784774873/28660017365549110757*c_0101_5^12 - 334604927599029649921/28660017365549110757*c_0101_5^10 - 898864567498389312999/28660017365549110757*c_0101_5^8 + 578979101241507160108/28660017365549110757*c_0101_5^6 + 470564554710089092802/28660017365549110757*c_0101_5^4 - 117679553531759314099/28660017365549110757*c_0101_5^2 + 904900046123203523/28660017365549110757, c_0011_6 + 167078311859871858/28660017365549110757*c_0101_5^22 - 3231486189406169657/28660017365549110757*c_0101_5^20 + 10529112965320938621/28660017365549110757*c_0101_5^18 + 36711136397244704017/28660017365549110757*c_0101_5^16 - 55701032039886147622/28660017365549110757*c_0101_5^14 - 208428711000515749769/28660017365549110757*c_0101_5^12 + 233089215490314202436/28660017365549110757*c_0101_5^10 + 188130292929737133792/28660017365549110757*c_0101_5^8 - 214470292877387296946/28660017365549110757*c_0101_5^6 + 37660498702305553228/28660017365549110757*c_0101_5^4 + 63548159136840191317/28660017365549110757*c_0101_5^2 - 7568883658094426696/28660017365549110757, c_0101_0 + 834427325900970142/28660017365549110757*c_0101_5^23 - 17148345155928820969/28660017365549110757*c_0101_5^21 + 71808590706264228089/28660017365549110757*c_0101_5^19 + 124833903459559243309/28660017365549110757*c_0101_5^17 - 504448041429637592086/28660017365549110757*c_0101_5^15 - 824959372754565960171/28660017365549110757*c_0101_5^13 + 2393923031280501497821/28660017365549110757*c_0101_5^11 + 205003494344156908180/28660017365549110757*c_0101_5^9 - 1855511528216089370614/28660017365549110757*c_0101_5^7 - 164916977240353418748/28660017365549110757*c_0101_5^5 + 271944818640679250240/28660017365549110757*c_0101_5^3 - 9542299882501015049/28660017365549110757*c_0101_5, c_0101_1 + 347371208306964368/28660017365549110757*c_0101_5^22 - 7103336467403101521/28660017365549110757*c_0101_5^20 + 29253292804527422116/28660017365549110757*c_0101_5^18 + 53316278802622982495/28660017365549110757*c_0101_5^16 - 199347591568437011351/28660017365549110757*c_0101_5^14 - 344820629940613063089/28660017365549110757*c_0101_5^12 + 936679408613021557774/28660017365549110757*c_0101_5^10 + 74065650802634446529/28660017365549110757*c_0101_5^8 - 660385011964135577459/28660017365549110757*c_0101_5^6 - 29136461678490581715/28660017365549110757*c_0101_5^4 + 35229001051844244468/28660017365549110757*c_0101_5^2 - 22144931173637031968/28660017365549110757, c_0101_5^24 - 20*c_0101_5^22 + 75*c_0101_5^20 + 192*c_0101_5^18 - 508*c_0101_5^16 - 1254*c_0101_5^14 + 2267*c_0101_5^12 + 1435*c_0101_5^10 - 1921*c_0101_5^8 - 904*c_0101_5^6 + 170*c_0101_5^4 + 25*c_0101_5^2 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB