Magma V2.19-8 Tue Aug 20 2013 16:18:58 on localhost [Seed = 3836049800] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3118 geometric_solution 6.27400716 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548399480214 0.444838577821 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 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.351773405841 0.447294888506 1 4 5 6 0132 0132 0132 0132 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 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.693089084418 0.650897584849 6 5 4 1 0132 1023 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 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.693089084418 0.650897584849 6 2 6 3 1302 0132 2031 0132 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 0 0 0 1 0 -1 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.504598179924 0.723315534392 3 5 5 2 1023 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.325138224814 0.629133601073 3 4 2 4 0132 2031 0132 1302 0 0 0 0 0 1 0 -1 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 0 1 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.960147458551 1.005855772725 ==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' : 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' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(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_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['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' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], '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_6' : negation(d['c_0011_3']), '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_5']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], '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_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(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 8 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, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 37291000884227061790170567/318622529660320430423256832*c_0101_5^19 + 11235685392024973190229650199/159311264830160215211628416*c_0101_5^\ 17 + 61181983917464244357377284473/318622529660320430423256832*c_01\ 01_5^15 + 42467284330746580538218139199/318622529660320430423256832\ *c_0101_5^13 - 76473240064888082633651197651/3186225296603204304232\ 56832*c_0101_5^11 - 71788667724700881858264648113/15931126483016021\ 5211628416*c_0101_5^9 - 17775157920413934851935347605/7965563241508\ 0107605814208*c_0101_5^7 - 27733353754549933584693237583/3186225296\ 60320430423256832*c_0101_5^5 + 4881375735017530455314132687/1593112\ 64830160215211628416*c_0101_5^3 + 2072244332370297124600899089/1593\ 11264830160215211628416*c_0101_5, c_0011_0 - 1, c_0011_1 - 32210219734884963828/2970451686123214036613*c_0101_5^18 + 19408895586209057696950/2970451686123214036613*c_0101_5^16 + 53339058146175961644420/2970451686123214036613*c_0101_5^14 + 39429327528643801899098/2970451686123214036613*c_0101_5^12 - 59983047636104428665897/2970451686123214036613*c_0101_5^10 - 121533974798597065664052/2970451686123214036613*c_0101_5^8 - 69034428363691351185337/2970451686123214036613*c_0101_5^6 - 36920280904905249623662/2970451686123214036613*c_0101_5^4 + 1889660663851788764519/2970451686123214036613*c_0101_5^2 + 1183482762246531026763/2970451686123214036613, c_0011_3 - 33932830812377150624/2970451686123214036613*c_0101_5^19 + 20420562018673307474424/2970451686123214036613*c_0101_5^17 + 72046520691315576622007/2970451686123214036613*c_0101_5^15 + 90335998087241784789338/2970451686123214036613*c_0101_5^13 - 16299593481570494377972/2970451686123214036613*c_0101_5^11 - 165397088997636052870751/2970451686123214036613*c_0101_5^9 - 188276341180600085126781/2970451686123214036613*c_0101_5^7 - 130067170092416108876172/2970451686123214036613*c_0101_5^5 - 47639188326297775512763/2970451686123214036613*c_0101_5^3 - 8309784379135932885174/2970451686123214036613*c_0101_5, c_0101_0 - 146727049042346851804/2970451686123214036613*c_0101_5^19 + 88342362227808394834967/2970451686123214036613*c_0101_5^17 + 285678579061072261628954/2970451686123214036613*c_0101_5^15 + 301185223688494302907147/2970451686123214036613*c_0101_5^13 - 175751590011949976395569/2970451686123214036613*c_0101_5^11 - 673386465962949867234121/2970451686123214036613*c_0101_5^9 - 590655445915786472713358/2970451686123214036613*c_0101_5^7 - 352484559631890202026731/2970451686123214036613*c_0101_5^5 - 106495698150549829509352/2970451686123214036613*c_0101_5^3 - 7574897052619212363439/2970451686123214036613*c_0101_5, c_0101_1 - 92154238798369163890/2970451686123214036613*c_0101_5^18 + 55510986813055316737941/2970451686123214036613*c_0101_5^16 + 163656170189600130722391/2970451686123214036613*c_0101_5^14 + 144814346662531508424312/2970451686123214036613*c_0101_5^12 - 145349738469589496034893/2970451686123214036613*c_0101_5^10 - 378034299369604606767946/2970451686123214036613*c_0101_5^8 - 269877109787821195388914/2970451686123214036613*c_0101_5^6 - 158607782172618048070641/2970451686123214036613*c_0101_5^4 - 26812942233224786860273/2970451686123214036613*c_0101_5^2 + 691545894302104988859/2970451686123214036613, c_0101_3 + 48058190328086492295/2970451686123214036613*c_0101_5^18 - 28952126022750990080346/2970451686123214036613*c_0101_5^16 - 83359479551182258629784/2970451686123214036613*c_0101_5^14 - 71184960334820411674283/2970451686123214036613*c_0101_5^12 + 79286999637358039343214/2970451686123214036613*c_0101_5^10 + 192093102090843362593941/2970451686123214036613*c_0101_5^8 + 134048314872051529456289/2970451686123214036613*c_0101_5^6 + 76200821526670449036819/2970451686123214036613*c_0101_5^4 + 8182978017895436362364/2970451686123214036613*c_0101_5^2 - 493150732132596541925/2970451686123214036613, c_0101_5^20 - 602*c_0101_5^18 - 1999*c_0101_5^16 - 2241*c_0101_5^14 + 973*c_0101_5^12 + 4662*c_0101_5^10 + 4476*c_0101_5^8 + 2841*c_0101_5^6 + 982*c_0101_5^4 + 162*c_0101_5^2 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB