Magma V2.19-8 Tue Aug 20 2013 23:42:07 on localhost [Seed = 3381636225] Type ? for help. Type -D to quit. Loading file "K12n768__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n768 geometric_solution 11.00200875 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 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.639448863640 1.176162642226 0 5 7 6 0132 0132 0132 0132 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 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.670643674304 1.177770194256 3 0 8 6 1023 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.015226226313 1.007035657722 4 2 9 0 1023 1023 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 1 0 -1 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.358141024271 0.648426135939 5 3 0 10 0132 1023 0132 0132 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 -1 1 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.552839900417 0.603841496196 4 1 9 11 0132 0132 0213 0132 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 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.704091415556 0.564319601129 11 7 1 2 1230 3120 0132 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.078600529923 0.843182489770 11 6 8 1 0132 3120 1023 0132 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 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.714048567264 0.853336602593 9 10 7 2 2310 2310 1023 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 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.213794834630 0.747513880762 10 5 8 3 0213 0213 3201 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 -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.016974496516 0.807639848638 9 11 4 8 0213 2310 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 1.746021357701 0.892905229266 7 6 5 10 0132 3012 0132 3201 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 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.626504489167 0.432132058827 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_6']), 'c_1001_10' : d['c_0101_0'], 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_0101_3'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : d['c_0011_11'], 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : d['c_0101_3'], 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : d['c_0101_7'], 'c_1010_11' : negation(d['c_0101_0']), 'c_1010_10' : negation(d['c_0101_7']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0011_9'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_0011_8']), 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_8']), 'c_1100_3' : negation(d['c_0011_8']), 'c_1100_2' : negation(d['c_1100_1']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_8']), 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_8']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_11'], 'c_1010_2' : d['c_0011_11'], 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : d['c_0101_3'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0101_3'], 'c_1100_8' : negation(d['c_1100_1']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_11']), '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : negation(d['c_0101_3']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_9'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_9'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_8, c_0011_9, c_0101_0, c_0101_1, c_0101_3, c_0101_7, c_0101_8, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 36803169081688233178140/527299776145115052079*c_1100_1^13 + 23004071496921912800432/527299776145115052079*c_1100_1^12 + 5385289358256501453622/18182750901555691451*c_1100_1^11 - 35245444269155074419679/40561521241931927083*c_1100_1^10 - 1597759306576531127568016/527299776145115052079*c_1100_1^9 - 153855722265519582627342/40561521241931927083*c_1100_1^8 + 3332343698990347709209559/527299776145115052079*c_1100_1^7 + 5264616088550092898532899/527299776145115052079*c_1100_1^6 + 2269511788544637296862232/527299776145115052079*c_1100_1^5 - 3584664401351361805518676/527299776145115052079*c_1100_1^4 + 12777578934952364430657/40561521241931927083*c_1100_1^3 + 81735897912384347932882/47936343285919550189*c_1100_1^2 + 18659771171289014290840/75328539449302150297*c_1100_1 - 13404488725660795284211/527299776145115052079, c_0011_0 - 1, c_0011_10 - 1073978928761/12467114835443*c_1100_1^13 + 565948076133/12467114835443*c_1100_1^12 - 157184678232/429900511567*c_1100_1^11 + 18044626250617/12467114835443*c_1100_1^10 + 27985199365284/12467114835443*c_1100_1^9 + 13910067549469/12467114835443*c_1100_1^8 - 129228390704290/12467114835443*c_1100_1^7 + 2955505065722/12467114835443*c_1100_1^6 + 41849724835162/12467114835443*c_1100_1^5 + 57732785332553/12467114835443*c_1100_1^4 - 177432162884773/12467114835443*c_1100_1^3 + 59691137532716/12467114835443*c_1100_1^2 + 43436991624781/12467114835443*c_1100_1 - 19820015131124/12467114835443, c_0011_11 + 4260961571284/12467114835443*c_1100_1^13 - 372350495943/12467114835443*c_1100_1^12 + 577097589784/429900511567*c_1100_1^11 - 65884588840905/12467114835443*c_1100_1^10 - 144953138678709/12467114835443*c_1100_1^9 - 107964134993441/12467114835443*c_1100_1^8 + 530909494484412/12467114835443*c_1100_1^7 + 316522622987460/12467114835443*c_1100_1^6 - 107467049220771/12467114835443*c_1100_1^5 - 550085122265415/12467114835443*c_1100_1^4 + 313705451792027/12467114835443*c_1100_1^3 + 13712713907395/12467114835443*c_1100_1^2 - 33091212147929/12467114835443*c_1100_1 - 2852064996323/12467114835443, c_0011_6 - 384782615987/12467114835443*c_1100_1^13 + 2134036187907/12467114835443*c_1100_1^12 - 80221193889/429900511567*c_1100_1^11 + 14116547126850/12467114835443*c_1100_1^10 - 21933869084775/12467114835443*c_1100_1^9 - 52610782045553/12467114835443*c_1100_1^8 - 77870541501790/12467114835443*c_1100_1^7 + 254453642991921/12467114835443*c_1100_1^6 + 94879616458977/12467114835443*c_1100_1^5 - 60791397875827/12467114835443*c_1100_1^4 - 298658997572497/12467114835443*c_1100_1^3 + 219679063792710/12467114835443*c_1100_1^2 - 21176684186576/12467114835443*c_1100_1 - 22005785005368/12467114835443, c_0011_8 + 454394639797/12467114835443*c_1100_1^13 + 1878786016018/12467114835443*c_1100_1^12 + 23856836446/429900511567*c_1100_1^11 + 593334376267/12467114835443*c_1100_1^10 - 49149366143206/12467114835443*c_1100_1^9 - 62597789427764/12467114835443*c_1100_1^8 + 37893617422203/12467114835443*c_1100_1^7 + 301217840414019/12467114835443*c_1100_1^6 + 31901465884006/12467114835443*c_1100_1^5 - 160426732449845/12467114835443*c_1100_1^4 - 229925198413127/12467114835443*c_1100_1^3 + 221791362648384/12467114835443*c_1100_1^2 - 63576177579950/12467114835443*c_1100_1 + 6109035635556/12467114835443, c_0011_9 + 5539311066129/12467114835443*c_1100_1^13 - 2003659209311/12467114835443*c_1100_1^12 + 726934849703/429900511567*c_1100_1^11 - 91639955722441/12467114835443*c_1100_1^10 - 168288329135875/12467114835443*c_1100_1^9 - 76421776064999/12467114835443*c_1100_1^8 + 756842416048665/12467114835443*c_1100_1^7 + 248388006005912/12467114835443*c_1100_1^6 - 346306149312146/12467114835443*c_1100_1^5 - 747983862995932/12467114835443*c_1100_1^4 + 600490139593843/12467114835443*c_1100_1^3 + 20085313989525/12467114835443*c_1100_1^2 - 91983882834421/12467114835443*c_1100_1 + 11572937716883/12467114835443, c_0101_0 + 88652245641/12467114835443*c_1100_1^13 - 137548822966/12467114835443*c_1100_1^12 - 9107072520/429900511567*c_1100_1^11 - 1759856167247/12467114835443*c_1100_1^10 - 3443725781238/12467114835443*c_1100_1^9 + 12263133143353/12467114835443*c_1100_1^8 + 34653933891280/12467114835443*c_1100_1^7 + 4546727367603/12467114835443*c_1100_1^6 - 94602111823946/12467114835443*c_1100_1^5 - 53313433402304/12467114835443*c_1100_1^4 + 38512492284624/12467114835443*c_1100_1^3 + 89032603027654/12467114835443*c_1100_1^2 - 44826936628603/12467114835443*c_1100_1 + 4405242282070/12467114835443, c_0101_1 + 4372497070195/12467114835443*c_1100_1^13 - 21848439948/12467114835443*c_1100_1^12 + 635696220916/429900511567*c_1100_1^11 - 65510232322994/12467114835443*c_1100_1^10 - 148757425068771/12467114835443*c_1100_1^9 - 139592963228025/12467114835443*c_1100_1^8 + 481609175971354/12467114835443*c_1100_1^7 + 302604658051563/12467114835443*c_1100_1^6 + 32974211098690/12467114835443*c_1100_1^5 - 407015468084059/12467114835443*c_1100_1^4 + 355684862985516/12467114835443*c_1100_1^3 - 62085361925937/12467114835443*c_1100_1^2 - 3757897600656/12467114835443*c_1100_1 + 10096403007759/12467114835443, c_0101_3 + 2444716154726/12467114835443*c_1100_1^13 + 1103557769759/12467114835443*c_1100_1^12 + 337946983896/429900511567*c_1100_1^11 - 32277862856133/12467114835443*c_1100_1^10 - 102373997406919/12467114835443*c_1100_1^9 - 109951567736191/12467114835443*c_1100_1^8 + 254368357418998/12467114835443*c_1100_1^7 + 326017260959083/12467114835443*c_1100_1^6 + 63716982690480/12467114835443*c_1100_1^5 - 281816269306188/12467114835443*c_1100_1^4 + 30210418310370/12467114835443*c_1100_1^3 + 75402730077223/12467114835443*c_1100_1^2 - 41055336872361/12467114835443*c_1100_1 + 6135994164398/12467114835443, c_0101_7 + 2121280173533/12467114835443*c_1100_1^13 - 939923528728/12467114835443*c_1100_1^12 + 278214089879/429900511567*c_1100_1^11 - 36568347224381/12467114835443*c_1100_1^10 - 62442238170160/12467114835443*c_1100_1^9 - 26563900160430/12467114835443*c_1100_1^8 + 304382754347356/12467114835443*c_1100_1^7 + 109630401504925/12467114835443*c_1100_1^6 - 99852869975051/12467114835443*c_1100_1^5 - 348858071175797/12467114835443*c_1100_1^4 + 139228318482785/12467114835443*c_1100_1^3 - 67270478897444/12467114835443*c_1100_1^2 + 20305924817963/12467114835443*c_1100_1 - 7957967318749/12467114835443, c_0101_8 - 2658259531085/12467114835443*c_1100_1^13 - 676144846479/12467114835443*c_1100_1^12 - 352452653332/429900511567*c_1100_1^11 + 36951477487238/12467114835443*c_1100_1^10 + 104897292018580/12467114835443*c_1100_1^9 + 93439454212582/12467114835443*c_1100_1^8 - 305058052552510/12467114835443*c_1100_1^7 - 293503251591561/12467114835443*c_1100_1^6 + 42800522912921/12467114835443*c_1100_1^5 + 328625696269280/12467114835443*c_1100_1^4 - 131024635786935/12467114835443*c_1100_1^3 - 132626882712733/12467114835443*c_1100_1^2 + 57139484646277/12467114835443*c_1100_1 - 11018532276960/12467114835443, c_1100_1^14 + 4*c_1100_1^12 - 15*c_1100_1^11 - 35*c_1100_1^10 - 29*c_1100_1^9 + 118*c_1100_1^8 + 78*c_1100_1^7 - 15*c_1100_1^6 - 114*c_1100_1^5 + 76*c_1100_1^4 + 8*c_1100_1^3 - 12*c_1100_1^2 + c_1100_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.130 Total time: 1.340 seconds, Total memory usage: 64.12MB