Magma V2.19-8 Tue Aug 20 2013 16:17:46 on localhost [Seed = 1141233831] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1997 geometric_solution 5.55920921 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 1 0 -1 -1 0 1 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 1.170864413976 1.047242313225 3 4 2 0 0132 0132 1230 0132 0 0 0 0 0 0 0 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 0 0 0 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.821526560183 0.924418575164 4 3 0 1 2310 3201 0132 3012 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 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.821526560183 0.924418575164 1 5 2 5 0132 0132 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 -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.714827553222 0.428528249986 6 1 2 6 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379323541284 0.558541785173 5 3 5 3 2031 0132 1302 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 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.587289530717 0.121888411618 4 6 6 4 0132 3201 2310 1023 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 1.425324048456 0.662071417713 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0101_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 283260856787281/91731736336384*c_0110_5^22 + 2977817630764481/91731736336384*c_0110_5^20 + 363353557580899/91731736336384*c_0110_5^18 - 15397980407174069/22932934084096*c_0110_5^16 - 68091296901014813/91731736336384*c_0110_5^14 + 78296728779848697/45865868168192*c_0110_5^12 + 72550791939455767/45865868168192*c_0110_5^10 - 34923925640883141/22932934084096*c_0110_5^8 - 38184158283817917/91731736336384*c_0110_5^6 - 24888990762617/5733233521024*c_0110_5^4 + 2040901163455611/22932934084096*c_0110_5^2 + 2314868351804281/91731736336384, c_0011_0 - 1, c_0011_1 + 2328801011643/2866616760512*c_0110_5^23 + 23541488001099/2866616760512*c_0110_5^21 - 6847298245775/2866616760512*c_0110_5^19 - 126777908914051/716654190128*c_0110_5^17 - 355996952169151/2866616760512*c_0110_5^15 + 751137661240107/1433308380256*c_0110_5^13 + 337782148728469/1433308380256*c_0110_5^11 - 396389318759603/716654190128*c_0110_5^9 + 143089343558321/2866616760512*c_0110_5^7 + 2197964471729/89581773766*c_0110_5^5 + 20503356073713/716654190128*c_0110_5^3 - 14974290075165/2866616760512*c_0110_5, c_0101_0 + 197949769571/716654190128*c_0110_5^23 + 2048570721629/716654190128*c_0110_5^21 - 82829188755/716654190128*c_0110_5^19 - 21523091333481/358327095064*c_0110_5^17 - 40568985770541/716654190128*c_0110_5^15 + 58193000664639/358327095064*c_0110_5^13 + 41667905686551/358327095064*c_0110_5^11 - 27884194552553/179163547532*c_0110_5^9 - 11356354673087/716654190128*c_0110_5^7 + 648839623767/358327095064*c_0110_5^5 + 4354094932877/358327095064*c_0110_5^3 + 605198714857/716654190128*c_0110_5, c_0101_1 + 2500976609979/1433308380256*c_0110_5^23 + 25352507257269/1433308380256*c_0110_5^21 - 6567305478327/1433308380256*c_0110_5^19 - 272006963677315/716654190128*c_0110_5^17 - 397290898926437/1433308380256*c_0110_5^15 + 793384053092073/716654190128*c_0110_5^13 + 373876729424265/716654190128*c_0110_5^11 - 206283996833225/179163547532*c_0110_5^9 + 152816118160917/1433308380256*c_0110_5^7 + 29640987165989/716654190128*c_0110_5^5 + 39541915340729/716654190128*c_0110_5^3 - 14694583519691/1433308380256*c_0110_5, c_0101_4 + 86865050751/179163547532*c_0110_5^22 + 3550095069281/716654190128*c_0110_5^20 - 38773064652/44790886883*c_0110_5^18 - 75550045377677/716654190128*c_0110_5^16 - 61206493445551/716654190128*c_0110_5^14 + 107000123437403/358327095064*c_0110_5^12 + 29632630318491/179163547532*c_0110_5^10 - 108586116511751/358327095064*c_0110_5^8 + 4353603543331/358327095064*c_0110_5^6 + 8853723980597/716654190128*c_0110_5^4 + 11434646215447/716654190128*c_0110_5^2 - 1910883960891/716654190128, c_0101_6 + 452821059273/1433308380256*c_0110_5^22 + 4586042583705/1433308380256*c_0110_5^20 - 1240137142701/1433308380256*c_0110_5^18 - 24648735011927/358327095064*c_0110_5^16 - 71270860111861/1433308380256*c_0110_5^14 + 144740383704533/716654190128*c_0110_5^12 + 69534678332899/716654190128*c_0110_5^10 - 73731250400487/358327095064*c_0110_5^8 + 23788976364419/1433308380256*c_0110_5^6 + 103155888353/179163547532*c_0110_5^4 + 3269012139503/358327095064*c_0110_5^2 - 2210356337543/1433308380256, c_0110_5^24 + 10*c_0110_5^22 - 4*c_0110_5^20 - 217*c_0110_5^18 - 129*c_0110_5^16 + 653*c_0110_5^14 + 208*c_0110_5^12 - 694*c_0110_5^10 + 159*c_0110_5^8 + 11*c_0110_5^6 + 28*c_0110_5^4 - 11*c_0110_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB