Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 2446331212] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0872 geometric_solution 4.77891552 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 3201 0 0 0 0 0 -1 1 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 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 -1.129590668433 0.569746912404 0 0 3 2 0132 2310 0132 0132 0 0 0 0 0 -1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371354024817 0.502429008897 3 4 1 3 1230 0132 0132 1302 0 0 0 0 0 0 0 0 1 0 0 -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 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.752612978817 0.730542302009 4 2 2 1 2310 3012 2031 0132 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.752612978817 0.730542302009 5 2 3 5 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 1 -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.595147290885 0.635872697262 4 6 6 4 0132 0132 1023 1023 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 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 1.430689517115 0.386715176901 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 1 -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 1.607943523277 0.144804605005 ==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' : 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' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), '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' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(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' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0011_2']), '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_0011_2'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_1']), '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_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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 5668997958094822914821075441/70079332744710406823110181*c_0101_6^17 - 13668659277051088471614549333/70079332744710406823110181*c_0101_6\ ^16 - 227581210202452364489157574924/70079332744710406823110181*c_0\ 101_6^15 - 188656098953258755721448544463/7007933274471040682311018\ 1*c_0101_6^14 + 608440835940721953422137914948/70079332744710406823\ 110181*c_0101_6^13 + 3928705939809147971232459587550/70079332744710\ 406823110181*c_0101_6^12 + 3627171494948411465129416254841/70079332\ 744710406823110181*c_0101_6^11 - 28245322337906983027544057909423/7\ 0079332744710406823110181*c_0101_6^10 + 1596633215047747728471750235298/10011333249244343831872883*c_0101_6\ ^9 + 34057824138410592081703635207907/70079332744710406823110181*c_\ 0101_6^8 - 23441875384486729123164113498865/70079332744710406823110\ 181*c_0101_6^7 - 10026140624284265319654119521129/70079332744710406\ 823110181*c_0101_6^6 + 1306766185722403503397832696856/100113332492\ 44343831872883*c_0101_6^5 + 679821071097878842741071239018/70079332\ 744710406823110181*c_0101_6^4 - 1155633375298418688473846814319/700\ 79332744710406823110181*c_0101_6^3 + 122536132293707906652757379990/70079332744710406823110181*c_0101_6^\ 2 + 4144568565496228214009256316/10011333249244343831872883*c_0101_\ 6 - 23190330322742423431871085703/70079332744710406823110181, c_0011_0 - 1, c_0011_2 - 16019197980195756920844031/10011333249244343831872883*c_0101\ _6^17 + 31771410750989760085682280/10011333249244343831872883*c_010\ 1_6^16 + 654783706664613354983681601/10011333249244343831872883*c_0\ 101_6^15 + 816259832790301079138145702/10011333249244343831872883*c\ _0101_6^14 - 1291326980319628911011752068/1001133324924434383187288\ 3*c_0101_6^13 - 11528304981067964397246167874/100113332492443438318\ 72883*c_0101_6^12 - 15292219338144631384657833232/10011333249244343\ 831872883*c_0101_6^11 + 71864456157220178711298478924/1001133324924\ 4343831872883*c_0101_6^10 - 451222553933232284491943973/14301904641\ 77763404553269*c_0101_6^9 - 89863041769308651198234382954/100113332\ 49244343831872883*c_0101_6^8 + 30349439723900936361999847029/100113\ 33249244343831872883*c_0101_6^7 + 30933437623023696800757339388/100\ 11333249244343831872883*c_0101_6^6 - 1765661121022300291429239573/1430190464177763404553269*c_0101_6^5 - 2823145663455264755748512340/10011333249244343831872883*c_0101_6^4 + 1509953206338206790350486922/10011333249244343831872883*c_0101_6^3 - 243828356309426502645885197/10011333249244343831872883*c_0101_6^2 - 12110788023730262053070754/1430190464177763404553269*c_0101_6 + 27793536298904492995207187/10011333249244343831872883, c_0101_0 - 8216638945891524109748765/10011333249244343831872883*c_0101_\ 6^17 + 13617897400178787502752491/10011333249244343831872883*c_0101\ _6^16 + 340323343575392337975462883/10011333249244343831872883*c_01\ 01_6^15 + 529648014205597275041507542/10011333249244343831872883*c_\ 0101_6^14 - 491266448544412879039920937/10011333249244343831872883*\ c_0101_6^13 - 6078125681254262577620292573/100113332492443438318728\ 83*c_0101_6^12 - 9820013509595673633929822123/100113332492443438318\ 72883*c_0101_6^11 + 33698587541013511613662501051/10011333249244343\ 831872883*c_0101_6^10 + 1349720359380733126324549008/14301904641777\ 63404553269*c_0101_6^9 - 43183597597236803659333543662/100113332492\ 44343831872883*c_0101_6^8 + 907305587796931613580602743/10011333249\ 244343831872883*c_0101_6^7 + 17061375303821984074524730982/10011333\ 249244343831872883*c_0101_6^6 - 56462398782316632332055361/14301904\ 64177763404553269*c_0101_6^5 - 2511509670078844622132211668/1001133\ 3249244343831872883*c_0101_6^4 + 134891158131847017517977335/100113\ 33249244343831872883*c_0101_6^3 + 81097548803311837413940315/100113\ 33249244343831872883*c_0101_6^2 - 9706694190380714963081103/1430190\ 464177763404553269*c_0101_6 - 6406510562886492790129631/10011333249\ 244343831872883, c_0101_1 - 19539629229854364367845768/10011333249244343831872883*c_0101\ _6^17 + 29559304471207564726514910/10011333249244343831872883*c_010\ 1_6^16 + 813406892739142846698596636/10011333249244343831872883*c_0\ 101_6^15 + 1377327363410840710143032428/10011333249244343831872883*\ c_0101_6^14 - 961715929298536054875504934/1001133324924434383187288\ 3*c_0101_6^13 - 14578365943767710811983036919/100113332492443438318\ 72883*c_0101_6^12 - 25466907665456960637918114274/10011333249244343\ 831872883*c_0101_6^11 + 76318079084429788004175089505/1001133324924\ 4343831872883*c_0101_6^10 + 4746720476267618109196658491/1430190464\ 177763404553269*c_0101_6^9 - 97252592825273325334841559761/10011333\ 249244343831872883*c_0101_6^8 - 11294572871710436649560273839/10011\ 333249244343831872883*c_0101_6^7 + 37965154604284049601697667722/10011333249244343831872883*c_0101_6^6 + 611220008684525058053866234/1430190464177763404553269*c_0101_6^5 - 4874840677747410707370700878/10011333249244343831872883*c_0101_6^4 - 512883816928425897279209996/10011333249244343831872883*c_0101_6^3 + 66033371186773565941111230/10011333249244343831872883*c_0101_6^2 - 17690955289066329741161048/1430190464177763404553269*c_0101_6 - 25611265889891775062572536/10011333249244343831872883, c_0101_3 + 16977356448358653922462890/10011333249244343831872883*c_0101\ _6^17 - 25810766238860002440939169/10011333249244343831872883*c_010\ 1_6^16 - 706166777232984870539795890/10011333249244343831872883*c_0\ 101_6^15 - 1191750847519217315021751744/10011333249244343831872883*\ c_0101_6^14 + 828428941631651578974926265/1001133324924434383187288\ 3*c_0101_6^13 + 12623668561611879970882497630/100113332492443438318\ 72883*c_0101_6^12 + 22029071866910354371023057736/10011333249244343\ 831872883*c_0101_6^11 - 66193610849612428675998926515/1001133324924\ 4343831872883*c_0101_6^10 - 3957616893634741687550705350/1430190464\ 177763404553269*c_0101_6^9 + 83619915395698171603524068890/10011333\ 249244343831872883*c_0101_6^8 + 7880998310771845582786406280/100113\ 33249244343831872883*c_0101_6^7 - 31874632244625989242395824313/100\ 11333249244343831872883*c_0101_6^6 - 382644219486465316064376890/1430190464177763404553269*c_0101_6^5 + 4004714189876665129116137572/10011333249244343831872883*c_0101_6^4 + 332930671422631624496347780/10011333249244343831872883*c_0101_6^3 - 114006965948325504703322291/10011333249244343831872883*c_0101_6^2 + 10999956003291336153812804/1430190464177763404553269*c_0101_6 + 26121755833873358242697228/10011333249244343831872883, c_0101_5 - 22586539542179664069476497/10011333249244343831872883*c_0101\ _6^17 + 37298778144601357191693707/10011333249244343831872883*c_010\ 1_6^16 + 935311981605639963347232299/10011333249244343831872883*c_0\ 101_6^15 + 1461674765453640521917549421/10011333249244343831872883*\ c_0101_6^14 - 1323315747448179855272578208/100113332492443438318728\ 83*c_0101_6^13 - 16666374974687318828478982601/10011333249244343831\ 872883*c_0101_6^12 - 27087329651551342611818987354/1001133324924434\ 3831872883*c_0101_6^11 + 92128603129954369475891413942/100113332492\ 44343831872883*c_0101_6^10 + 3661247637389624165353316166/143019046\ 4177763404553269*c_0101_6^9 - 117432311933228554155264860407/100113\ 33249244343831872883*c_0101_6^8 + 4540212832161311691484897944/1001\ 1333249244343831872883*c_0101_6^7 + 44720061049370416645073836528/10011333249244343831872883*c_0101_6^6 - 427483201284454220690426939/1430190464177763404553269*c_0101_6^5 - 5266530633456266754588564362/10011333249244343831872883*c_0101_6^4 + 498018539247209290491653201/10011333249244343831872883*c_0101_6^3 - 93697847628357490890070408/10011333249244343831872883*c_0101_6^2 - 18484277566435441603035496/1430190464177763404553269*c_0101_6 + 785428692595126807014803/10011333249244343831872883, c_0101_6^18 - 2*c_0101_6^17 - 41*c_0101_6^16 - 50*c_0101_6^15 + 88*c_0101_6^14 + 728*c_0101_6^13 + 932*c_0101_6^12 - 4619*c_0101_6^11 + 92*c_0101_6^10 + 6276*c_0101_6^9 - 1842*c_0101_6^8 - 2780*c_0101_6^7 + 877*c_0101_6^6 + 522*c_0101_6^5 - 135*c_0101_6^4 - 31*c_0101_6^3 + 10*c_0101_6^2 - 2*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB