Magma V2.19-8 Tue Aug 20 2013 16:19:02 on localhost [Seed = 2277907180] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3190 geometric_solution 6.34050624 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 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 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.989728067393 0.751395468197 0 5 2 6 0132 0132 1230 0132 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 -1 2 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.512938021726 0.739742525722 5 0 6 1 2310 0132 0132 3012 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 -1 0 1 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.512938021726 0.739742525722 6 4 4 0 0132 3012 1230 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 1 0 -1 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.764058974843 0.640719423859 3 6 0 3 1230 0132 0132 3012 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 -2 1 1 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.764058974843 0.640719423859 5 1 2 5 3012 0132 3201 1230 0 0 0 0 0 -1 0 1 -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 1 0 -1 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.181162698092 0.831489477774 3 4 1 2 0132 0132 0132 0132 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 2 -2 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 1.605113672728 0.661515083040 ==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' : negation(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' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_5']), '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_0101_5']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0101_5']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : 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' : negation(d['c_0101_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_1001_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' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_1001_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_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 17885607420046700396888311/1468439300047971779287938*c_1001_2^20 - 103060872410213736222082399/1468439300047971779287938*c_1001_2^19 - 11039765324649107390733541/734219650023985889643969*c_1001_2^18 + 79957867055926819113125632/734219650023985889643969*c_1001_2^17 - 493046370061368855508153184/734219650023985889643969*c_1001_2^16 + 565098495287192540490103309/1468439300047971779287938*c_1001_2^15 + 215721266148389356736350738/81579961113776209960441*c_1001_2^14 - 2306912828181925660958646935/489479766682657259762646*c_1001_2^13 - 52818861467377601242632640/734219650023985889643969*c_1001_2^12 + 8206114827950456825360526568/734219650023985889643969*c_1001_2^11 - 5774506100041318495652684599/489479766682657259762646*c_1001_2^10 - 2292622386707305753957171010/734219650023985889643969*c_1001_2^9 + 2441523201184535202688551539/163159922227552419920882*c_1001_2^8 - 2030064599797775512662255094/244739883341328629881323*c_1001_2^7 - 4467180285480669960449477390/734219650023985889643969*c_1001_2^6 + 5788684137092276764932388060/734219650023985889643969*c_1001_2^5 - 813128275799206019239732676/734219650023985889643969*c_1001_2^4 - 160570057434092773830358537/81579961113776209960441*c_1001_2^3 + 160397365346414391396207782/244739883341328629881323*c_1001_2^2 + 99216351540052101727283417/489479766682657259762646*c_1001_2 + 1403549218810803949585462/734219650023985889643969, c_0011_0 - 1, c_0011_3 - 11588474835835036902492/81579961113776209960441*c_1001_2^20 - 65908234413307610256615/81579961113776209960441*c_1001_2^19 - 10175908242761773159284/81579961113776209960441*c_1001_2^18 + 98495564846422571132092/81579961113776209960441*c_1001_2^17 - 655229239532750366775462/81579961113776209960441*c_1001_2^16 + 415092404849357109155274/81579961113776209960441*c_1001_2^15 + 2439336163189028425772548/81579961113776209960441*c_1001_2^14 - 4722440267208616722031734/81579961113776209960441*c_1001_2^13 + 455580620313276212028613/81579961113776209960441*c_1001_2^12 + 10506381544302607000930638/81579961113776209960441*c_1001_2^11 - 12406652261515884544407704/81579961113776209960441*c_1001_2^10 - 1280227064193580194638487/81579961113776209960441*c_1001_2^9 + 14593008967294518339855678/81579961113776209960441*c_1001_2^8 - 10122965291515897680548550/81579961113776209960441*c_1001_2^7 - 4192031854474991163171865/81579961113776209960441*c_1001_2^6 + 8601441294294774138101821/81579961113776209960441*c_1001_2^5 - 2728915806988467654595966/81579961113776209960441*c_1001_2^4 - 1623241975594462186953447/81579961113776209960441*c_1001_2^3 + 1146038650451900139485537/81579961113776209960441*c_1001_2^2 - 76104412750422107467482/81579961113776209960441*c_1001_2 - 61239702181561210095626/81579961113776209960441, c_0101_0 + c_1001_2, c_0101_1 - 29251591640056875078233/81579961113776209960441*c_1001_2^20 - 177774473638489303561572/81579961113776209960441*c_1001_2^19 - 93885709790900409015130/81579961113776209960441*c_1001_2^18 + 218028613613914207610625/81579961113776209960441*c_1001_2^17 - 1570819619398319757186557/81579961113776209960441*c_1001_2^16 + 424461161783619499707441/81579961113776209960441*c_1001_2^15 + 6404142404122317038731622/81579961113776209960441*c_1001_2^14 - 9454329633598132208730584/81579961113776209960441*c_1001_2^13 - 2765649600445169070462507/81579961113776209960441*c_1001_2^12 + 26072930245206154556797658/81579961113776209960441*c_1001_2^11 - 21160153332251855691639690/81579961113776209960441*c_1001_2^10 - 12953091538950531078189216/81579961113776209960441*c_1001_2^9 + 33067614511079382310313486/81579961113776209960441*c_1001_2^8 - 12012815502977915366181562/81579961113776209960441*c_1001_2^7 - 17466816584141652528911946/81579961113776209960441*c_1001_2^6 + 15317822422727161863853683/81579961113776209960441*c_1001_2^5 + 380174841331135992935043/81579961113776209960441*c_1001_2^4 - 4896706610825494846318483/81579961113776209960441*c_1001_2^3 + 965517854526864468256219/81579961113776209960441*c_1001_2^2 + 510414116926471814586029/81579961113776209960441*c_1001_2 + 23832291944809612315782/81579961113776209960441, c_0101_2 + 79382647640847853375411/163159922227552419920882*c_1001_2^20 + 221084692952693239170585/81579961113776209960441*c_1001_2^19 + 22396343902154735454165/163159922227552419920882*c_1001_2^18 - 327397995574674125043576/81579961113776209960441*c_1001_2^17 + 2274257976799758315392621/81579961113776209960441*c_1001_2^16 - 3433383560759478091189359/163159922227552419920882*c_1001_2^15 - 16063908200855473595996443/163159922227552419920882*c_1001_2^14 + 33828991975055637391361549/163159922227552419920882*c_1001_2^13 - 8038262362211862067012415/163159922227552419920882*c_1001_2^12 - 34353031912014970727511572/81579961113776209960441*c_1001_2^11 + 91625819920396252912483943/163159922227552419920882*c_1001_2^10 - 5542160949500599869265847/163159922227552419920882*c_1001_2^9 - 91839182488385083223439889/163159922227552419920882*c_1001_2^8 + 77420021008203285790029245/163159922227552419920882*c_1001_2^7 + 7581720592828637719995860/81579961113776209960441*c_1001_2^6 - 26715300057313917852488677/81579961113776209960441*c_1001_2^5 + 11934651321982270069642165/81579961113776209960441*c_1001_2^4 + 2621951629136900723183085/81579961113776209960441*c_1001_2^3 - 3249289758540113377769549/81579961113776209960441*c_1001_2^2 + 1155975959847566190855921/163159922227552419920882*c_1001_2 - 185974577560296131325965/163159922227552419920882, c_0101_5 + 60913988959887682818475/163159922227552419920882*c_1001_2^20 + 170681212022043222034689/81579961113776209960441*c_1001_2^19 + 32499870236515932865221/163159922227552419920882*c_1001_2^18 - 235942118830220556354878/81579961113776209960441*c_1001_2^17 + 1766712148850732107997721/81579961113776209960441*c_1001_2^16 - 2482362880088667715541877/163159922227552419920882*c_1001_2^15 - 12236593825993964446840587/163159922227552419920882*c_1001_2^14 + 25784653548333244362231201/163159922227552419920882*c_1001_2^13 - 5922600459342429234043975/163159922227552419920882*c_1001_2^12 - 26594667416844087625790211/81579961113776209960441*c_1001_2^11 + 69580551746727424697025643/163159922227552419920882*c_1001_2^10 - 2960420045508376911050947/163159922227552419920882*c_1001_2^9 - 72097447578883689484843049/163159922227552419920882*c_1001_2^8 + 58192371562017331229688199/163159922227552419920882*c_1001_2^7 + 7029812111435464138857177/81579961113776209960441*c_1001_2^6 - 20894575183010484498701390/81579961113776209960441*c_1001_2^5 + 8550498963539786138719621/81579961113776209960441*c_1001_2^4 + 2635899363646410751982277/81579961113776209960441*c_1001_2^3 - 2444432637478822413070129/81579961113776209960441*c_1001_2^2 + 608379823953628979619487/163159922227552419920882*c_1001_2 + 56420494736149434177111/163159922227552419920882, c_1001_2^21 + 5*c_1001_2^20 - 3*c_1001_2^19 - 9*c_1001_2^18 + 62*c_1001_2^17 - 75*c_1001_2^16 - 184*c_1001_2^15 + 546*c_1001_2^14 - 322*c_1001_2^13 - 855*c_1001_2^12 + 1657*c_1001_2^11 - 626*c_1001_2^10 - 1244*c_1001_2^9 + 1626*c_1001_2^8 - 221*c_1001_2^7 - 880*c_1001_2^6 + 638*c_1001_2^5 - 26*c_1001_2^4 - 138*c_1001_2^3 + 45*c_1001_2^2 - 2*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB