Magma V2.19-8 Tue Aug 20 2013 16:17:57 on localhost [Seed = 2193825351] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2190 geometric_solution 5.64822703 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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.494203494609 1.288842339715 0 3 2 4 0132 0132 0132 0132 0 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 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.077838641120 0.966121686990 3 0 4 1 0132 0132 3201 0132 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 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.077838641120 0.966121686990 2 1 5 5 0132 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.157257956893 0.754945035671 2 6 1 6 2310 0132 0132 2310 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 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.367091309092 1.475905412876 3 5 5 3 3201 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.292197010985 0.801262090373 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 -1 1 0 0 -1 1 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 1 -1 0 0 1 -1 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.435843215481 0.147712745857 ==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' : d['c_0101_2'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t + 8*c_0110_6^8 + 69*c_0110_6^7 + 200*c_0110_6^6 + 159*c_0110_6^5 - 223*c_0110_6^4 - 359*c_0110_6^3 + 6*c_0110_6^2 + 134*c_0110_6 + 9, c_0011_0 - 1, c_0011_4 - c_0110_6^2 - c_0110_6 + 1, c_0011_5 + c_0110_6^7 + 6*c_0110_6^6 + 9*c_0110_6^5 - 5*c_0110_6^4 - 15*c_0110_6^3 + 5*c_0110_6, c_0101_0 - c_0110_6^6 - 5*c_0110_6^5 - 5*c_0110_6^4 + 6*c_0110_6^3 + 7*c_0110_6^2 - 2*c_0110_6 - 1, c_0101_1 - c_0110_6^3 - 2*c_0110_6^2 + c_0110_6 + 1, c_0101_2 + c_0110_6^5 + 4*c_0110_6^4 + 2*c_0110_6^3 - 5*c_0110_6^2 - 2*c_0110_6 + 1, c_0110_6^9 + 8*c_0110_6^8 + 20*c_0110_6^7 + 7*c_0110_6^6 - 35*c_0110_6^5 - 29*c_0110_6^4 + 18*c_0110_6^3 + 15*c_0110_6^2 - 3*c_0110_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 664077213764446560002333937/1681885951383558874930*c_0110_6^12 - 178087516720932903254220924/840942975691779437465*c_0110_6^11 - 4589955576670477260994585338/840942975691779437465*c_0110_6^10 + 2221402923008307783329610809/840942975691779437465*c_0110_6^9 + 30865422702773126764462680449/1681885951383558874930*c_0110_6^8 - 11403641996272775917302320509/1681885951383558874930*c_0110_6^7 + 1962418648159671501926142028/840942975691779437465*c_0110_6^6 - 7440701014470447421646633428/840942975691779437465*c_0110_6^5 + 13148622232339359089547978037/1681885951383558874930*c_0110_6^4 - 1806087178509321596290378564/840942975691779437465*c_0110_6^3 + 65902777727928914580632219/1681885951383558874930*c_0110_6^2 + 51257160553014773689140599/1681885951383558874930*c_0110_6 + 28918623452766409483820367/1681885951383558874930, c_0011_0 - 1, c_0011_4 - 12458491385966178848361/1681885951383558874930*c_0110_6^12 - 5522394317100343478748/840942975691779437465*c_0110_6^11 + 166612396264018663077483/1681885951383558874930*c_0110_6^10 + 80436332065417051513658/840942975691779437465*c_0110_6^9 - 487745644146197709256587/1681885951383558874930*c_0110_6^8 - 293368408606631082778494/840942975691779437465*c_0110_6^7 - 238899776119808453349389/840942975691779437465*c_0110_6^6 + 4853600706091508480449/840942975691779437465*c_0110_6^5 + 29142417392723642375329/1681885951383558874930*c_0110_6^4 + 4867759389011556375112/840942975691779437465*c_0110_6^3 - 6875862901201051468716/840942975691779437465*c_0110_6^2 - 8296901541705741326487/1681885951383558874930*c_0110_6 - 628073234856954941148/840942975691779437465, c_0011_5 - 16458717786258342685068/840942975691779437465*c_0110_6^12 + 11209035892872044280819/1681885951383558874930*c_0110_6^11 + 231504356348443990257599/840942975691779437465*c_0110_6^10 - 64482247374785799071277/840942975691779437465*c_0110_6^9 - 1635053581997053989075317/1681885951383558874930*c_0110_6^8 + 116207163234578838447641/840942975691779437465*c_0110_6^7 + 58118795334490256368186/840942975691779437465*c_0110_6^6 + 417666068894514003527699/840942975691779437465*c_0110_6^5 - 210884779462584520213173/840942975691779437465*c_0110_6^4 - 7914832090931857409921/1681885951383558874930*c_0110_6^3 + 17540777489577144936769/840942975691779437465*c_0110_6^2 + 2684625661007571877943/1681885951383558874930*c_0110_6 + 308410328888313507727/840942975691779437465, c_0101_0 - 13930706035913724480357/1681885951383558874930*c_0110_6^12 + 2426929141020893687673/1681885951383558874930*c_0110_6^11 + 99040979331663077916678/840942975691779437465*c_0110_6^10 - 21684844754367682709123/1681885951383558874930*c_0110_6^9 - 719847470037829898167619/1681885951383558874930*c_0110_6^8 - 11002541675584869495033/840942975691779437465*c_0110_6^7 + 65117598655253532758607/840942975691779437465*c_0110_6^6 + 193705116824620594672143/840942975691779437465*c_0110_6^5 - 113424146767117490528237/1681885951383558874930*c_0110_6^4 - 59456071979642113423517/1681885951383558874930*c_0110_6^3 + 17619164786701453164631/1681885951383558874930*c_0110_6^2 + 9120532745346796919491/1681885951383558874930*c_0110_6 + 412288428902506455359/840942975691779437465, c_0101_1 - 19669829388870134097558/840942975691779437465*c_0110_6^12 + 13313414372047656236019/1681885951383558874930*c_0110_6^11 + 275898993819485249977554/840942975691779437465*c_0110_6^10 - 153207175277103663898219/1681885951383558874930*c_0110_6^9 - 966370645166506702799726/840942975691779437465*c_0110_6^8 + 278180023331170203028037/1681885951383558874930*c_0110_6^7 + 34325756530124256335886/840942975691779437465*c_0110_6^6 + 487653781096257009902814/840942975691779437465*c_0110_6^5 - 262541770418195676442408/840942975691779437465*c_0110_6^4 + 13616079688120551793479/1681885951383558874930*c_0110_6^3 + 16023518170038938151349/840942975691779437465*c_0110_6^2 + 1728199733667205621294/840942975691779437465*c_0110_6 + 949630315138883178419/1681885951383558874930, c_0101_2 - 12763402179431759595729/840942975691779437465*c_0110_6^12 - 7918182798909675359253/1681885951383558874930*c_0110_6^11 + 352486800797169539858899/1681885951383558874930*c_0110_6^10 + 64434593209952687340414/840942975691779437465*c_0110_6^9 - 1164375066155077458756901/1681885951383558874930*c_0110_6^8 - 569535727746404594374659/1681885951383558874930*c_0110_6^7 - 173722980571772847956842/840942975691779437465*c_0110_6^6 + 193387728652008873640677/840942975691779437465*c_0110_6^5 - 43531714187180586950444/840942975691779437465*c_0110_6^4 - 37303862767998877172733/1681885951383558874930*c_0110_6^3 + 1891388447029565736119/1681885951383558874930*c_0110_6^2 - 3425440651527512926031/1681885951383558874930*c_0110_6 - 486048067811164098783/1681885951383558874930, c_0110_6^13 - 10/33*c_0110_6^12 - 1381/99*c_0110_6^11 + 343/99*c_0110_6^10 + 4757/99*c_0110_6^9 - 626/99*c_0110_6^8 + 185/99*c_0110_6^7 - 2084/99*c_0110_6^6 + 131/9*c_0110_6^5 - 80/99*c_0110_6^4 - 116/99*c_0110_6^3 + 10/99*c_0110_6^2 + 2/33*c_0110_6 + 1/99 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB