Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 1629551963] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0120 geometric_solution 3.63575161 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 2310 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 1 0 -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.499224313370 0.071263985072 0 3 0 3 0132 0132 1023 2310 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 -1 1 0 -1 0 1 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 -2.551070599623 1.814020324396 0 0 2 2 3201 0132 1230 3012 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 0 0 0 0 0.498251509364 0.023604356367 1 1 4 5 3201 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -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.496744474165 0.632872249495 5 6 5 3 1302 0132 2031 0132 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 -1 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 0.748692321016 0.253279881584 6 4 3 4 2310 2031 0132 1302 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 0 0 0 0 0 -1 1 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.748692321016 0.253279881584 6 4 5 6 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.801499536739 0.405448335574 ==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' : negation(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_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 3600862251899468/1335411*c_0110_2^24 + 32370738628990381/2670822*c_0110_2^23 + 26403223592328580/1335411*c_0110_2^22 - 557829399752400581/2670822*c_0110_2^21 + 105113538796620140/1335411*c_0110_2^20 + 1943595396277104313/1335411*c_0110_2^19 - 4485383604770970791/2670822*c_0110_2^18 - 691074355868251819/121401*c_0110_2^17 + 22940364413849409125/2670822*c_0110_2^16 + 1724820907880216012/148379*c_0110_2^15 - 62045454686798414717/2670822*c_0110_2^14 - 1340688197984714685/148379*c_0110_2^13 + 94394256527410060763/2670822*c_0110_2^12 - 1065809117794456802/148379*c_0110_2^11 - 111582473445741545/4059*c_0110_2^10 + 25417307805027261272/1335411*c_0110_2^9 + 1179001160704989524/190773*c_0110_2^8 - 10903251163490321677/890274*c_0110_2^7 + 5566970603955378241/1335411*c_0110_2^6 + 3985688125077160015/2670822*c_0110_2^5 - 2432301609772093601/1335411*c_0110_2^4 + 278695820374734811/381546*c_0110_2^3 - 419354530645534535/2670822*c_0110_2^2 + 8082325454976634/445137*c_0110_2 - 2384633127261349/2670822, c_0011_0 - 1, c_0011_4 + 79464*c_0110_2^24 - 375395*c_0110_2^23 - 503934*c_0110_2^22 + 6302304*c_0110_2^21 - 3705418*c_0110_2^20 - 42599132*c_0110_2^19 + 59378292*c_0110_2^18 + 158117106*c_0110_2^17 - 293271904*c_0110_2^16 - 291445450*c_0110_2^15 + 772078906*c_0110_2^14 + 124283987*c_0110_2^13 - 1127351937*c_0110_2^12 + 436055115*c_0110_2^11 + 800596988*c_0110_2^10 - 748938258*c_0110_2^9 - 85999923*c_0110_2^8 + 419841498*c_0110_2^7 - 195677916*c_0110_2^6 - 28592115*c_0110_2^5 + 66625232*c_0110_2^4 - 31621985*c_0110_2^3 + 7773656*c_0110_2^2 - 1025662*c_0110_2 + 57960, c_0101_0 - 8*c_0110_2^24 + 39*c_0110_2^23 + 45*c_0110_2^22 - 642*c_0110_2^21 + 469*c_0110_2^20 + 4230*c_0110_2^19 - 6624*c_0110_2^18 - 15000*c_0110_2^17 + 31907*c_0110_2^16 + 24823*c_0110_2^15 - 82054*c_0110_2^14 - 658*c_0110_2^13 + 115108*c_0110_2^12 - 61112*c_0110_2^11 - 73558*c_0110_2^10 + 87454*c_0110_2^9 - 3041*c_0110_2^8 - 43333*c_0110_2^7 + 26146*c_0110_2^6 - 246*c_0110_2^5 - 7089*c_0110_2^4 + 4215*c_0110_2^3 - 1286*c_0110_2^2 + 231*c_0110_2 - 22, c_0101_1 - 4746470272/11*c_0110_2^24 + 21284788160/11*c_0110_2^23 + 35018122230/11*c_0110_2^22 - 367241270642/11*c_0110_2^21 + 134759762384/11*c_0110_2^20 + 2562649054222/11*c_0110_2^19 - 2928975603175/11*c_0110_2^18 - 913281416010*c_0110_2^17 + 15007951483165/11*c_0110_2^16 + 20599999890554/11*c_0110_2^15 - 40645924752012/11*c_0110_2^14 - 16290153819173/11*c_0110_2^13 + 61959469434768/11*c_0110_2^12 - 12030143099628/11*c_0110_2^11 - 48388977970217/11*c_0110_2^10 + 32979560950594/11*c_0110_2^9 + 11120345107975/11*c_0110_2^8 - 21381553979114/11*c_0110_2^7 + 7145086596376/11*c_0110_2^6 + 2659375717555/11*c_0110_2^5 - 3168888457446/11*c_0110_2^4 + 1259949712304/11*c_0110_2^3 - 268929089827/11*c_0110_2^2 + 30885649618/11*c_0110_2 - 1508063366/11, c_0101_5 + 1376350376/11*c_0110_2^24 - 5904041779/11*c_0110_2^23 - 11269980241/11*c_0110_2^22 + 104154593646/11*c_0110_2^21 - 19091921095/11*c_0110_2^20 - 744287877018/11*c_0110_2^19 + 704243234745/11*c_0110_2^18 + 275624308585*c_0110_2^17 - 3746452564209/11*c_0110_2^16 - 6626385254287/11*c_0110_2^15 + 10412961608057/11*c_0110_2^14 + 6577812383926/11*c_0110_2^13 - 16450131756909/11*c_0110_2^12 + 476294326821/11*c_0110_2^11 + 13741664350672/11*c_0110_2^10 - 6922518194223/11*c_0110_2^9 - 4237509129539/11*c_0110_2^8 + 5245173833085/11*c_0110_2^7 - 1171301317057/11*c_0110_2^6 - 884491143664/11*c_0110_2^5 + 731956202546/11*c_0110_2^4 - 246551300850/11*c_0110_2^3 + 45124101992/11*c_0110_2^2 - 4370741341/11*c_0110_2 + 173754478/11, c_0101_6 - 19773689560/11*c_0110_2^24 + 89321687821/11*c_0110_2^23 + 143191144933/11*c_0110_2^22 - 1535624220652/11*c_0110_2^21 + 609742632706/11*c_0110_2^20 + 10673856892187/11*c_0110_2^19 - 12553508075913/11*c_0110_2^18 - 3779080792352*c_0110_2^17 + 63993162090925/11*c_0110_2^16 + 84262844413479/11*c_0110_2^15 - 172675666001838/11*c_0110_2^14 - 63434392848663/11*c_0110_2^13 + 261848815213474/11*c_0110_2^12 - 57334040180052/11*c_0110_2^11 - 202380503279997/11*c_0110_2^10 + 143742913873953/11*c_0110_2^9 + 43960921011045/11*c_0110_2^8 - 91394276195570/11*c_0110_2^7 + 31907505686640/11*c_0110_2^6 + 10823928615143/11*c_0110_2^5 - 13650939835477/11*c_0110_2^4 + 5530687301424/11*c_0110_2^3 - 1197704451347/11*c_0110_2^2 + 139397377786/11*c_0110_2 - 6895751979/11, c_0110_2^25 - 39/8*c_0110_2^24 - 45/8*c_0110_2^23 + 321/4*c_0110_2^22 - 469/8*c_0110_2^21 - 2115/4*c_0110_2^20 + 828*c_0110_2^19 + 1875*c_0110_2^18 - 31907/8*c_0110_2^17 - 24823/8*c_0110_2^16 + 41027/4*c_0110_2^15 + 329/4*c_0110_2^14 - 28777/2*c_0110_2^13 + 7639*c_0110_2^12 + 36779/4*c_0110_2^11 - 43727/4*c_0110_2^10 + 3041/8*c_0110_2^9 + 43333/8*c_0110_2^8 - 13073/4*c_0110_2^7 + 123/4*c_0110_2^6 + 7089/8*c_0110_2^5 - 4215/8*c_0110_2^4 + 643/4*c_0110_2^3 - 115/4*c_0110_2^2 + 23/8*c_0110_2 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB