Magma V2.19-8 Tue Aug 20 2013 16:17:51 on localhost [Seed = 2193825377] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2083 geometric_solution 5.59494117 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 1.583935883440 0.589093300552 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 1 0 -1 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.677264748478 0.463146338676 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 -1 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 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.561133299408 0.497833876151 2 5 4 1 2031 1023 1023 0132 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 -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.561133299408 0.497833876151 2 4 3 4 0132 1302 1023 2031 0 0 0 0 0 0 -1 1 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 -1 1 0 0 0 0 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.749830169736 1.084797842349 3 6 2 6 1023 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 1 -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 1.162327366356 0.684084004661 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554122603758 0.239808211280 ==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' : 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' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), '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_0101_0, c_0101_4, c_0101_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 130730521070938912648011027591/4564706567665679774065904021*c_0110_\ 6^18 - 592376666614191582040010980123/4564706567665679774065904021*\ c_0110_6^17 + 2719729515527474316796112757840/456470656766567977406\ 5904021*c_0110_6^16 + 2634021116154655996943962792283/4564706567665\ 679774065904021*c_0110_6^15 - 15877716993793438201967219020820/4564\ 706567665679774065904021*c_0110_6^14 - 6597211553733850038942590170545/4564706567665679774065904021*c_0110\ _6^13 + 46333098658637790023602501517439/45647065676656797740659040\ 21*c_0110_6^12 - 14402595794396772944441080479497/45647065676656797\ 74065904021*c_0110_6^11 - 81048460713477398282011497706673/45647065\ 67665679774065904021*c_0110_6^10 + 63535092670979329887862243698242/4564706567665679774065904021*c_011\ 0_6^9 + 95667686899657606212645196748819/45647065676656797740659040\ 21*c_0110_6^8 - 96199384765001873831917182188775/456470656766567977\ 4065904021*c_0110_6^7 - 67093906723155010703601825562747/4564706567\ 665679774065904021*c_0110_6^6 + 9084927198288474992174427630060/351\ 131274435821521081992617*c_0110_6^5 + 22083957592833619099142053729861/4564706567665679774065904021*c_011\ 0_6^4 - 84791193915202933256646147757466/45647065676656797740659040\ 21*c_0110_6^3 + 4440206851948353877580948679240/4564706567665679774\ 065904021*c_0110_6^2 + 21539524576587487504795922827015/45647065676\ 65679774065904021*c_0110_6 - 3931829099395488647967439513246/456470\ 6567665679774065904021, c_0011_0 - 1, c_0011_1 - 32658365662379183796496/278454618902316828772397*c_0110_6^18 + 232390479625239892609804/278454618902316828772397*c_0110_6^17 - 1160262525207633871137467/278454618902316828772397*c_0110_6^16 + 1644728950263998038625622/278454618902316828772397*c_0110_6^15 + 3053819386526593406488672/278454618902316828772397*c_0110_6^14 - 7873577096709259212210196/278454618902316828772397*c_0110_6^13 - 4770655869953828704990999/278454618902316828772397*c_0110_6^12 + 27110839343374345424569434/278454618902316828772397*c_0110_6^11 - 16771867826799655575323507/278454618902316828772397*c_0110_6^10 - 29065762523293064835333880/278454618902316828772397*c_0110_6^9 + 36513555881095330153722907/278454618902316828772397*c_0110_6^8 + 19881019451757736625283155/278454618902316828772397*c_0110_6^7 - 48300846559987203470679980/278454618902316828772397*c_0110_6^6 - 664564188395596067967036/278454618902316828772397*c_0110_6^5 + 46156548913393026059816355/278454618902316828772397*c_0110_6^4 - 24716211559573352114770582/278454618902316828772397*c_0110_6^3 - 11456785390121298829064130/278454618902316828772397*c_0110_6^2 + 12072403058270282225443820/278454618902316828772397*c_0110_6 - 2164997251176877025688561/278454618902316828772397, c_0011_3 - 24648296365347436663756/278454618902316828772397*c_0110_6^18 + 179417909135899299380787/278454618902316828772397*c_0110_6^17 - 891210992522430818089223/278454618902316828772397*c_0110_6^16 + 1313820303025082772937699/278454618902316828772397*c_0110_6^15 + 2436452217088427359144919/278454618902316828772397*c_0110_6^14 - 6349145157821584134622286/278454618902316828772397*c_0110_6^13 - 4142009075066301523162051/278454618902316828772397*c_0110_6^12 + 21619025286556697017351168/278454618902316828772397*c_0110_6^11 - 12134675741370212842737189/278454618902316828772397*c_0110_6^10 - 24362886813343508467752428/278454618902316828772397*c_0110_6^9 + 27620608618640706515686691/278454618902316828772397*c_0110_6^8 + 18901477838832792387649312/278454618902316828772397*c_0110_6^7 - 37019536336597439562450091/278454618902316828772397*c_0110_6^6 - 3943878196936383886686344/278454618902316828772397*c_0110_6^5 + 36493772156894388644830053/278454618902316828772397*c_0110_6^4 - 15876017868477387559898099/278454618902316828772397*c_0110_6^3 - 10356269091136829938433572/278454618902316828772397*c_0110_6^2 + 7630844557949742317035840/278454618902316828772397*c_0110_6 - 1005891587142888974545877/278454618902316828772397, c_0101_0 - 96258606856794460384388/278454618902316828772397*c_0110_6^18 + 567029009934239497415488/278454618902316828772397*c_0110_6^17 - 2753081927337649389702603/278454618902316828772397*c_0110_6^16 + 1653272357560166246698344/278454618902316828772397*c_0110_6^15 + 10165880049905812934014718/278454618902316828772397*c_0110_6^14 - 9982603949368005317683521/278454618902316828772397*c_0110_6^13 - 23083306320768971392294231/278454618902316828772397*c_0110_6^12 + 47298324655062653359997164/278454618902316828772397*c_0110_6^11 + 1106860966635331013339509/278454618902316828772397*c_0110_6^10 - 66718414092969957833480237/278454618902316828772397*c_0110_6^9 + 24648760125514969210118670/278454618902316828772397*c_0110_6^8 + 63091005048872146023495156/278454618902316828772397*c_0110_6^7 - 52928204995731237050698044/278454618902316828772397*c_0110_6^6 - 40735481817825797327875498/278454618902316828772397*c_0110_6^5 + 64177410258665545399358871/278454618902316828772397*c_0110_6^4 - 10146011655158498914152473/278454618902316828772397*c_0110_6^3 - 18952129630560846609218802/278454618902316828772397*c_0110_6^2 + 11597822435560468377598208/278454618902316828772397*c_0110_6 - 2043245318058578542895098/278454618902316828772397, c_0101_4 - 49912081422754067575129/278454618902316828772397*c_0110_6^18 + 211397926032977351897149/278454618902316828772397*c_0110_6^17 - 966837845383598952429620/278454618902316828772397*c_0110_6^16 - 1347981017930664336377642/278454618902316828772397*c_0110_6^15 + 5930002995023509986835908/278454618902316828772397*c_0110_6^14 + 4071960636465060450287760/278454618902316828772397*c_0110_6^13 - 17606907370542101318578549/278454618902316828772397*c_0110_6^12 + 1496452437968541473298506/278454618902316828772397*c_0110_6^11 + 34193773100403286716505320/278454618902316828772397*c_0110_6^10 - 19312843108660796587664388/278454618902316828772397*c_0110_6^9 - 43239586487820718468520964/278454618902316828772397*c_0110_6^8 + 32275013236309398567898601/278454618902316828772397*c_0110_6^7 + 33352494963397455393720491/278454618902316828772397*c_0110_6^6 - 44236120624886722976429947/278454618902316828772397*c_0110_6^5 - 16824889143774321066715404/278454618902316828772397*c_0110_6^4 + 33951036664941212154050793/278454618902316828772397*c_0110_6^3 + 1132430464533767323563668/278454618902316828772397*c_0110_6^2 - 8982995837595409720445795/278454618902316828772397*c_0110_6 + 1775154682920326654716614/278454618902316828772397, c_0101_6 + 107923856185338764880193/278454618902316828772397*c_0110_6^1\ 8 - 626009804778040323194513/278454618902316828772397*c_0110_6^17 + 3026669157521699275670968/278454618902316828772397*c_0110_6^16 - 1566928402191020207265802/278454618902316828772397*c_0110_6^15 - 11603406357939751880122758/278454618902316828772397*c_0110_6^14 + 10022131626080770854346371/278454618902316828772397*c_0110_6^13 + 27160863472340283277692562/278454618902316828772397*c_0110_6^12 - 50211322464291316465516573/278454618902316828772397*c_0110_6^11 - 6816680374456673855464521/278454618902316828772397*c_0110_6^10 + 74157677415698764765475593/278454618902316828772397*c_0110_6^9 - 18762710793429696139125465/278454618902316828772397*c_0110_6^8 - 73496422073650727594925123/278454618902316828772397*c_0110_6^7 + 50234575207828782599933883/278454618902316828772397*c_0110_6^6 + 51790112595821873576779774/278454618902316828772397*c_0110_6^5 - 65610531980191723536802967/278454618902316828772397*c_0110_6^4 + 3026583037308180119655086/278454618902316828772397*c_0110_6^3 + 20515981601842530572505256/278454618902316828772397*c_0110_6^2 - 9589107389198523233497327/278454618902316828772397*c_0110_6 + 1361583628245622834262962/278454618902316828772397, c_0110_6^19 - 5*c_0110_6^18 + 23*c_0110_6^17 + 10*c_0110_6^16 - 129*c_0110_6^15 + 6*c_0110_6^14 + 370*c_0110_6^13 - 272*c_0110_6^12 - 548*c_0110_6^11 + 749*c_0110_6^10 + 489*c_0110_6^9 - 1032*c_0110_6^8 - 164*c_0110_6^7 + 1092*c_0110_6^6 - 239*c_0110_6^5 - 684*c_0110_6^4 + 308*c_0110_6^3 + 137*c_0110_6^2 - 96*c_0110_6 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB