Magma V2.19-8 Tue Aug 20 2013 16:16:55 on localhost [Seed = 2328565334] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1170 geometric_solution 5.04422404 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 -1 0 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.398855158113 0.360597067472 0 1 0 1 0132 2310 2310 3201 0 0 0 0 0 1 0 -1 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 -1 0 1 -1 0 1 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.272666605608 0.490011076335 4 5 3 0 0132 0132 2031 0132 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 -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.491222822887 0.508230990314 5 4 0 2 2310 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 -1 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 -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.491222822887 0.508230990314 2 3 6 6 0132 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.949833471786 0.984274662568 5 2 3 5 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.016765015620 1.017278649404 4 6 6 4 3201 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.334226429475 0.787002878267 ==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' : 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' : 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_6'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_2']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 6720169405333/48458363131*c_0101_5^16 - 70503611861336/48458363131*c_0101_5^15 - 303490878365844/48458363131*c_0101_5^14 - 646830276942426/48458363131*c_0101_5^13 - 615150619366042/48458363131*c_0101_5^12 - 36424184516579/48458363131*c_0101_5^11 + 262563278033640/48458363131*c_0101_5^10 - 132008183146708/48458363131*c_0101_5^9 - 319814145133789/48458363131*c_0101_5^8 - 186437650696419/48458363131*c_0101_5^7 + 108926477151663/48458363131*c_0101_5^6 - 13397090054854/48458363131*c_0101_5^5 + 54987725582026/48458363131*c_0101_5^4 - 812950239882/48458363131*c_0101_5^3 - 26836615226207/48458363131*c_0101_5^2 + 40416927983578/48458363131*c_0101_5 - 13464661830660/48458363131, c_0011_0 - 1, c_0011_2 - 91387335920/48458363131*c_0101_5^16 - 933908965775/48458363131*c_0101_5^15 - 3851452708524/48458363131*c_0101_5^14 - 7509585516705/48458363131*c_0101_5^13 - 5214347557106/48458363131*c_0101_5^12 + 3607176868665/48458363131*c_0101_5^11 + 5994258792593/48458363131*c_0101_5^10 - 1584312488293/48458363131*c_0101_5^9 - 3952106964259/48458363131*c_0101_5^8 - 1160517810772/48458363131*c_0101_5^7 + 2987571134215/48458363131*c_0101_5^6 + 221030231113/48458363131*c_0101_5^5 + 965170156038/48458363131*c_0101_5^4 - 109609760826/48458363131*c_0101_5^3 - 423936204512/48458363131*c_0101_5^2 + 602269344063/48458363131*c_0101_5 - 288826300002/48458363131, c_0011_6 + 457014809550/48458363131*c_0101_5^16 + 4771887398303/48458363131*c_0101_5^15 + 20384873137581/48458363131*c_0101_5^14 + 42793626289053/48458363131*c_0101_5^13 + 38886989827334/48458363131*c_0101_5^12 - 1393030096480/48458363131*c_0101_5^11 - 20187539859301/48458363131*c_0101_5^10 + 8661699817954/48458363131*c_0101_5^9 + 21166587542471/48458363131*c_0101_5^8 + 11224129892944/48458363131*c_0101_5^7 - 8762276989939/48458363131*c_0101_5^6 + 569121141380/48458363131*c_0101_5^5 - 3974460135743/48458363131*c_0101_5^4 + 24945999247/48458363131*c_0101_5^3 + 1915490882689/48458363131*c_0101_5^2 - 2789780619312/48458363131*c_0101_5 + 1048672719009/48458363131, c_0101_0 + 220060498810/48458363131*c_0101_5^16 + 2298899872148/48458363131*c_0101_5^15 + 9828430592600/48458363131*c_0101_5^14 + 20666762089956/48458363131*c_0101_5^13 + 18887238194594/48458363131*c_0101_5^12 - 394768887611/48458363131*c_0101_5^11 - 9369201504386/48458363131*c_0101_5^10 + 4553021136889/48458363131*c_0101_5^9 + 10496697093033/48458363131*c_0101_5^8 + 5471348031520/48458363131*c_0101_5^7 - 4302675631514/48458363131*c_0101_5^6 + 264161615836/48458363131*c_0101_5^5 - 1746822153553/48458363131*c_0101_5^4 + 101756253188/48458363131*c_0101_5^3 + 910097774816/48458363131*c_0101_5^2 - 1385049539932/48458363131*c_0101_5 + 487069832300/48458363131, c_0101_1 + 223356999667/48458363131*c_0101_5^16 + 2321660831733/48458363131*c_0101_5^15 + 9845427992870/48458363131*c_0101_5^14 + 20362873283612/48458363131*c_0101_5^13 + 17641182308397/48458363131*c_0101_5^12 - 2473876543377/48458363131*c_0101_5^11 - 10909063198913/48458363131*c_0101_5^10 + 4256525888947/48458363131*c_0101_5^9 + 10368373723581/48458363131*c_0101_5^8 + 4973858332379/48458363131*c_0101_5^7 - 5042702480097/48458363131*c_0101_5^6 - 13974288962/48458363131*c_0101_5^5 - 1953107323318/48458363131*c_0101_5^4 + 134543012395/48458363131*c_0101_5^3 + 970251000287/48458363131*c_0101_5^2 - 1423073018295/48458363131*c_0101_5 + 552539132635/48458363131, c_0101_2 - 499844238222/48458363131*c_0101_5^16 - 5226311215061/48458363131*c_0101_5^15 - 22378683385386/48458363131*c_0101_5^14 - 47217070564534/48458363131*c_0101_5^13 - 43646415351618/48458363131*c_0101_5^12 - 231133469591/48458363131*c_0101_5^11 + 20430080184249/48458363131*c_0101_5^10 - 10491745333437/48458363131*c_0101_5^9 - 23821605322151/48458363131*c_0101_5^8 - 12859879723704/48458363131*c_0101_5^7 + 9008170873906/48458363131*c_0101_5^6 - 1090451817489/48458363131*c_0101_5^5 + 3898503324325/48458363131*c_0101_5^4 - 241631679494/48458363131*c_0101_5^3 - 2065844490427/48458363131*c_0101_5^2 + 3097516392665/48458363131*c_0101_5 - 1108883940332/48458363131, c_0101_5^17 + 10*c_0101_5^16 + 40*c_0101_5^15 + 74*c_0101_5^14 + 44*c_0101_5^13 - 40*c_0101_5^12 - 42*c_0101_5^11 + 39*c_0101_5^10 + 38*c_0101_5^9 + 4*c_0101_5^8 - 30*c_0101_5^7 + 10*c_0101_5^6 - 9*c_0101_5^5 + 4*c_0101_5^4 + 4*c_0101_5^3 - 8*c_0101_5^2 + 5*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB