Magma V2.19-8 Tue Aug 20 2013 17:56:12 on localhost [Seed = 543266796] Type ? for help. Type -D to quit. Loading file "11_186__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_186 geometric_solution 9.73656555 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -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 0 0 0 1 -1 -9 0 9 0 0 8 0 -8 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.233773398354 0.877909305176 0 2 6 5 0132 0213 0132 0132 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 0 0 0 9 0 -9 0 1 -9 0 8 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.907473595187 0.667664497252 3 0 1 3 1230 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 9 -9 0 -1 0 1 -1 -8 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.164073514398 0.569883672973 7 2 2 0 0132 3012 0132 0132 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 1 0 -1 0 0 9 -9 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.164073514398 0.569883672973 8 9 0 5 0132 0132 0132 0321 0 0 0 0 0 0 0 0 -1 0 0 1 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 8 0 0 -8 0 0 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503313930385 0.765058826199 7 4 1 10 2103 0321 0132 0132 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 1 0 0 -1 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.123826385840 1.164163235948 8 9 8 1 3201 0321 3012 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 0 0 0 0 -9 9 9 0 0 -9 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.492969360166 0.735880959879 3 10 5 9 0132 0132 2103 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 -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.829150517901 0.672958131457 4 6 10 6 0132 1230 1230 2310 0 0 0 0 0 -1 0 1 1 0 0 -1 -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 9 0 -9 -8 0 0 8 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632636629313 0.901969642373 10 4 7 6 0213 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.413108124369 0.327923820169 9 7 5 8 0213 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.665783750428 0.703079500140 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_1001_8'], 'c_1010_10' : d['c_0011_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_4']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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_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_1100_9' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_8']), 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : d['c_0011_4'], 'c_1100_6' : negation(d['c_1001_8']), 'c_1100_1' : negation(d['c_1001_8']), 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : d['c_1001_5'], 'c_1100_10' : negation(d['c_1001_8']), 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : negation(d['c_0101_1']), 'c_1100_8' : d['c_0011_6'], 's_3_1' : d['1'], 's_3_0' : 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_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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), '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_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0011_6'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : negation(d['c_0011_5']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0101_1'], '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_10'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_1001_1, c_1001_10, c_1001_5, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 98005564930165159028251703/20042205454519476430872968*c_1001_8^19 - 45026982027883599876040891/20042205454519476430872968*c_1001_8^18 - 15601436386320026608362291/2505275681814934553859121*c_1001_8^17 - 1489416968116717762377475085/20042205454519476430872968*c_1001_8^16 - 42317018359916996199859954/2505275681814934553859121*c_1001_8^15 - 2685361558890705590989610031/20042205454519476430872968*c_1001_8^14 + 778611692652052083946972141/20042205454519476430872968*c_1001_8^1\ 3 - 10850176700544512235821581795/10021102727259738215436484*c_1001\ _8^12 - 6624027718459456951165000107/10021102727259738215436484*c_1\ 001_8^11 + 5730858234622200967433599791/10021102727259738215436484*\ c_1001_8^10 + 40100683206489971969999274573/20042205454519476430872\ 968*c_1001_8^9 + 4149696251363504389238992459/501055136362986910771\ 8242*c_1001_8^8 - 650627265955446489392211419/501055136362986910771\ 8242*c_1001_8^7 - 3260544029858771054984609819/10021102727259738215\ 436484*c_1001_8^6 + 289734976238769030452305287/5010551363629869107\ 718242*c_1001_8^5 + 895979114134771920505841373/1002110272725973821\ 5436484*c_1001_8^4 + 605814771967622198852547853/100211027272597382\ 15436484*c_1001_8^3 - 137505950902152192020676921/20042205454519476\ 430872968*c_1001_8^2 + 91248380231648725471806735/10021102727259738\ 215436484*c_1001_8 + 60330938542201808224899797/2004220545451947643\ 0872968, c_0011_0 - 1, c_0011_10 + 119052339914175454712/243775000663124895773*c_1001_8^19 - 261474663731591304331/487550001326249791546*c_1001_8^18 - 48718308961016130456/243775000663124895773*c_1001_8^17 - 1771343813648545908410/243775000663124895773*c_1001_8^16 + 1396595677929226718813/487550001326249791546*c_1001_8^15 - 8045929690218145195007/487550001326249791546*c_1001_8^14 + 6376074793068282835859/487550001326249791546*c_1001_8^13 - 58265939001030213779623/487550001326249791546*c_1001_8^12 + 4278373411521900747027/487550001326249791546*c_1001_8^11 + 16382737791933109192107/487550001326249791546*c_1001_8^10 + 37284777064972725511921/243775000663124895773*c_1001_8^9 - 11000389231612841293241/487550001326249791546*c_1001_8^8 + 15194601192921429993721/487550001326249791546*c_1001_8^7 - 906165699557754148689/243775000663124895773*c_1001_8^6 + 8526544843513229791774/243775000663124895773*c_1001_8^5 - 4624343120819564818397/487550001326249791546*c_1001_8^4 + 1790794402667373736861/487550001326249791546*c_1001_8^3 - 176486410617639688819/487550001326249791546*c_1001_8^2 + 867112056319581014259/243775000663124895773*c_1001_8 - 69504460278343013266/243775000663124895773, c_0011_4 + 60724560859502937719/487550001326249791546*c_1001_8^19 - 27462270516283193093/243775000663124895773*c_1001_8^18 - 21138721814881311351/243775000663124895773*c_1001_8^17 - 452690969571486705762/243775000663124895773*c_1001_8^16 + 94205941132436066669/243775000663124895773*c_1001_8^15 - 959316662498831966418/243775000663124895773*c_1001_8^14 + 616178226643768307054/243775000663124895773*c_1001_8^13 - 7226382805259189814121/243775000663124895773*c_1001_8^12 - 1817297638615376232889/487550001326249791546*c_1001_8^11 + 5316241514582574999279/487550001326249791546*c_1001_8^10 + 10173039569820026480928/243775000663124895773*c_1001_8^9 - 294173665127615597689/487550001326249791546*c_1001_8^8 + 966123955339451609671/243775000663124895773*c_1001_8^7 - 105825560447776081516/243775000663124895773*c_1001_8^6 + 2636881487837034413728/243775000663124895773*c_1001_8^5 - 681141680809667564545/487550001326249791546*c_1001_8^4 + 423169629008077232421/487550001326249791546*c_1001_8^3 - 57888073755963007807/487550001326249791546*c_1001_8^2 + 679201126609509429101/243775000663124895773*c_1001_8 - 16723054549972395827/487550001326249791546, c_0011_5 - 432196157713864086217/487550001326249791546*c_1001_8^19 + 307762579272819988477/243775000663124895773*c_1001_8^18 - 19211618335781269321/487550001326249791546*c_1001_8^17 + 3200183481165408130018/243775000663124895773*c_1001_8^16 - 4555212092186629956753/487550001326249791546*c_1001_8^15 + 7998542654847167696947/243775000663124895773*c_1001_8^14 - 16306283876373474202657/487550001326249791546*c_1001_8^13 + 110230524581944927782793/487550001326249791546*c_1001_8^12 - 42332480593520965924707/487550001326249791546*c_1001_8^11 - 9550961572303378579499/243775000663124895773*c_1001_8^10 - 120484907581876774645225/487550001326249791546*c_1001_8^9 + 25303875907548684848929/243775000663124895773*c_1001_8^8 - 44252909357446591189487/487550001326249791546*c_1001_8^7 + 4637979062613261420393/243775000663124895773*c_1001_8^6 - 11025014605411865185047/243775000663124895773*c_1001_8^5 + 12856081383383153605565/487550001326249791546*c_1001_8^4 - 1731039739993418004113/243775000663124895773*c_1001_8^3 + 203224713061903413778/243775000663124895773*c_1001_8^2 - 580737840698954924690/243775000663124895773*c_1001_8 + 423909383863161851223/487550001326249791546, c_0011_6 - 173998484514638789135/243775000663124895773*c_1001_8^19 + 579890935198398865321/487550001326249791546*c_1001_8^18 - 120521564879375933611/243775000663124895773*c_1001_8^17 + 5282338720008348224597/487550001326249791546*c_1001_8^16 - 2435025264390049729611/243775000663124895773*c_1001_8^15 + 15294039649127199181155/487550001326249791546*c_1001_8^14 - 16965007967341611653767/487550001326249791546*c_1001_8^13 + 47685157943301021323003/243775000663124895773*c_1001_8^12 - 58259811373001558031001/487550001326249791546*c_1001_8^11 + 18128612679236185154579/487550001326249791546*c_1001_8^10 - 96224666291069274619329/487550001326249791546*c_1001_8^9 + 52900782188235045176569/487550001326249791546*c_1001_8^8 - 35479408852496573053277/243775000663124895773*c_1001_8^7 + 10429890399664255749444/243775000663124895773*c_1001_8^6 - 13451774706028394661220/243775000663124895773*c_1001_8^5 + 9387631923220829192777/487550001326249791546*c_1001_8^4 - 5422863581964004798977/487550001326249791546*c_1001_8^3 + 1242204714176545475992/243775000663124895773*c_1001_8^2 - 862271210212318574970/243775000663124895773*c_1001_8 + 158870120652722232738/243775000663124895773, c_0101_0 + 67134452678484030659/487550001326249791546*c_1001_8^19 + 56352650094457715307/487550001326249791546*c_1001_8^18 - 73704056059797325997/243775000663124895773*c_1001_8^17 - 1100352343585278748049/487550001326249791546*c_1001_8^16 - 1520122220728156181993/487550001326249791546*c_1001_8^15 - 1849471234770792336619/487550001326249791546*c_1001_8^14 - 1061760752853613515283/243775000663124895773*c_1001_8^13 - 6960931378239494048093/243775000663124895773*c_1001_8^12 - 29100684192989278376611/487550001326249791546*c_1001_8^11 + 632414667147436856543/487550001326249791546*c_1001_8^10 + 36324627428879361989693/487550001326249791546*c_1001_8^9 + 37571274847647071326115/487550001326249791546*c_1001_8^8 + 5269043753316970072535/487550001326249791546*c_1001_8^7 + 1834558658494750591551/487550001326249791546*c_1001_8^6 + 7053363070485845490235/487550001326249791546*c_1001_8^5 + 1617109696862211462549/243775000663124895773*c_1001_8^4 - 669261625907272127827/243775000663124895773*c_1001_8^3 - 1327310965845308816999/487550001326249791546*c_1001_8^2 + 644087133256922338341/487550001326249791546*c_1001_8 + 223110507663219231515/243775000663124895773, c_0101_1 + 4913120232940743/7914644264317946*c_1001_8^19 - 4862210938423803/3957322132158973*c_1001_8^18 + 4809350257623711/7914644264317946*c_1001_8^17 - 36923799562762109/3957322132158973*c_1001_8^16 + 91909807403080113/7914644264317946*c_1001_8^15 - 220471810149174737/7914644264317946*c_1001_8^14 + 146374634693923043/3957322132158973*c_1001_8^13 - 1378227567907519381/7914644264317946*c_1001_8^12 + 1196044781264995381/7914644264317946*c_1001_8^11 - 216349149242402835/7914644264317946*c_1001_8^10 + 1291276064354974401/7914644264317946*c_1001_8^9 - 614924000281179843/3957322132158973*c_1001_8^8 + 467921975409963221/3957322132158973*c_1001_8^7 - 214847847061256462/3957322132158973*c_1001_8^6 + 348221173483311053/7914644264317946*c_1001_8^5 - 224806854369485465/7914644264317946*c_1001_8^4 + 39504077984437364/3957322132158973*c_1001_8^3 - 12463804905196696/3957322132158973*c_1001_8^2 + 10271369864338057/3957322132158973*c_1001_8 - 6045852578844083/3957322132158973, c_1001_1 - 119052339914175454712/243775000663124895773*c_1001_8^19 + 261474663731591304331/487550001326249791546*c_1001_8^18 + 48718308961016130456/243775000663124895773*c_1001_8^17 + 1771343813648545908410/243775000663124895773*c_1001_8^16 - 1396595677929226718813/487550001326249791546*c_1001_8^15 + 8045929690218145195007/487550001326249791546*c_1001_8^14 - 6376074793068282835859/487550001326249791546*c_1001_8^13 + 58265939001030213779623/487550001326249791546*c_1001_8^12 - 4278373411521900747027/487550001326249791546*c_1001_8^11 - 16382737791933109192107/487550001326249791546*c_1001_8^10 - 37284777064972725511921/243775000663124895773*c_1001_8^9 + 11000389231612841293241/487550001326249791546*c_1001_8^8 - 15194601192921429993721/487550001326249791546*c_1001_8^7 + 906165699557754148689/243775000663124895773*c_1001_8^6 - 8526544843513229791774/243775000663124895773*c_1001_8^5 + 4624343120819564818397/487550001326249791546*c_1001_8^4 - 1790794402667373736861/487550001326249791546*c_1001_8^3 + 176486410617639688819/487550001326249791546*c_1001_8^2 - 867112056319581014259/243775000663124895773*c_1001_8 + 69504460278343013266/243775000663124895773, c_1001_10 - 191635311210066165107/487550001326249791546*c_1001_8^19 + 194185831437633088770/243775000663124895773*c_1001_8^18 - 82350359155395116142/243775000663124895773*c_1001_8^17 + 2826161448163956476185/487550001326249791546*c_1001_8^16 - 1864328821084056014608/243775000663124895773*c_1001_8^15 + 4096603266154219989372/243775000663124895773*c_1001_8^14 - 11338487506417387266927/487550001326249791546*c_1001_8^13 + 52981651179915534662567/487550001326249791546*c_1001_8^12 - 23862689801269893160943/243775000663124895773*c_1001_8^11 + 408128499664804351248/243775000663124895773*c_1001_8^10 - 46355131397633068560229/487550001326249791546*c_1001_8^9 + 28135202764383001992787/243775000663124895773*c_1001_8^8 - 15419679830167707500522/243775000663124895773*c_1001_8^7 + 13940043638847720440537/487550001326249791546*c_1001_8^6 - 13567692361254826820405/487550001326249791546*c_1001_8^5 + 10746555713450173704301/487550001326249791546*c_1001_8^4 - 5667587866527334621643/487550001326249791546*c_1001_8^3 + 448014392604619080239/243775000663124895773*c_1001_8^2 - 1251541227952877783095/487550001326249791546*c_1001_8 + 364257236377183181808/243775000663124895773, c_1001_5 + 3930735118388511/3957322132158973*c_1001_8^19 - 6906375090644182/3957322132158973*c_1001_8^18 + 1840659714694010/3957322132158973*c_1001_8^17 - 57907394953292607/3957322132158973*c_1001_8^16 + 120814992143073623/7914644264317946*c_1001_8^15 - 155886444520853658/3957322132158973*c_1001_8^14 + 386788191370985375/7914644264317946*c_1001_8^13 - 1039860749347323476/3957322132158973*c_1001_8^12 + 1408914522974996373/7914644264317946*c_1001_8^11 + 218058833717723685/7914644264317946*c_1001_8^10 + 987051598880081086/3957322132158973*c_1001_8^9 - 1513919677218322757/7914644264317946*c_1001_8^8 + 927153959658839869/7914644264317946*c_1001_8^7 - 391110268811206653/7914644264317946*c_1001_8^6 + 315998020329485885/7914644264317946*c_1001_8^5 - 137304515664274523/3957322132158973*c_1001_8^4 + 31923858666196222/3957322132158973*c_1001_8^3 - 7684654272716266/3957322132158973*c_1001_8^2 + 33547132011602349/7914644264317946*c_1001_8 - 9379078877665327/7914644264317946, c_1001_8^20 - 2*c_1001_8^19 + c_1001_8^18 - 15*c_1001_8^17 + 19*c_1001_8^16 - 45*c_1001_8^15 + 60*c_1001_8^14 - 281*c_1001_8^13 + 248*c_1001_8^12 - 44*c_1001_8^11 + 257*c_1001_8^10 - 259*c_1001_8^9 + 196*c_1001_8^8 - 86*c_1001_8^7 + 70*c_1001_8^6 - 50*c_1001_8^5 + 24*c_1001_8^4 - 5*c_1001_8^3 + 5*c_1001_8^2 - 3*c_1001_8 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.280 Total time: 0.500 seconds, Total memory usage: 32.09MB