Magma V2.19-8 Tue Aug 20 2013 16:17:06 on localhost [Seed = 1646526131] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1344 geometric_solution 5.21860554 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.217451440098 0.157161303503 0 0 2 2 0132 2310 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 -1 1 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 2.212871966856 2.078961366543 3 1 1 4 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386037886545 0.478364899784 2 4 6 5 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.277584278356 0.891390247529 6 5 2 3 2310 2310 0132 3201 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 -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.277584278356 0.891390247529 5 5 3 4 1230 3012 0132 3201 0 0 0 0 0 -1 1 0 1 0 0 -1 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 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.768975232314 1.365014304776 6 6 4 3 1230 3012 3201 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.066359086496 0.729269859237 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(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' : negation(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' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), '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' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_6'], '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_5'], '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_5']), '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' : d['c_0011_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' : d['c_0011_6'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_5']), '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_5, c_0011_6, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 1990152904501/81275072*c_0101_1^25 - 86586897663089/162550144*c_0101_1^24 + 51097178396307/10159384*c_0101_1^23 - 4302178625034261/162550144*c_0101_1^22 + 13175142879836829/162550144*c_0101_1^21 - 10085885506610421/81275072*c_0101_1^20 - 3801165610022865/162550144*c_0101_1^19 + 36922672075636599/81275072*c_0101_1^18 - 53244082888940717/81275072*c_0101_1^17 - 12442868602513537/81275072*c_0101_1^16 + 108767096193398237/81275072*c_0101_1^15 - 149628496111040093/162550144*c_0101_1^14 - 81826677613318389/81275072*c_0101_1^13 + 125591153296188173/81275072*c_0101_1^12 + 1123358213108389/10159384*c_0101_1^11 - 94115746732575509/81275072*c_0101_1^10 + 52090529179798755/162550144*c_0101_1^9 + 80002901817381303/162550144*c_0101_1^8 - 4663101225231195/20318768*c_0101_1^7 - 21771575698255361/162550144*c_0101_1^6 + 11235866779104129/162550144*c_0101_1^5 + 594017786566213/20318768*c_0101_1^4 - 737912679095773/81275072*c_0101_1^3 - 918190304208205/162550144*c_0101_1^2 + 30068691405987/162550144*c_0101_1 + 84671253069429/162550144, c_0011_0 - 1, c_0011_2 - c_0101_1^2 + c_0101_1 + 1, c_0011_4 + 2034796763/81275072*c_0101_1^25 - 22210176651/40637536*c_0101_1^24 + 421446999821/81275072*c_0101_1^23 - 2233840838739/81275072*c_0101_1^22 + 1732083049047/20318768*c_0101_1^21 - 10964929921301/81275072*c_0101_1^20 - 346442820151/40637536*c_0101_1^19 + 18514531908617/40637536*c_0101_1^18 - 28432101718897/40637536*c_0101_1^17 - 846934609325/10159384*c_0101_1^16 + 107997690300623/81275072*c_0101_1^15 - 41464437678875/40637536*c_0101_1^14 - 36531402494443/40637536*c_0101_1^13 + 1991164499680/1269923*c_0101_1^12 - 36070734729/10159384*c_0101_1^11 - 90139097207151/81275072*c_0101_1^10 + 29925322781651/81275072*c_0101_1^9 + 18188434523933/40637536*c_0101_1^8 - 19085073087047/81275072*c_0101_1^7 - 9575551354839/81275072*c_0101_1^6 + 689315848671/10159384*c_0101_1^5 + 132981353233/5079692*c_0101_1^4 - 733081139387/81275072*c_0101_1^3 - 423290046795/81275072*c_0101_1^2 + 20567643149/81275072*c_0101_1 + 2400287719/5079692, c_0011_5 + 4585059031/81275072*c_0101_1^25 - 49887991335/40637536*c_0101_1^24 + 942527306737/81275072*c_0101_1^23 - 4963349671535/81275072*c_0101_1^22 + 3804824973299/20318768*c_0101_1^21 - 23380975271897/81275072*c_0101_1^20 - 2050675798499/40637536*c_0101_1^19 + 42456452737949/40637536*c_0101_1^18 - 61625546947365/40637536*c_0101_1^17 - 3406456083121/10159384*c_0101_1^16 + 249833396590811/81275072*c_0101_1^15 - 86991342616375/40637536*c_0101_1^14 - 92918598507943/40637536*c_0101_1^13 + 4517182212144/1269923*c_0101_1^12 + 2275826161259/10159384*c_0101_1^11 - 215175538087675/81275072*c_0101_1^10 + 60885024110511/81275072*c_0101_1^9 + 45442504568641/40637536*c_0101_1^8 - 42949836291763/81275072*c_0101_1^7 - 24631125715523/81275072*c_0101_1^6 + 1607785538163/10159384*c_0101_1^5 + 336632602809/5079692*c_0101_1^4 - 1690265467895/81275072*c_0101_1^3 - 1043886723655/81275072*c_0101_1^2 + 35857415857/81275072*c_0101_1 + 5999231447/5079692, c_0011_6 + c_0101_1^3 - 2*c_0101_1^2 - c_0101_1 + 1, c_0101_0 - 894470757/20318768*c_0101_1^25 + 9716341701/10159384*c_0101_1^24 - 183148612179/20318768*c_0101_1^23 + 961085738429/20318768*c_0101_1^22 - 732103707237/5079692*c_0101_1^21 + 4421403535147/20318768*c_0101_1^20 + 539027375361/10159384*c_0101_1^19 - 8380681320551/10159384*c_0101_1^18 + 11800922296919/10159384*c_0101_1^17 + 818992910845/2539846*c_0101_1^16 - 49549649517553/20318768*c_0101_1^15 + 16406517643845/10159384*c_0101_1^14 + 19214144879941/10159384*c_0101_1^13 - 3552289383330/1269923*c_0101_1^12 - 662003277253/2539846*c_0101_1^11 + 43284100418161/20318768*c_0101_1^10 - 11372380126525/20318768*c_0101_1^9 - 9303019902715/10159384*c_0101_1^8 + 8430808079401/20318768*c_0101_1^7 + 5089365631353/20318768*c_0101_1^6 - 320431815473/2539846*c_0101_1^5 - 69089693133/1269923*c_0101_1^4 + 335552608277/20318768*c_0101_1^3 + 212411692981/20318768*c_0101_1^2 - 6352113315/20318768*c_0101_1 - 1228112910/1269923, c_0101_1^26 - 21*c_0101_1^25 + 189*c_0101_1^24 - 926*c_0101_1^23 + 2495*c_0101_1^22 - 2571*c_0101_1^21 - 4781*c_0101_1^20 + 17844*c_0101_1^19 - 12776*c_0101_1^18 - 26438*c_0101_1^17 + 49989*c_0101_1^16 + 3575*c_0101_1^15 - 69500*c_0101_1^14 + 32198*c_0101_1^13 + 52072*c_0101_1^12 - 43957*c_0101_1^11 - 22512*c_0101_1^10 + 29987*c_0101_1^9 + 5745*c_0101_1^8 - 12534*c_0101_1^7 - 1289*c_0101_1^6 + 3320*c_0101_1^5 + 527*c_0101_1^4 - 510*c_0101_1^3 - 166*c_0101_1^2 + 27*c_0101_1 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB