Magma V2.19-8 Tue Aug 20 2013 16:18:56 on localhost [Seed = 3347471022] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3098 geometric_solution 6.26257148 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 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.556225510737 1.243331547040 0 5 5 6 0132 0132 1023 0132 0 0 0 0 0 0 -1 1 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 -1 1 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.405348889716 0.249587374181 6 0 2 2 3201 0132 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 -1 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.135524818902 1.145351663940 6 3 3 0 0132 3201 2310 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.383878552072 0.455263604474 4 6 0 4 3201 0132 0132 2310 0 0 0 0 0 -1 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 0 -1 1 0 1 0 0 -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.535805275796 1.110332846661 5 1 1 5 3201 0132 1023 2310 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 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 1.086238182097 0.939410872349 3 4 1 2 0132 0132 0132 2310 0 0 0 0 0 1 -1 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 -1 0 0 0 0 0 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.556225510737 1.243331547040 ==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_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_0']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0110_2']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0110_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0110_2'])})} 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 134003582378774472/22899858633606317*c_0110_2^15 - 1071637771540176435/22899858633606317*c_0110_2^14 - 3760263776874585078/22899858633606317*c_0110_2^13 - 7119442181679145933/22899858633606317*c_0110_2^12 - 6484454022502292953/22899858633606317*c_0110_2^11 + 1290247595977388604/22899858633606317*c_0110_2^10 + 346580088922195823/738705117213107*c_0110_2^9 + 11894935320604209035/22899858633606317*c_0110_2^8 + 375106711566944650/2081805330327847*c_0110_2^7 - 2728612280797377191/22899858633606317*c_0110_2^6 - 2629631088283447228/22899858633606317*c_0110_2^5 + 399974358021546565/22899858633606317*c_0110_2^4 + 1330546088168461629/22899858633606317*c_0110_2^3 + 899816091707152758/22899858633606317*c_0110_2^2 + 350357090434666081/22899858633606317*c_0110_2 + 220174962473481714/22899858633606317, c_0011_0 - 1, c_0011_3 + 12747862742013/6181632780026*c_0110_2^15 + 57205950444419/3090816390013*c_0110_2^14 + 236158461269768/3090816390013*c_0110_2^13 + 1152318128492715/6181632780026*c_0110_2^12 + 1748638965398673/6181632780026*c_0110_2^11 + 1468119355316167/6181632780026*c_0110_2^10 + 5629633475203/6181632780026*c_0110_2^9 - 874280885859558/3090816390013*c_0110_2^8 - 113090495092407/280983308183*c_0110_2^7 - 1924145346769193/6181632780026*c_0110_2^6 - 929038338447917/6181632780026*c_0110_2^5 - 154950078046297/3090816390013*c_0110_2^4 - 50951618485404/3090816390013*c_0110_2^3 - 22193414821785/3090816390013*c_0110_2^2 - 8867576076207/6181632780026*c_0110_2 - 6112083014407/6181632780026, c_0101_0 + 84886044278007/24726531120104*c_0110_2^15 + 392858401879853/12363265560052*c_0110_2^14 + 413013418202944/3090816390013*c_0110_2^13 + 8065366043399473/24726531120104*c_0110_2^12 + 11854321333618255/24726531120104*c_0110_2^11 + 8725956102586407/24726531120104*c_0110_2^10 - 2611264403615551/24726531120104*c_0110_2^9 - 1757110092012841/3090816390013*c_0110_2^8 - 185284929261631/280983308183*c_0110_2^7 - 10069209021655953/24726531120104*c_0110_2^6 - 3521228236334931/24726531120104*c_0110_2^5 - 491620740296773/12363265560052*c_0110_2^4 - 274964340673761/12363265560052*c_0110_2^3 - 33352141055927/3090816390013*c_0110_2^2 - 48379454165819/24726531120104*c_0110_2 - 32252808999419/24726531120104, c_0101_1 + 2010114642697/6181632780026*c_0110_2^15 + 8087738361899/3090816390013*c_0110_2^14 + 26546835273895/3090816390013*c_0110_2^13 + 75987440301623/6181632780026*c_0110_2^12 - 18821983710829/6181632780026*c_0110_2^11 - 256878875293775/6181632780026*c_0110_2^10 - 420294801472683/6181632780026*c_0110_2^9 - 121396622946429/3090816390013*c_0110_2^8 + 7657999523148/280983308183*c_0110_2^7 + 396046448051497/6181632780026*c_0110_2^6 + 286034044029363/6181632780026*c_0110_2^5 + 47226510128135/3090816390013*c_0110_2^4 + 14739000084177/3090816390013*c_0110_2^3 + 11770272751315/3090816390013*c_0110_2^2 + 7923761120637/6181632780026*c_0110_2 + 874146934157/6181632780026, c_0101_2 - 64150905/50972449*c_0110_2^15 - 572683160/50972449*c_0110_2^14 - 2334392583/50972449*c_0110_2^13 - 5582362209/50972449*c_0110_2^12 - 8260907322/50972449*c_0110_2^11 - 6794899147/50972449*c_0110_2^10 - 221133482/50972449*c_0110_2^9 + 7432138281/50972449*c_0110_2^8 + 1002856686/4633859*c_0110_2^7 + 9441262626/50972449*c_0110_2^6 + 5530808735/50972449*c_0110_2^5 + 2301364899/50972449*c_0110_2^4 + 698901702/50972449*c_0110_2^3 + 234208642/50972449*c_0110_2^2 + 54345925/50972449*c_0110_2 + 24680818/50972449, c_0101_5 - 5867123315305/3090816390013*c_0110_2^15 - 50568200805143/3090816390013*c_0110_2^14 - 197581011712085/3090816390013*c_0110_2^13 - 443126211764138/3090816390013*c_0110_2^12 - 576972829042076/3090816390013*c_0110_2^11 - 306794658673806/3090816390013*c_0110_2^10 + 325221689766890/3090816390013*c_0110_2^9 + 811710059361787/3090816390013*c_0110_2^8 + 68241369504647/280983308183*c_0110_2^7 + 336419175491374/3090816390013*c_0110_2^6 + 36706703063417/3090816390013*c_0110_2^5 - 14131938559545/3090816390013*c_0110_2^4 + 7093188636960/3090816390013*c_0110_2^3 + 6817153405870/3090816390013*c_0110_2^2 - 3148627873531/3090816390013*c_0110_2 + 2627472734694/3090816390013, c_0110_2^16 + 10*c_0110_2^15 + 320/7*c_0110_2^14 + 865/7*c_0110_2^13 + 1475/7*c_0110_2^12 + 213*c_0110_2^11 + 453/7*c_0110_2^10 - 1124/7*c_0110_2^9 - 2088/7*c_0110_2^8 - 1913/7*c_0110_2^7 - 1143/7*c_0110_2^6 - 74*c_0110_2^5 - 218/7*c_0110_2^4 - 88/7*c_0110_2^3 - 27/7*c_0110_2^2 - c_0110_2 - 4/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB