Magma V2.19-8 Tue Aug 20 2013 16:18:14 on localhost [Seed = 2084430149] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2443 geometric_solution 5.78787645 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.692711931277 0.742182365660 0 0 3 2 0132 3201 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605268038042 1.688012120718 4 5 1 3 0132 0132 0132 3012 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 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.812082867249 0.803273142649 5 4 2 1 3201 3201 1230 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 -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.812082867249 0.803273142649 2 6 3 6 0132 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.859567335954 1.212306442929 5 2 5 3 2031 0132 1302 2310 0 0 0 0 0 0 1 -1 -1 0 1 0 -1 1 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 1 0 -1 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577669764780 0.390622034631 6 4 6 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.579754642501 0.272818874337 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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_3_0' : negation(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_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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : 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' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], '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_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 396156330075123401/113385506129664*c_0101_3*c_0101_6^17 - 129288540429418949/14173188266208*c_0101_3*c_0101_6^16 + 8724135754801041413/113385506129664*c_0101_3*c_0101_6^15 + 29097320435074011731/113385506129664*c_0101_3*c_0101_6^14 - 26424957081368866039/113385506129664*c_0101_3*c_0101_6^13 - 119855241632925573131/113385506129664*c_0101_3*c_0101_6^12 + 16092344046483792295/37795168709888*c_0101_3*c_0101_6^11 + 56145668952738872641/56692753064832*c_0101_3*c_0101_6^10 - 139064122597532743567/113385506129664*c_0101_3*c_0101_6^9 + 44379377052872836835/56692753064832*c_0101_3*c_0101_6^8 + 12313492127243881051/113385506129664*c_0101_3*c_0101_6^7 + 7155427931009284103/28346376532416*c_0101_3*c_0101_6^6 - 48195629952789513529/113385506129664*c_0101_3*c_0101_6^5 + 30430180284427817579/56692753064832*c_0101_3*c_0101_6^4 - 2549916657255367237/113385506129664*c_0101_3*c_0101_6^3 - 16727580837546591965/113385506129664*c_0101_3*c_0101_6^2 + 53550898653046427/14173188266208*c_0101_3*c_0101_6 + 349812188826821153/37795168709888*c_0101_3, c_0011_0 - 1, c_0011_2 + 163633195875433/37795168709888*c_0101_3*c_0101_6^17 + 215338822357217/18897584354944*c_0101_3*c_0101_6^16 - 3593250752364711/37795168709888*c_0101_3*c_0101_6^15 - 12090635132277299/37795168709888*c_0101_3*c_0101_6^14 + 10636226853453369/37795168709888*c_0101_3*c_0101_6^13 + 49626901429640375/37795168709888*c_0101_3*c_0101_6^12 - 18883345232097771/37795168709888*c_0101_3*c_0101_6^11 - 23200014798646311/18897584354944*c_0101_3*c_0101_6^10 + 56563729070112055/37795168709888*c_0101_3*c_0101_6^9 - 4474782354161349/4724396088736*c_0101_3*c_0101_6^8 - 5587334527253549/37795168709888*c_0101_3*c_0101_6^7 - 1497467111962505/4724396088736*c_0101_3*c_0101_6^6 + 19439783024445917/37795168709888*c_0101_3*c_0101_6^5 - 387919986034771/590549511092*c_0101_3*c_0101_6^4 + 568259392527339/37795168709888*c_0101_3*c_0101_6^3 + 6818486355132809/37795168709888*c_0101_3*c_0101_6^2 - 68212646932513/18897584354944*c_0101_3*c_0101_6 - 404461048638641/37795168709888*c_0101_3, c_0101_0 - 1961527411/3431556992*c_0101_6^17 - 1265379449/857889248*c_0101_6^16 + 43546914755/3431556992*c_0101_6^15 + 143278979049/3431556992*c_0101_6^14 - 139437679025/3431556992*c_0101_6^13 - 603997114505/3431556992*c_0101_6^12 + 268301395627/3431556992*c_0101_6^11 + 303233226075/1715778496*c_0101_6^10 - 722416942685/3431556992*c_0101_6^9 + 205747622899/1715778496*c_0101_6^8 + 105935686461/3431556992*c_0101_6^7 + 23668574559/857889248*c_0101_6^6 - 237718972795/3431556992*c_0101_6^5 + 144560262599/1715778496*c_0101_6^4 - 1549415403/3431556992*c_0101_6^3 - 112646921519/3431556992*c_0101_6^2 + 2091156351/857889248*c_0101_6 + 8680941901/3431556992, c_0101_1 + 116310611907267/37795168709888*c_0101_3*c_0101_6^17 + 151098229649643/18897584354944*c_0101_3*c_0101_6^16 - 2568476257950045/37795168709888*c_0101_3*c_0101_6^15 - 8519392616145233/37795168709888*c_0101_3*c_0101_6^14 + 7936433159031123/37795168709888*c_0101_3*c_0101_6^13 + 35338798729649677/37795168709888*c_0101_3*c_0101_6^12 - 14795459244337961/37795168709888*c_0101_3*c_0101_6^11 - 16889571827166717/18897584354944*c_0101_3*c_0101_6^10 + 41491412983248029/37795168709888*c_0101_3*c_0101_6^9 - 3210798737191863/4724396088736*c_0101_3*c_0101_6^8 - 4309094513019967/37795168709888*c_0101_3*c_0101_6^7 - 966508054037379/4724396088736*c_0101_3*c_0101_6^6 + 14412355810799455/37795168709888*c_0101_3*c_0101_6^5 - 277213831282199/590549511092*c_0101_3*c_0101_6^4 + 682222021291593/37795168709888*c_0101_3*c_0101_6^3 + 5377465089523491/37795168709888*c_0101_3*c_0101_6^2 - 72533505748827/18897584354944*c_0101_3*c_0101_6 - 392844894467659/37795168709888*c_0101_3, c_0101_3^2 - 19775133136623/18897584354944*c_0101_6^17 - 13382060177321/4724396088736*c_0101_6^16 + 429980540474667/18897584354944*c_0101_6^15 + 1492492785227909/18897584354944*c_0101_6^14 - 1168391291930717/18897584354944*c_0101_6^13 - 6061548320768457/18897584354944*c_0101_6^12 + 1823490827320539/18897584354944*c_0101_6^11 + 2822668455736811/9448792177472*c_0101_6^10 - 6442242650140209/18897584354944*c_0101_6^9 + 1985650130611223/9448792177472*c_0101_6^8 + 964525070513989/18897584354944*c_0101_6^7 + 368046142207935/4724396088736*c_0101_6^6 - 2215628358109871/18897584354944*c_0101_6^5 + 1447401865557635/9448792177472*c_0101_6^4 + 143071783309661/18897584354944*c_0101_6^3 - 840679009791035/18897584354944*c_0101_6^2 - 4518760294639/4724396088736*c_0101_6 + 36674691341021/18897584354944, c_0101_4 - 7865592081/6863113984*c_0101_6^17 - 10650183929/3431556992*c_0101_6^16 + 171645087719/6863113984*c_0101_6^15 + 595559829739/6863113984*c_0101_6^14 - 478095095905/6863113984*c_0101_6^13 - 2459462217319/6863113984*c_0101_6^12 + 762019784667/6863113984*c_0101_6^11 + 1220057466687/3431556992*c_0101_6^10 - 2623412047327/6863113984*c_0101_6^9 + 175597155591/857889248*c_0101_6^8 + 585613561597/6863113984*c_0101_6^7 + 54868025201/857889248*c_0101_6^6 - 870501821525/6863113984*c_0101_6^5 + 8423500345/53618078*c_0101_6^4 + 127930122901/6863113984*c_0101_6^3 - 424435574401/6863113984*c_0101_6^2 - 640168487/3431556992*c_0101_6 + 36013644689/6863113984, c_0101_6^18 + 3*c_0101_6^17 - 21*c_0101_6^16 - 82*c_0101_6^15 + 38*c_0101_6^14 + 328*c_0101_6^13 - 4*c_0101_6^12 - 329*c_0101_6^11 + 241*c_0101_6^10 - 89*c_0101_6^9 - 117*c_0101_6^8 - 85*c_0101_6^7 + 93*c_0101_6^6 - 107*c_0101_6^5 - 53*c_0101_6^4 + 44*c_0101_6^3 + 15*c_0101_6^2 - 3*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB