Magma V2.19-8 Tue Aug 20 2013 16:17:16 on localhost [Seed = 2446331207] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1512 geometric_solution 5.31602635 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.450490880140 0.212927925422 2 0 3 0 0132 2310 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.735064649170 0.644682991845 1 4 3 5 0132 0132 3012 0132 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 -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.952107507585 1.208718707351 5 2 4 1 1023 1230 3201 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 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.952107507585 1.208718707351 3 2 6 6 2310 0132 2310 0132 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.757322160211 0.461317669990 5 3 2 5 3012 1023 0132 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 0 -1 1 -1 0 0 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.254403318086 0.906665985059 6 4 4 6 3201 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.286889459244 1.022443088106 ==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' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], '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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], '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' : d['c_0011_6'], '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_0011_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : 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_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 131229590197553/35143772630376*c_0101_3^22 - 3908068466938507/70287545260752*c_0101_3^20 + 4494951827446217/23429181753584*c_0101_3^18 - 18313107336633893/35143772630376*c_0101_3^16 + 75351648564279913/35143772630376*c_0101_3^14 - 462323210373742465/70287545260752*c_0101_3^12 + 286980232000846725/23429181753584*c_0101_3^10 - 532934750467866049/35143772630376*c_0101_3^8 + 231249457223429555/17571886315188*c_0101_3^6 - 495410335818099197/70287545260752*c_0101_3^4 + 55679484420763981/35143772630376*c_0101_3^2 - 2186666230237403/70287545260752, c_0011_0 - 1, c_0011_1 + 8905035615979/46858363507168*c_0101_3^22 - 8202440440885/2928647719198*c_0101_3^20 + 439923092156539/46858363507168*c_0101_3^18 - 603870412733313/23429181753584*c_0101_3^16 + 5002140780506969/46858363507168*c_0101_3^14 - 7571130259109775/23429181753584*c_0101_3^12 + 27939512531957107/46858363507168*c_0101_3^10 - 1078277594592328/1464323859599*c_0101_3^8 + 29870175217373753/46858363507168*c_0101_3^6 - 16035327223101835/46858363507168*c_0101_3^4 + 3791133516285433/46858363507168*c_0101_3^2 - 163660359814137/46858363507168, c_0011_3 + 333681628719/2928647719198*c_0101_3^23 - 38239732075007/23429181753584*c_0101_3^21 + 116832696431325/23429181753584*c_0101_3^19 - 162100760410339/11714590876792*c_0101_3^17 + 348732512521645/5857295438396*c_0101_3^15 - 4042657792183913/23429181753584*c_0101_3^13 + 7067178354269889/23429181753584*c_0101_3^11 - 4215430973823957/11714590876792*c_0101_3^9 + 3538781148134971/11714590876792*c_0101_3^7 - 3625500202777303/23429181753584*c_0101_3^5 + 234256824178307/5857295438396*c_0101_3^3 - 118914317828009/23429181753584*c_0101_3, c_0011_6 - 2945597637287/46858363507168*c_0101_3^22 + 11471686442943/11714590876792*c_0101_3^20 - 178308064266859/46858363507168*c_0101_3^18 + 236105697237361/23429181753584*c_0101_3^16 - 1873556660396157/46858363507168*c_0101_3^14 + 3028874629140037/23429181753584*c_0101_3^12 - 11834422806862227/46858363507168*c_0101_3^10 + 1882483495656137/5857295438396*c_0101_3^8 - 13473296320355781/46858363507168*c_0101_3^6 + 7515397484338419/46858363507168*c_0101_3^4 - 1716039139355277/46858363507168*c_0101_3^2 + 67781935465425/46858363507168, c_0101_0 - 1143390495245/11714590876792*c_0101_3^22 + 34279741418213/23429181753584*c_0101_3^20 - 120866904333313/23429181753584*c_0101_3^18 + 165300427337071/11714590876792*c_0101_3^16 - 673021490871497/11714590876792*c_0101_3^14 + 4156054152806055/23429181753584*c_0101_3^12 - 7901298707253357/23429181753584*c_0101_3^10 + 5023375131420367/11714590876792*c_0101_3^8 - 1122306896001103/2928647719198*c_0101_3^6 + 5079114977809615/23429181753584*c_0101_3^4 - 682806266309157/11714590876792*c_0101_3^2 + 74385580045465/23429181753584, c_0101_1 - 4136589623875/46858363507168*c_0101_3^22 + 32965161015495/23429181753584*c_0101_3^20 - 270551722440717/46858363507168*c_0101_3^18 + 356240012929359/23429181753584*c_0101_3^16 - 2776159667605049/46858363507168*c_0101_3^14 + 286627821730273/1464323859599*c_0101_3^12 - 18361486079813261/46858363507168*c_0101_3^10 + 5948315636289269/11714590876792*c_0101_3^8 - 21652141155971421/46858363507168*c_0101_3^6 + 12458729381499233/46858363507168*c_0101_3^4 - 2996145931179257/46858363507168*c_0101_3^2 + 123386728516851/46858363507168, c_0101_3^24 - 15*c_0101_3^22 + 53*c_0101_3^20 - 145*c_0101_3^18 + 589*c_0101_3^16 - 1823*c_0101_3^14 + 3467*c_0101_3^12 - 4403*c_0101_3^10 + 3939*c_0101_3^8 - 2238*c_0101_3^6 + 606*c_0101_3^4 - 48*c_0101_3^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB