Magma V2.19-8 Tue Aug 20 2013 16:17:27 on localhost [Seed = 2362249286] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1686 geometric_solution 5.40821816 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 0132 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 -1 0 1 -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.163198193196 0.500012417568 0 3 5 4 0132 2310 0132 0132 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 0 0 0 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.232833590836 0.572956005844 2 0 0 2 3201 0132 1023 2310 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 0 0 0 0 0 0 1.636717700303 0.795011973972 5 6 0 1 0213 0132 0132 3201 0 0 0 0 0 1 -1 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 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.198388778451 1.754126247599 4 6 1 4 3201 0321 0132 2310 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 0 0 0 0 0 0 0 0 0 0 -0.130406487641 0.948123691927 3 6 6 1 0213 3201 2103 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 -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 1.637257470194 0.416846543890 5 3 5 4 2103 0132 2310 0321 0 0 0 0 0 -1 0 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 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.474607571283 0.572838920882 ==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_0011_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], '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_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_1001_1']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_1001_1']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_5'], '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_3, c_0011_4, c_0011_5, c_0101_0, c_0101_2, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 1227578112693631023393/503610739393201880863*c_1001_1^24 - 10722351145926606398959/503610739393201880863*c_1001_1^22 + 214161502144149026344123/503610739393201880863*c_1001_1^20 - 1214131612218422412421157/503610739393201880863*c_1001_1^18 + 3884569825744502380938709/503610739393201880863*c_1001_1^16 - 7783723719462908709437870/503610739393201880863*c_1001_1^14 + 9751640775341429606974395/503610739393201880863*c_1001_1^12 - 8668497871135117356246051/503610739393201880863*c_1001_1^10 + 6979339276319784014443422/503610739393201880863*c_1001_1^8 - 4951308729648279386627950/503610739393201880863*c_1001_1^6 + 2357229374188317769589361/503610739393201880863*c_1001_1^4 - 662721522570398117506785/503610739393201880863*c_1001_1^2 + 106331390995036030304240/503610739393201880863, c_0011_0 - 1, c_0011_3 + 14037344335520324724/503610739393201880863*c_1001_1^24 + 134979859796046404439/503610739393201880863*c_1001_1^22 - 2334139274056388735517/503610739393201880863*c_1001_1^20 + 11786837317189785837372/503610739393201880863*c_1001_1^18 - 33344182285659735417059/503610739393201880863*c_1001_1^16 + 56118865614308473495082/503610739393201880863*c_1001_1^14 - 51972903860693616548354/503610739393201880863*c_1001_1^12 + 35791810968687414448553/503610739393201880863*c_1001_1^10 - 30564362937920794194732/503610739393201880863*c_1001_1^8 + 15791299859752308705272/503610739393201880863*c_1001_1^6 - 1355397196518705915662/503610739393201880863*c_1001_1^4 - 709038608256075952128/503610739393201880863*c_1001_1^2 + 207811752199614411763/503610739393201880863, c_0011_4 + 19266089190151976811/503610739393201880863*c_1001_1^24 + 187378440979702513083/503610739393201880863*c_1001_1^22 - 3181440034575880957821/503610739393201880863*c_1001_1^20 + 15844308608878762289152/503610739393201880863*c_1001_1^18 - 44245207768421204928417/503610739393201880863*c_1001_1^16 + 73050636771889912179303/503610739393201880863*c_1001_1^14 - 65349229855191843461586/503610739393201880863*c_1001_1^12 + 44358458739419835565202/503610739393201880863*c_1001_1^10 - 38170849765036694521736/503610739393201880863*c_1001_1^8 + 18924548999472016319137/503610739393201880863*c_1001_1^6 - 220406921002502501393/503610739393201880863*c_1001_1^4 - 882974619798477720352/503610739393201880863*c_1001_1^2 + 166234102297206256039/503610739393201880863, c_0011_5 - 76955466631655241436/503610739393201880863*c_1001_1^25 - 706412812548312433307/503610739393201880863*c_1001_1^23 + 13103438699958725664087/503610739393201880863*c_1001_1^21 - 70352033583321527694066/503610739393201880863*c_1001_1^19 + 213561374958376309205615/503610739393201880863*c_1001_1^17 - 400292495257215600314847/503610739393201880863*c_1001_1^15 + 455729453335582355200573/503610739393201880863*c_1001_1^13 - 382899295259815996982883/503610739393201880863*c_1001_1^11 + 314344676148044921154038/503610739393201880863*c_1001_1^9 - 207451145005502500258615/503610739393201880863*c_1001_1^7 + 86047790395607256384585/503610739393201880863*c_1001_1^5 - 23310619400168071888317/503610739393201880863*c_1001_1^3 + 2627454617394405079954/503610739393201880863*c_1001_1, c_0101_0 + 41577649902408155724/503610739393201880863*c_1001_1^25 + 379427593976305053603/503610739393201880863*c_1001_1^23 - 7098957202030546675884/503610739393201880863*c_1001_1^21 + 38402000747353806781152/503610739393201880863*c_1001_1^19 - 117598732322757287196644/503610739393201880863*c_1001_1^17 + 223264298767601263526210/503610739393201880863*c_1001_1^15 - 259975377192456878437619/503610739393201880863*c_1001_1^13 + 223491545499521036246396/503610739393201880863*c_1001_1^11 - 184062604227124564352643/503610739393201880863*c_1001_1^9 + 123862042164298688072284/503610739393201880863*c_1001_1^7 - 54077597125993914662359/503610739393201880863*c_1001_1^5 + 16643453689114445499321/503610739393201880863*c_1001_1^3 - 2881162195763235902459/503610739393201880863*c_1001_1, c_0101_2 + 147158551107926168589/503610739393201880863*c_1001_1^25 + 1356444636408832264082/503610739393201880863*c_1001_1^23 - 24998273858348329962070/503610739393201880863*c_1001_1^21 + 133659288674645609217736/503610739393201880863*c_1001_1^19 - 404383734144150433875237/503610739393201880863*c_1001_1^17 + 754473692814415189629762/503610739393201880863*c_1001_1^15 - 852558899462124490145420/503610739393201880863*c_1001_1^13 + 710266821280112649341609/503610739393201880863*c_1001_1^11 - 575227011741801744869387/503610739393201880863*c_1001_1^9 + 376768057137522834162702/503610739393201880863*c_1001_1^7 - 152552094870248514164887/503610739393201880863*c_1001_1^5 + 35726736318068465109990/503610739393201880863*c_1001_1^3 - 3070560871910016790346/503610739393201880863*c_1001_1, c_1001_1^26 + 9*c_1001_1^24 - 172*c_1001_1^22 + 944*c_1001_1^20 - 2926*c_1001_1^18 + 5632*c_1001_1^16 - 6660*c_1001_1^14 + 5697*c_1001_1^12 - 4633*c_1001_1^10 + 3162*c_1001_1^8 - 1376*c_1001_1^6 + 373*c_1001_1^4 - 53*c_1001_1^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB