Magma V2.19-8 Tue Aug 20 2013 16:16:38 on localhost [Seed = 3280101145] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0924 geometric_solution 4.82113689 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 1 -1 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 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.737279189769 0.148105124358 0 2 0 2 0132 0132 1023 1023 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 0 1 -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 0.672608310253 0.420983391581 3 1 4 1 0132 0132 0132 1023 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 0 0 0 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 2.129177756357 0.984006861993 2 4 4 5 0132 1230 0213 0132 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 -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.734723507637 0.663404481025 5 3 3 2 0132 0213 3012 0132 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 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.734723507637 0.663404481025 4 6 3 6 0132 0132 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 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.949429489297 0.344111480254 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645551414755 0.172070775675 ==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' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_1_3' : negation(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_0101_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0011_0'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 87084803643774736451693/386199601739192537429*c_0110_6^17 + 123699365941388903481703/386199601739192537429*c_0110_6^16 + 94546004353788664406682/55171371677027505347*c_0110_6^15 + 1933356542205601762108757/386199601739192537429*c_0110_6^14 + 3775704709173212575079230/386199601739192537429*c_0110_6^13 + 6905953055208277427425280/386199601739192537429*c_0110_6^12 + 9187386178740668882831447/386199601739192537429*c_0110_6^11 + 14164989353302990668779097/386199601739192537429*c_0110_6^10 + 246891951179271424342321/55171371677027505347*c_0110_6^9 - 4264681234938053763061464/386199601739192537429*c_0110_6^8 - 706401818397819609601597/386199601739192537429*c_0110_6^7 - 31118951391968780832514886/386199601739192537429*c_0110_6^6 - 366485265093007256910805/7881624525289643621*c_0110_6^5 + 20935424593494602978303707/386199601739192537429*c_0110_6^4 + 15054331721048150376172835/386199601739192537429*c_0110_6^3 - 5596871803245220904430545/386199601739192537429*c_0110_6^2 - 4393167899126123405093957/386199601739192537429*c_0110_6 + 1474204695752670100578692/386199601739192537429, c_0011_0 - 1, c_0011_4 - 1633766174475713510/111008796130840051*c_0110_6^17 - 2367966036413537264/111008796130840051*c_0110_6^16 - 12499356593612340760/111008796130840051*c_0110_6^15 - 36658523446071267210/111008796130840051*c_0110_6^14 - 72015319439185594747/111008796130840051*c_0110_6^13 - 132008243824664467942/111008796130840051*c_0110_6^12 - 176936236383924286663/111008796130840051*c_0110_6^11 - 272268191697020614756/111008796130840051*c_0110_6^10 - 42288509622637347589/111008796130840051*c_0110_6^9 + 75797725048467478583/111008796130840051*c_0110_6^8 + 14243865633689864251/111008796130840051*c_0110_6^7 + 584651485411326736366/111008796130840051*c_0110_6^6 + 354226548971710515326/111008796130840051*c_0110_6^5 - 377168718782909549913/111008796130840051*c_0110_6^4 - 288629655701241701431/111008796130840051*c_0110_6^3 + 94668277514488421751/111008796130840051*c_0110_6^2 + 81746425731273934088/111008796130840051*c_0110_6 - 25543303533715885572/111008796130840051, c_0101_0 - 1872160287418414477/111008796130840051*c_0110_6^17 - 2726358911118489667/111008796130840051*c_0110_6^16 - 14346767653250566150/111008796130840051*c_0110_6^15 - 42115009845850121472/111008796130840051*c_0110_6^14 - 82851522155460871660/111008796130840051*c_0110_6^13 - 151962398153177915997/111008796130840051*c_0110_6^12 - 204047687731495584250/111008796130840051*c_0110_6^11 - 313861902638707500193/111008796130840051*c_0110_6^10 - 51284782411137166769/111008796130840051*c_0110_6^9 + 85502175043658401725/111008796130840051*c_0110_6^8 + 16461624491647344710/111008796130840051*c_0110_6^7 + 670305540427676667468/111008796130840051*c_0110_6^6 + 410544025704848089172/111008796130840051*c_0110_6^5 - 427530038377746638147/111008796130840051*c_0110_6^4 - 331679968086392307849/111008796130840051*c_0110_6^3 + 105322375796780417543/111008796130840051*c_0110_6^2 + 93140589197528588621/111008796130840051*c_0110_6 - 28637109383749361720/111008796130840051, c_0101_1 - 789311150493103675/111008796130840051*c_0110_6^17 - 1147030582959000353/111008796130840051*c_0110_6^16 - 6042926264038023377/111008796130840051*c_0110_6^15 - 17731554013660438687/111008796130840051*c_0110_6^14 - 34854986315698933192/111008796130840051*c_0110_6^13 - 63888730696438380521/111008796130840051*c_0110_6^12 - 85667122171077183486/111008796130840051*c_0110_6^11 - 131740577324529653480/111008796130840051*c_0110_6^10 - 20692015269647823457/111008796130840051*c_0110_6^9 + 36915752702549645777/111008796130840051*c_0110_6^8 + 7572072876436852594/111008796130840051*c_0110_6^7 + 282900670731744582414/111008796130840051*c_0110_6^6 + 172496324036102321346/111008796130840051*c_0110_6^5 - 181395068532966065934/111008796130840051*c_0110_6^4 - 140742814728738925108/111008796130840051*c_0110_6^3 + 44633588204051646951/111008796130840051*c_0110_6^2 + 39620728212722168306/111008796130840051*c_0110_6 - 12153690427345448469/111008796130840051, c_0101_2 - 371210325278997817/111008796130840051*c_0110_6^17 - 502856732829171536/111008796130840051*c_0110_6^16 - 2774958958293450312/111008796130840051*c_0110_6^15 - 8030983681781025045/111008796130840051*c_0110_6^14 - 15450013748337714883/111008796130840051*c_0110_6^13 - 28054782851171897798/111008796130840051*c_0110_6^12 - 36516420812755639235/111008796130840051*c_0110_6^11 - 56445123388939890939/111008796130840051*c_0110_6^10 - 1333499221631488973/111008796130840051*c_0110_6^9 + 21776000395383054444/111008796130840051*c_0110_6^8 + 3976285056907006059/111008796130840051*c_0110_6^7 + 132985342245194380648/111008796130840051*c_0110_6^6 + 67995828495478765790/111008796130840051*c_0110_6^5 - 98149410813056642857/111008796130840051*c_0110_6^4 - 63343972235043876725/111008796130840051*c_0110_6^3 + 27992470464176711376/111008796130840051*c_0110_6^2 + 19536220649051588282/111008796130840051*c_0110_6 - 6953868311866891793/111008796130840051, c_0101_4 - 2112165426342121362/111008796130840051*c_0110_6^17 - 3042872071036628968/111008796130840051*c_0110_6^16 - 16126011693191766970/111008796130840051*c_0110_6^15 - 47236788227082315282/111008796130840051*c_0110_6^14 - 92628748638319414224/111008796130840051*c_0110_6^13 - 169657905222076000069/111008796130840051*c_0110_6^12 - 226837125600798252050/111008796130840051*c_0110_6^11 - 349195194841356984090/111008796130840051*c_0110_6^10 - 50387448930624028942/111008796130840051*c_0110_6^9 + 100266411570162039927/111008796130840051*c_0110_6^8 + 18802275557452910307/111008796130840051*c_0110_6^7 + 755891765923963083501/111008796130840051*c_0110_6^6 + 451375829826513026520/111008796130840051*c_0110_6^5 - 493971978187664324262/111008796130840051*c_0110_6^4 - 371834219041548360246/111008796130840051*c_0110_6^3 + 125716264535221448376/111008796130840051*c_0110_6^2 + 105972926391565391217/111008796130840051*c_0110_6 - 33598748666098338531/111008796130840051, c_0110_6^18 + c_0110_6^17 + 7*c_0110_6^16 + 19*c_0110_6^15 + 34*c_0110_6^14 + 61*c_0110_6^13 + 72*c_0110_6^12 + 118*c_0110_6^11 - 49*c_0110_6^10 - 58*c_0110_6^9 + 12*c_0110_6^8 - 354*c_0110_6^7 - 56*c_0110_6^6 + 328*c_0110_6^5 + 73*c_0110_6^4 - 137*c_0110_6^3 - 24*c_0110_6^2 + 38*c_0110_6 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB