Magma V2.19-8 Tue Aug 20 2013 16:18:02 on localhost [Seed = 2715827564] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2262 geometric_solution 5.68816201 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 1302 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 1 -1 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.018210230499 1.051855502395 0 3 2 4 0132 0213 2031 0132 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 0 1 -1 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 -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.587853778909 1.063093605472 4 0 0 1 1023 0132 2031 1302 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 0 0 0 0 0 1 -1 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.107515905663 0.637696411547 4 5 1 0 0213 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 -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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.587853778909 1.063093605472 3 2 1 5 0213 1023 0132 1230 0 0 0 0 0 0 0 0 -1 0 1 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.317027623738 0.817743854747 4 3 6 6 3012 0132 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.779818552627 1.556553336772 5 6 6 5 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.644854869178 0.398189345628 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : 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_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' : negation(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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0101_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_0']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0011_6, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 3592436177807168486250/619825815982649303*c_0101_6^17 + 3068928919559984465325/1239651631965298606*c_0101_6^16 - 60266754728962266050535/1239651631965298606*c_0101_6^15 + 29642609426674258512899/2479303263930597212*c_0101_6^14 + 195540360613554022894399/1239651631965298606*c_0101_6^13 - 100538897670853676775813/619825815982649303*c_0101_6^12 - 151905903867196164614111/619825815982649303*c_0101_6^11 + 1031862226756743278496595/2479303263930597212*c_0101_6^10 + 128750098262300902547711/2479303263930597212*c_0101_6^9 - 1203972390686015473857503/2479303263930597212*c_0101_6^8 + 480038205284783198895931/2479303263930597212*c_0101_6^7 + 480825996854821648638685/2479303263930597212*c_0101_6^6 - 146298242313771153282573/1239651631965298606*c_0101_6^5 - 64607454269325262080575/2479303263930597212*c_0101_6^4 + 62486867589807379737481/2479303263930597212*c_0101_6^3 - 3070133296784877180725/2479303263930597212*c_0101_6^2 - 2590818788252918118227/1239651631965298606*c_0101_6 + 314504842166239857798/619825815982649303, c_0011_0 - 1, c_0011_3 - 222522920795960081480/619825815982649303*c_0101_6^17 - 94103815311194492558/619825815982649303*c_0101_6^16 + 1869260445200457981859/619825815982649303*c_0101_6^15 - 464664890155676888786/619825815982649303*c_0101_6^14 - 6071113481421298194047/619825815982649303*c_0101_6^13 + 6249299080821584013784/619825815982649303*c_0101_6^12 + 9433601525602213748238/619825815982649303*c_0101_6^11 - 16053169446883819382487/619825815982649303*c_0101_6^10 - 2011688020752656140379/619825815982649303*c_0101_6^9 + 18736362716084010480346/619825815982649303*c_0101_6^8 - 7488655439861969866858/619825815982649303*c_0101_6^7 - 7514634199468869077581/619825815982649303*c_0101_6^6 + 4578136934441641562338/619825815982649303*c_0101_6^5 + 988385685869572406583/619825815982649303*c_0101_6^4 - 971093444588102073129/619825815982649303*c_0101_6^3 + 53582187271660541339/619825815982649303*c_0101_6^2 + 80496933510358167379/619825815982649303*c_0101_6 - 19556194041850170915/619825815982649303, c_0011_6 - 104548559033237896080/619825815982649303*c_0101_6^17 - 39184330230474101768/619825815982649303*c_0101_6^16 + 884449483388135207839/619825815982649303*c_0101_6^15 - 257089481897676008578/619825815982649303*c_0101_6^14 - 2874463624275018888828/619825815982649303*c_0101_6^13 + 3068041744514013918856/619825815982649303*c_0101_6^12 + 4397942054646626449154/619825815982649303*c_0101_6^11 - 7823741676941318207903/619825815982649303*c_0101_6^10 - 777777344186393562767/619825815982649303*c_0101_6^9 + 9051713391832227410699/619825815982649303*c_0101_6^8 - 3827527959863371195916/619825815982649303*c_0101_6^7 - 3637664955554724778617/619825815982649303*c_0101_6^6 + 2339656406460391906820/619825815982649303*c_0101_6^5 + 487531442445711211969/619825815982649303*c_0101_6^4 - 498148729910062544141/619825815982649303*c_0101_6^3 + 26455817691183222478/619825815982649303*c_0101_6^2 + 40953621570706523241/619825815982649303*c_0101_6 - 10205999246678981038/619825815982649303, c_0101_1 + 118374074180988332510/619825815982649303*c_0101_6^17 + 68741268746614081107/1239651631965298606*c_0101_6^16 - 1008973569409027234376/619825815982649303*c_0101_6^15 + 741917804152944161359/1239651631965298606*c_0101_6^14 + 3259533934658714964350/619825815982649303*c_0101_6^13 - 3732388451711495877255/619825815982649303*c_0101_6^12 - 4787337757676056769103/619825815982649303*c_0101_6^11 + 9308355172074798480880/619825815982649303*c_0101_6^10 + 697103205200420313541/1239651631965298606*c_0101_6^9 - 20923061489124958953793/1239651631965298606*c_0101_6^8 + 5013078742628933146124/619825815982649303*c_0101_6^7 + 8016945679721176588047/1239651631965298606*c_0101_6^6 - 2928462349520671620209/619825815982649303*c_0101_6^5 - 971258142293153640345/1239651631965298606*c_0101_6^4 + 1225460026099009733327/1239651631965298606*c_0101_6^3 - 82347065346001100775/1239651631965298606*c_0101_6^2 - 99682977845738061203/1239651631965298606*c_0101_6 + 12435928190600507123/619825815982649303, c_0101_2 + 170557801229055383620/619825815982649303*c_0101_6^17 + 88459315873855449697/619825815982649303*c_0101_6^16 - 1417334439978517081579/619825815982649303*c_0101_6^15 + 227220599263804842344/619825815982649303*c_0101_6^14 + 4620928081531862796135/619825815982649303*c_0101_6^13 - 4362901372931939241653/619825815982649303*c_0101_6^12 - 7470030396052630429095/619825815982649303*c_0101_6^11 + 11493953279804425009325/619825815982649303*c_0101_6^10 + 2301874070675726308945/619825815982649303*c_0101_6^9 - 13837216548285931743549/619825815982649303*c_0101_6^8 + 4639065512754968518364/619825815982649303*c_0101_6^7 + 5760305799048282118823/619825815982649303*c_0101_6^6 - 2975904719284294920367/619825815982649303*c_0101_6^5 - 831390193141601249296/619825815982649303*c_0101_6^4 + 650242995432820767541/619825815982649303*c_0101_6^3 - 20068216396729713638/619825815982649303*c_0101_6^2 - 56798364649769959280/619825815982649303*c_0101_6 + 12653557929147412832/619825815982649303, c_0101_5 + 127482253430588504780/619825815982649303*c_0101_6^17 + 55562819684596722943/619825815982649303*c_0101_6^16 - 1070743263336447673426/619825815982649303*c_0101_6^15 + 252139102606942063345/619825815982649303*c_0101_6^14 + 3486078704001669550966/619825815982649303*c_0101_6^13 - 3536744124509271589018/619825815982649303*c_0101_6^12 - 5464796994085520496629/619825815982649303*c_0101_6^11 + 9143547632263176751813/619825815982649303*c_0101_6^10 + 1290700155552396852854/619825815982649303*c_0101_6^9 - 10758224065406756814502/619825815982649303*c_0101_6^8 + 4154538095449871847233/619825815982649303*c_0101_6^7 + 4400662919675347725380/619825815982649303*c_0101_6^6 - 2590550715600484993239/619825815982649303*c_0101_6^5 - 608819293063214505379/619825815982649303*c_0101_6^4 + 558355844917229682731/619825815982649303*c_0101_6^3 - 24246377495385497706/619825815982649303*c_0101_6^2 - 47200682196937853529/619825815982649303*c_0101_6 + 10506320223815354771/619825815982649303, c_0101_6^18 - 3/20*c_0101_6^17 - 173/20*c_0101_6^16 + 69/10*c_0101_6^15 + 523/20*c_0101_6^14 - 175/4*c_0101_6^13 - 53/2*c_0101_6^12 + 967/10*c_0101_6^11 - 641/20*c_0101_6^10 - 90*c_0101_6^9 + 82*c_0101_6^8 + 151/10*c_0101_6^7 - 807/20*c_0101_6^6 + 36/5*c_0101_6^5 + 71/10*c_0101_6^4 - 11/4*c_0101_6^3 - 1/4*c_0101_6^2 + 3/10*c_0101_6 - 1/20 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB