Magma V2.19-8 Tue Aug 20 2013 16:16:26 on localhost [Seed = 4290667280] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0718 geometric_solution 4.67071253 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 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 -1 1 1 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 0 0.624660431265 0.173568733978 0 3 0 4 0132 0132 1023 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 1 -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.182467769432 1.634853258518 0 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 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.533561318656 0.070790677260 5 1 4 5 0132 0132 3012 1023 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 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.458614853069 0.696474211012 6 3 1 6 0132 1230 0132 1023 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 -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 0.458614853069 0.696474211012 3 6 6 3 0132 3201 2310 1023 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 -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.436259987442 0.534861641172 4 5 5 4 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.436259987442 0.534861641172 ==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_0']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : 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' : d['c_0110_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_4']), '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_5'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_4']), '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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 2865825402/52895*c_0110_2^19 - 21201049653/52895*c_0110_2^18 - 26578826432/52895*c_0110_2^17 + 22924534505/10579*c_0110_2^16 + 187093730437/52895*c_0110_2^15 - 88513762361/10579*c_0110_2^14 - 557861932686/52895*c_0110_2^13 + 1239307545224/52895*c_0110_2^12 + 150200197758/10579*c_0110_2^11 - 2233464287636/52895*c_0110_2^10 - 25445299954/52895*c_0110_2^9 + 441326257332/10579*c_0110_2^8 - 992702243844/52895*c_0110_2^7 - 176834425305/10579*c_0110_2^6 + 900271862324/52895*c_0110_2^5 - 101935398088/52895*c_0110_2^4 - 206627970093/52895*c_0110_2^3 + 119960850787/52895*c_0110_2^2 - 27406085057/52895*c_0110_2 + 2378750017/52895, c_0011_0 - 1, c_0011_4 - 25342287/10579*c_0110_2^19 - 185881518/10579*c_0110_2^18 - 222207608/10579*c_0110_2^17 + 1036405473/10579*c_0110_2^16 + 1604146943/10579*c_0110_2^15 - 4051095638/10579*c_0110_2^14 - 4770357850/10579*c_0110_2^13 + 11381243802/10579*c_0110_2^12 + 6208227708/10579*c_0110_2^11 - 20468040257/10579*c_0110_2^10 + 588125849/10579*c_0110_2^9 + 20085771264/10579*c_0110_2^8 - 9686330568/10579*c_0110_2^7 - 7878923936/10579*c_0110_2^6 + 8461397331/10579*c_0110_2^5 - 1075233193/10579*c_0110_2^4 - 1907274343/10579*c_0110_2^3 + 1130529432/10579*c_0110_2^2 - 259468495/10579*c_0110_2 + 22404975/10579, c_0101_0 + 3*c_0110_2^19 + 21*c_0110_2^18 + 19*c_0110_2^17 - 131*c_0110_2^16 - 148*c_0110_2^15 + 541*c_0110_2^14 + 399*c_0110_2^13 - 1529*c_0110_2^12 - 268*c_0110_2^11 + 2649*c_0110_2^10 - 907*c_0110_2^9 - 2317*c_0110_2^8 + 1961*c_0110_2^7 + 508*c_0110_2^6 - 1311*c_0110_2^5 + 484*c_0110_2^4 + 173*c_0110_2^3 - 212*c_0110_2^2 + 80*c_0110_2 - 13, c_0101_1 - 118155585/10579*c_0110_2^19 - 875949111/10579*c_0110_2^18 - 1110347428/10579*c_0110_2^17 + 4701848559/10579*c_0110_2^16 + 7775859629/10579*c_0110_2^15 - 18098605928/10579*c_0110_2^14 - 23214874584/10579*c_0110_2^13 + 50643060033/10579*c_0110_2^12 + 31546504519/10579*c_0110_2^11 - 91348520657/10579*c_0110_2^10 - 2133702734/10579*c_0110_2^9 + 90489167000/10579*c_0110_2^8 - 39757923097/10579*c_0110_2^7 - 36574638521/10579*c_0110_2^6 + 36518069961/10579*c_0110_2^5 - 3895354556/10579*c_0110_2^4 - 8455577987/10579*c_0110_2^3 + 4845024956/10579*c_0110_2^2 - 1097231228/10579*c_0110_2 + 94430078/10579, c_0101_5 + 16229289/10579*c_0110_2^19 + 128909328/10579*c_0110_2^18 + 219943270/10579*c_0110_2^17 - 535816915/10579*c_0110_2^16 - 1362167700/10579*c_0110_2^15 + 1793208072/10579*c_0110_2^14 + 4204233934/10579*c_0110_2^13 - 4828967456/10579*c_0110_2^12 - 7093014725/10579*c_0110_2^11 + 9060861272/10579*c_0110_2^10 + 5422764000/10579*c_0110_2^9 - 10057739221/10579*c_0110_2^8 - 87298428/10579*c_0110_2^7 + 5516581945/10579*c_0110_2^6 - 2148092932/10579*c_0110_2^5 - 879639509/10579*c_0110_2^4 + 834918079/10579*c_0110_2^3 - 192642787/10579*c_0110_2^2 + 2630860/10579*c_0110_2 + 2979623/10579, c_0101_6 + 16229289/10579*c_0110_2^19 + 128909328/10579*c_0110_2^18 + 219943270/10579*c_0110_2^17 - 535816915/10579*c_0110_2^16 - 1362167700/10579*c_0110_2^15 + 1793208072/10579*c_0110_2^14 + 4204233934/10579*c_0110_2^13 - 4828967456/10579*c_0110_2^12 - 7093014725/10579*c_0110_2^11 + 9060861272/10579*c_0110_2^10 + 5422764000/10579*c_0110_2^9 - 10057739221/10579*c_0110_2^8 - 87298428/10579*c_0110_2^7 + 5516581945/10579*c_0110_2^6 - 2148092932/10579*c_0110_2^5 - 879639509/10579*c_0110_2^4 + 834918079/10579*c_0110_2^3 - 192642787/10579*c_0110_2^2 + 2630860/10579*c_0110_2 + 2979623/10579, c_0110_2^20 + 7*c_0110_2^19 + 19/3*c_0110_2^18 - 131/3*c_0110_2^17 - 148/3*c_0110_2^16 + 541/3*c_0110_2^15 + 133*c_0110_2^14 - 1529/3*c_0110_2^13 - 268/3*c_0110_2^12 + 883*c_0110_2^11 - 907/3*c_0110_2^10 - 2317/3*c_0110_2^9 + 1961/3*c_0110_2^8 + 508/3*c_0110_2^7 - 437*c_0110_2^6 + 484/3*c_0110_2^5 + 173/3*c_0110_2^4 - 212/3*c_0110_2^3 + 79/3*c_0110_2^2 - 14/3*c_0110_2 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB