Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 2614757187] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0840 geometric_solution 4.76002267 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0.364930125736 0.200515311594 2 0 3 0 0132 2310 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 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.530275137333 0.955989845840 1 4 3 3 0132 0132 3012 1230 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.434907868548 1.396893044903 2 2 4 1 3012 1230 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.434907868548 1.396893044903 3 2 5 5 2310 0132 3201 0132 0 0 0 0 0 0 0 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 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.256462873417 0.430490208945 4 6 4 6 2310 0132 0132 2310 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 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.397132221997 2.969946528663 5 5 6 6 3201 0132 1230 3012 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 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.159934880597 0.154357338541 ==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_0110_6'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 1731344307943426534603498653/2494759431282245125339177*c_0110_6^21 + 8002170188881542612593343685/2494759431282245125339177*c_0110_6^20 - 18732279360099494794832537572/2494759431282245125339177*c_0110_6^19 + 99628722509342455093525393888/2494759431282245125339177*c_0110_6^\ 18 + 19929097084653805027482104837/2494759431282245125339177*c_0110\ _6^17 - 86037198889478434119458634768/2494759431282245125339177*c_0\ 110_6^16 + 3046389061143782493042805209713/249475943128224512533917\ 7*c_0110_6^15 - 720053219383415645489662315452/24947594312822451253\ 39177*c_0110_6^14 + 230211074769857304159706087983/2494759431282245\ 125339177*c_0110_6^13 - 491978098537915147909887646714/249475943128\ 2245125339177*c_0110_6^12 - 1437222070305479200138196435597/2494759\ 431282245125339177*c_0110_6^11 - 921870821459004526392049654/608477\ 91006884027447297*c_0110_6^10 + 92221951697941893211024399032/24947\ 59431282245125339177*c_0110_6^9 - 61828978112402344666558154218/249\ 4759431282245125339177*c_0110_6^8 + 414232635578948232851438008534/2494759431282245125339177*c_0110_6^7 - 81336715366413442273970017691/2494759431282245125339177*c_0110_6^\ 6 + 30205099012215662275459736874/2494759431282245125339177*c_0110_\ 6^5 - 53035437780927913717748538/60847791006884027447297*c_0110_6^4 - 38895353879331229881067873278/2494759431282245125339177*c_0110_6^\ 3 + 14623419795477120806980105807/2494759431282245125339177*c_0110_\ 6^2 - 6939344863445585291621464310/2494759431282245125339177*c_0110\ _6 + 3110193685078819163242130914/2494759431282245125339177, c_0011_0 - 1, c_0011_1 - 6631306388683230925125617/60847791006884027447297*c_0110_6^2\ 1 + 25729735260174216390672303/60847791006884027447297*c_0110_6^20 - 48552652098796530532277061/60847791006884027447297*c_0110_6^19 + 327628244651470534539836814/60847791006884027447297*c_0110_6^18 + 357566823912770543783159531/60847791006884027447297*c_0110_6^17 - 282760782492801201091768188/60847791006884027447297*c_0110_6^16 + 11337347165787885049103549052/60847791006884027447297*c_0110_6^15 + 5925119251760623390051419756/60847791006884027447297*c_0110_6^14 - 1858397466106910351238673030/60847791006884027447297*c_0110_6^13 - 3476697506512784085369065109/60847791006884027447297*c_0110_6^12 - 5625752982965910471082175868/60847791006884027447297*c_0110_6^11 - 3424438079511568215103421199/60847791006884027447297*c_0110_6^10 + 589023959077932007282844710/60847791006884027447297*c_0110_6^9 + 852727707753291991313841819/60847791006884027447297*c_0110_6^8 + 1047920399547836920723509881/60847791006884027447297*c_0110_6^7 + 418227037323403912202480904/60847791006884027447297*c_0110_6^6 - 57499428130083711504922798/60847791006884027447297*c_0110_6^5 - 99497708104851738966012273/60847791006884027447297*c_0110_6^4 - 67715446082914615428758909/60847791006884027447297*c_0110_6^3 - 6851985898985616471966129/60847791006884027447297*c_0110_6^2 + 1782213457333861449990605/60847791006884027447297*c_0110_6 + 7225094084702918434672089/60847791006884027447297, c_0011_3 + 104037464700234694726845/60847791006884027447297*c_0110_6^21 - 201708158788974400766331/60847791006884027447297*c_0110_6^20 - 144109967247756950640166/60847791006884027447297*c_0110_6^19 - 3143630999614489899610519/60847791006884027447297*c_0110_6^18 - 16653253948300206435208761/60847791006884027447297*c_0110_6^17 - 101144747113718289967926/60847791006884027447297*c_0110_6^16 - 164778541016859354006582529/60847791006884027447297*c_0110_6^15 - 445846460193943767486137269/60847791006884027447297*c_0110_6^14 + 60208710632269293256928991/60847791006884027447297*c_0110_6^13 + 145974563761885846103686672/60847791006884027447297*c_0110_6^12 + 122772953027127270382198435/60847791006884027447297*c_0110_6^11 + 193225116259055457630158963/60847791006884027447297*c_0110_6^10 + 7368475699146086660372724/60847791006884027447297*c_0110_6^9 - 64167028660560497137164769/60847791006884027447297*c_0110_6^8 - 10361097517422063675557425/60847791006884027447297*c_0110_6^7 - 33891352142072341649463094/60847791006884027447297*c_0110_6^6 + 2466612099628751847681705/60847791006884027447297*c_0110_6^5 + 7442963006572644137310236/60847791006884027447297*c_0110_6^4 - 274051544467601123654582/60847791006884027447297*c_0110_6^3 + 2193119857953433876545466/60847791006884027447297*c_0110_6^2 - 690362232328783189239494/60847791006884027447297*c_0110_6 - 183115834141541388643590/60847791006884027447297, c_0011_5 + 1153077680405780081554350/60847791006884027447297*c_0110_6^2\ 1 - 4359050320004256534433826/60847791006884027447297*c_0110_6^20 + 8085748020602804099527350/60847791006884027447297*c_0110_6^19 - 56563492839196781813334642/60847791006884027447297*c_0110_6^18 - 66816944827162719534355444/60847791006884027447297*c_0110_6^17 + 37759225904238270684027461/60847791006884027447297*c_0110_6^16 - 1966563036590260519663765101/60847791006884027447297*c_0110_6^15 - 1219971177568693698296910295/60847791006884027447297*c_0110_6^14 + 62633357737446377153072026/60847791006884027447297*c_0110_6^13 + 712566085123133893236121323/60847791006884027447297*c_0110_6^12 + 1081949394057885642051937873/60847791006884027447297*c_0110_6^11 + 697899720762363224896363623/60847791006884027447297*c_0110_6^10 + 6415220243296314608572548/60847791006884027447297*c_0110_6^9 - 178374642570393811309389634/60847791006884027447297*c_0110_6^8 - 222715651809876100352267539/60847791006884027447297*c_0110_6^7 - 80839453752178110940021038/60847791006884027447297*c_0110_6^6 - 9794093686546972803150816/60847791006884027447297*c_0110_6^5 + 24301105181284414115202061/60847791006884027447297*c_0110_6^4 + 15435825479039892696743531/60847791006884027447297*c_0110_6^3 + 795218977197263726453380/60847791006884027447297*c_0110_6^2 + 922629843676098027795244/60847791006884027447297*c_0110_6 - 1963692817212631494812901/60847791006884027447297, c_0101_0 - 2241619126186498589099693/60847791006884027447297*c_0110_6^2\ 1 + 5614846418221292453722988/60847791006884027447297*c_0110_6^20 - 3015973861822582079095302/60847791006884027447297*c_0110_6^19 + 82367050383254802439239285/60847791006884027447297*c_0110_6^18 + 284442048578903178600488636/60847791006884027447297*c_0110_6^17 - 1148881558539592994387677/60847791006884027447297*c_0110_6^16 + 3633378825055718806898208863/60847791006884027447297*c_0110_6^15 + 7358556755558351731251335393/60847791006884027447297*c_0110_6^14 - 338340375254119801752104370/60847791006884027447297*c_0110_6^13 - 2920379965244988066896301728/60847791006884027447297*c_0110_6^12 - 2569975647263053898873499262/60847791006884027447297*c_0110_6^11 - 3249683398012783477464865659/60847791006884027447297*c_0110_6^10 - 357404254291808920448719373/60847791006884027447297*c_0110_6^9 + 1099881219160268561044841211/60847791006884027447297*c_0110_6^8 + 374806517441874825625353695/60847791006884027447297*c_0110_6^7 + 500728324819911445412127426/60847791006884027447297*c_0110_6^6 + 27338064904906629745934310/60847791006884027447297*c_0110_6^5 - 137625834976071544326501119/60847791006884027447297*c_0110_6^4 - 11505085264759329748057836/60847791006884027447297*c_0110_6^3 - 26541433383964440130772630/60847791006884027447297*c_0110_6^2 + 4471980608806013983159387/60847791006884027447297*c_0110_6 + 5842221660663577543965587/60847791006884027447297, c_0101_3 - 4043562079698965621399173/60847791006884027447297*c_0110_6^2\ 1 + 15399296536920633495342380/60847791006884027447297*c_0110_6^20 - 28689159449758454395204786/60847791006884027447297*c_0110_6^19 + 198675357837142162831837779/60847791006884027447297*c_0110_6^18 + 229916683331184774373690351/60847791006884027447297*c_0110_6^17 - 144583664540585273832322893/60847791006884027447297*c_0110_6^16 + 6900754727801539815420729377/60847791006884027447297*c_0110_6^15 + 4092687419400197134420782732/60847791006884027447297*c_0110_6^14 - 505659340259093613382707574/60847791006884027447297*c_0110_6^13 - 2385034211657950650542025159/60847791006884027447297*c_0110_6^12 - 3679192308279453093972415836/60847791006884027447297*c_0110_6^11 - 2342433180667880799101198415/60847791006884027447297*c_0110_6^10 + 93611145687992027067200568/60847791006884027447297*c_0110_6^9 + 595037221457002924820640897/60847791006884027447297*c_0110_6^8 + 735930985403214117030080488/60847791006884027447297*c_0110_6^7 + 275792822910759924360467188/60847791006884027447297*c_0110_6^6 + 12292610636794260805687602/60847791006884027447297*c_0110_6^5 - 77914154832192665215766065/60847791006884027447297*c_0110_6^4 - 50042915154115971253569794/60847791006884027447297*c_0110_6^3 - 3310849916827755087407075/60847791006884027447297*c_0110_6^2 - 1981741871810393572945489/60847791006884027447297*c_0110_6 + 6125805586875069254702886/60847791006884027447297, c_0110_6^22 - 4*c_0110_6^21 + 8*c_0110_6^20 - 51*c_0110_6^19 - 47*c_0110_6^18 + 40*c_0110_6^17 - 1733*c_0110_6^16 - 678*c_0110_6^15 + 32*c_0110_6^14 + 103*c_0110_6^13 + 983*c_0110_6^12 + 556*c_0110_6^11 + 15*c_0110_6^10 + 60*c_0110_6^9 - 197*c_0110_6^8 - 101*c_0110_6^7 + 4*c_0110_6^6 - 18*c_0110_6^5 + 20*c_0110_6^4 + 5*c_0110_6^3 - c_0110_6^2 + c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB