Magma V2.19-8 Tue Aug 20 2013 16:14:20 on localhost [Seed = 3701293311] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s326 geometric_solution 4.50571857 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 1 0132 3201 2310 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 1 0 -1 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.747838269396 0.280977357736 0 0 3 2 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 -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 1.179226896942 1.031766245846 4 3 1 3 0132 2031 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 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.726117909190 0.606699739878 2 4 2 1 1302 2310 1230 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 -1 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.726117909190 0.606699739878 2 5 5 3 0132 0132 1023 3201 0 0 0 0 0 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 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0.390261767330 0.272784669524 5 4 4 5 3201 0132 1023 2310 0 0 0 0 0 0 1 -1 1 0 -1 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 1 -1 1 0 -1 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 1.140651726928 0.939044822684 ==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' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : 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' : negation(d['1']), 's_1_0' : 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_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), '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_2'], 'c_0011_4' : negation(d['c_0011_2']), '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' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 402141241460186784979/7862776024924994336*c_0101_5^13 - 25022581099858965377/7862776024924994336*c_0101_5^12 - 3015345957149193617409/3931388012462497168*c_0101_5^11 + 7210978946486656076505/7862776024924994336*c_0101_5^10 + 22072771076385112581541/7862776024924994336*c_0101_5^9 - 11821546791785101151413/7862776024924994336*c_0101_5^8 + 106083880008301642398377/7862776024924994336*c_0101_5^7 - 72688139899329426070631/3931388012462497168*c_0101_5^6 - 30083358436750764662501/3931388012462497168*c_0101_5^5 + 84437697730454936821849/7862776024924994336*c_0101_5^4 - 66223744162839473005547/7862776024924994336*c_0101_5^3 + 5071480516561217945807/7862776024924994336*c_0101_5^2 + 23871222439856295482911/7862776024924994336*c_0101_5 - 6261065867404072401161/7862776024924994336, c_0011_0 - 1, c_0011_2 - 13115238654178555/245711750778906073*c_0101_5^13 + 2656937335336393/245711750778906073*c_0101_5^12 + 195932719927701554/245711750778906073*c_0101_5^11 - 260267945732651405/245711750778906073*c_0101_5^10 - 677449003468011090/245711750778906073*c_0101_5^9 + 439591050920958890/245711750778906073*c_0101_5^8 - 3505133531449444100/245711750778906073*c_0101_5^7 + 5362692119332631368/245711750778906073*c_0101_5^6 + 1084107140912512923/245711750778906073*c_0101_5^5 - 2095640431978974860/245711750778906073*c_0101_5^4 + 1748657837130228335/245711750778906073*c_0101_5^3 - 582345346415133334/245711750778906073*c_0101_5^2 - 428676739756633228/245711750778906073*c_0101_5 + 10953264982178563/245711750778906073, c_0101_0 - 14631327868738125/245711750778906073*c_0101_5^13 - 14793559413842042/245711750778906073*c_0101_5^12 + 221596059890983806/245711750778906073*c_0101_5^11 - 30325783852185976/245711750778906073*c_0101_5^10 - 1101198299432164736/245711750778906073*c_0101_5^9 - 360768953042050835/245711750778906073*c_0101_5^8 - 3412048752863792827/245711750778906073*c_0101_5^7 + 968051775004401556/245711750778906073*c_0101_5^6 + 8327242826163195697/245711750778906073*c_0101_5^5 - 2160933457361252970/245711750778906073*c_0101_5^4 + 566568398768398133/245711750778906073*c_0101_5^3 + 2333009112155280555/245711750778906073*c_0101_5^2 - 1528092423879549859/245711750778906073*c_0101_5 + 80214773730196234/245711750778906073, c_0101_1 + 46511576113641914/245711750778906073*c_0101_5^13 + 4002846976972299/245711750778906073*c_0101_5^12 - 689825952051413674/245711750778906073*c_0101_5^11 + 729381686104744183/245711750778906073*c_0101_5^10 + 2556170740941305503/245711750778906073*c_0101_5^9 - 833318737733058399/245711750778906073*c_0101_5^8 + 12482012668455253106/245711750778906073*c_0101_5^7 - 15242921662871967684/245711750778906073*c_0101_5^6 - 7240226122762025778/245711750778906073*c_0101_5^5 + 5562415107558853068/245711750778906073*c_0101_5^4 - 6805276369394090818/245711750778906073*c_0101_5^3 + 594521277608910416/245711750778906073*c_0101_5^2 + 1395628608701488927/245711750778906073*c_0101_5 - 53160869624494703/245711750778906073, c_0101_4 - 10025947342354760/245711750778906073*c_0101_5^13 - 5618671325746386/245711750778906073*c_0101_5^12 + 151585172631902619/245711750778906073*c_0101_5^11 - 87435908922581920/245711750778906073*c_0101_5^10 - 675032228707578536/245711750778906073*c_0101_5^9 - 15293129252500286/245711750778906073*c_0101_5^8 - 2434125418701080495/245711750778906073*c_0101_5^7 + 1891549873728372504/245711750778906073*c_0101_5^6 + 3998439204516514653/245711750778906073*c_0101_5^5 - 1821905866145666517/245711750778906073*c_0101_5^4 + 551858615576324781/245711750778906073*c_0101_5^3 + 1115048328536243655/245711750778906073*c_0101_5^2 - 944266012524043671/245711750778906073*c_0101_5 + 216850233518388/245711750778906073, c_0101_5^14 - 15*c_0101_5^12 + 17*c_0101_5^11 + 56*c_0101_5^10 - 26*c_0101_5^9 + 262*c_0101_5^8 - 345*c_0101_5^7 - 172*c_0101_5^6 + 201*c_0101_5^5 - 152*c_0101_5^4 + 2*c_0101_5^3 + 60*c_0101_5^2 - 12*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB