Magma V2.19-8 Tue Aug 20 2013 16:14:38 on localhost [Seed = 2160139398] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s625 geometric_solution 5.10980399 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 -1 0 1 0 0 -1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483890055497 0.269578823947 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 0 1 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 -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.939008113465 0.609036580579 1 4 5 5 0132 0132 0132 3201 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 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.552625271805 1.247781428960 5 5 4 1 2310 1023 0132 0132 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.552625271805 1.247781428960 4 2 4 3 2031 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 -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.531133260384 0.496150601083 3 2 3 2 1023 2310 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.296734945933 0.670002574527 ==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' : negation(d['1']), 's_3_5' : negation(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' : negation(d['1']), 's_2_3' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : 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_1']), 'c_1001_2' : negation(d['c_0101_1']), '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_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : 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_3, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 3589592444913941/7884155103659712*c_0101_3^20 + 8778756949291397/1314025850609952*c_0101_3^18 - 199606701168420203/3942077551829856*c_0101_3^16 + 62116254463412921/246379846989366*c_0101_3^14 - 1693920787597766201/1971038775914928*c_0101_3^12 + 1302289218480033491/657012925304976*c_0101_3^10 - 7829900643457901621/2628051701219904*c_0101_3^8 + 5846971660102372867/2628051701219904*c_0101_3^6 + 1442412866787536545/7884155103659712*c_0101_3^4 - 2310080147184307553/7884155103659712*c_0101_3^2 - 312997406051153023/2628051701219904, c_0011_0 - 1, c_0011_1 - 106787109395/57548577398976*c_0101_3^20 + 256878697199/9591429566496*c_0101_3^18 - 5735987750609/28774288699488*c_0101_3^16 + 6994483848521/7193572174872*c_0101_3^14 - 46355640685181/14387144349744*c_0101_3^12 + 11357961232377/1598571594416*c_0101_3^10 - 189325325115323/19182859132992*c_0101_3^8 + 108805535638453/19182859132992*c_0101_3^6 + 193789330054303/57548577398976*c_0101_3^4 - 50627860508279/57548577398976*c_0101_3^2 - 4885486509947/6394286377664, c_0011_3 + 12946798204627/7884155103659712*c_0101_3^20 - 30582272846695/1314025850609952*c_0101_3^18 + 676914768162457/3942077551829856*c_0101_3^16 - 821413252142323/985519387957464*c_0101_3^14 + 5440273361994697/1971038775914928*c_0101_3^12 - 1348305704797101/219004308434992*c_0101_3^10 + 23669780412488779/2628051701219904*c_0101_3^8 - 17618139496818485/2628051701219904*c_0101_3^6 + 8095219372246897/7884155103659712*c_0101_3^4 - 18276932914033001/7884155103659712*c_0101_3^2 + 158784139188619/876017233739968, c_0101_0 - 7736296615529/5913116327744784*c_0101_3^21 + 9761183309023/492759693978732*c_0101_3^19 - 229233611359801/1478279081936196*c_0101_3^17 + 2372122462679999/2956558163872392*c_0101_3^15 - 8533880955980563/2956558163872392*c_0101_3^13 + 2383304634982421/328506462652488*c_0101_3^11 - 24946984469045375/1971038775914928*c_0101_3^9 + 27199122648010999/1971038775914928*c_0101_3^7 - 45519979133942729/5913116327744784*c_0101_3^5 + 18440305073844295/5913116327744784*c_0101_3^3 + 374934905418377/657012925304976*c_0101_3, c_0101_1 - 8993976679/3596786087436*c_0101_3^20 + 86148002269/2397857391624*c_0101_3^18 - 1918794308659/7193572174872*c_0101_3^16 + 9334912704427/7193572174872*c_0101_3^14 - 30821087074325/7193572174872*c_0101_3^12 + 7511835273679/799285797208*c_0101_3^10 - 31060311801005/2397857391624*c_0101_3^8 + 8628110134979/1198928695812*c_0101_3^6 + 33503950079635/7193572174872*c_0101_3^4 - 1397358883519/899196521859*c_0101_3^2 - 46559873273/799285797208, c_0101_3^22 - 15*c_0101_3^20 + 116*c_0101_3^18 - 590*c_0101_3^16 + 2068*c_0101_3^14 - 4968*c_0101_3^12 + 7959*c_0101_3^10 - 7008*c_0101_3^8 + 1168*c_0101_3^6 + 802*c_0101_3^4 + 36*c_0101_3^2 - 81 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB