Magma V2.19-8 Tue Aug 20 2013 16:17:10 on localhost [Seed = 2951623551] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1416 geometric_solution 5.25225787 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 1.485334315106 0.216975197367 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.154484580404 0.299616182029 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -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 -1 1 -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.750031670322 0.473330487552 2 5 6 5 0132 0132 0132 2310 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 -1 0 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.739051366915 0.614746207900 6 5 2 5 2310 3201 0132 1023 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 -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.739051366915 0.614746207900 3 3 4 4 3201 0132 2310 1023 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 1 0 -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.640757072172 0.312386222537 6 6 4 3 1230 3012 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.934128054348 1.004715823265 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(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_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_2'], '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_6, c_0101_0, c_0101_2, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 4138305303661/20056310039808*c_0101_6*c_0110_5^12 - 2101372261691/20056310039808*c_0101_6*c_0110_5^11 + 804007153679/477531191424*c_0101_6*c_0110_5^10 + 117013486461395/10028155019904*c_0101_6*c_0110_5^9 - 20975421208157/20056310039808*c_0101_6*c_0110_5^8 - 2578623310338251/20056310039808*c_0101_6*c_0110_5^7 - 21025306078177/2507038754976*c_0101_6*c_0110_5^6 + 1962358613940877/5014077509952*c_0101_6*c_0110_5^5 - 328833479976079/2507038754976*c_0101_6*c_0110_5^4 - 669097599005341/1253519377488*c_0101_6*c_0110_5^3 + 227329969789207/626759688744*c_0101_6*c_0110_5^2 + 12975653919145/44768549196*c_0101_6*c_0110_5 - 13042885609592/78344961093*c_0101_6, c_0011_0 - 1, c_0011_1 - 47433111/11369790272*c_0110_5^12 - 205338673/68218741632*c_0110_5^11 + 515561369/17054685408*c_0110_5^10 + 85209521/355305946*c_0110_5^9 + 1728326399/34109370816*c_0110_5^8 - 164245016167/68218741632*c_0110_5^7 - 1752789543/2842447568*c_0110_5^6 + 8644110299/1421223784*c_0110_5^5 - 15852646897/8527342704*c_0110_5^4 - 32851274321/4263671352*c_0110_5^3 + 4312540235/1065917838*c_0110_5^2 + 1410235720/532958919*c_0110_5 - 772668632/532958919, c_0011_6 + 189617495/136437483264*c_0110_5^12 + 30606601/34109370816*c_0110_5^11 - 350642785/34109370816*c_0110_5^10 - 2670833153/34109370816*c_0110_5^9 - 507954941/45479161088*c_0110_5^8 + 13716247735/17054685408*c_0110_5^7 + 1147288941/11369790272*c_0110_5^6 - 8656661905/4263671352*c_0110_5^5 + 5293953697/4263671352*c_0110_5^4 + 2933313535/1421223784*c_0110_5^3 - 1203540455/532958919*c_0110_5^2 - 237925256/532958919*c_0110_5 + 455285705/532958919, c_0101_0 + 587682003/45479161088*c_0101_6*c_0110_5^12 + 82767281/11369790272*c_0101_6*c_0110_5^11 - 576031573/5684895136*c_0101_6*c_0110_5^10 - 24864056003/34109370816*c_0101_6*c_0110_5^9 + 767729095/136437483264*c_0101_6*c_0110_5^8 + 133234834381/17054685408*c_0101_6*c_0110_5^7 + 2631095369/4263671352*c_0101_6*c_0110_5^6 - 48292430527/2131835676*c_0101_6*c_0110_5^5 + 42220462477/4263671352*c_0101_6*c_0110_5^4 + 133906523387/4263671352*c_0101_6*c_0110_5^3 - 4129145031/177652973*c_0101_6*c_0110_5^2 - 15205868419/1065917838*c_0101_6*c_0110_5 + 6751772500/532958919*c_0101_6, c_0101_2 + 487716207/45479161088*c_0101_6*c_0110_5^12 + 41787507/5684895136*c_0101_6*c_0110_5^11 - 228789565/2842447568*c_0101_6*c_0110_5^10 - 20887866805/34109370816*c_0101_6*c_0110_5^9 - 12021026573/136437483264*c_0101_6*c_0110_5^8 + 215358506087/34109370816*c_0101_6*c_0110_5^7 + 20717304353/17054685408*c_0101_6*c_0110_5^6 - 292856839445/17054685408*c_0101_6*c_0110_5^5 + 19368771593/2842447568*c_0101_6*c_0110_5^4 + 101100640819/4263671352*c_0101_6*c_0110_5^3 - 16824260963/1065917838*c_0101_6*c_0110_5^2 - 10650253051/1065917838*c_0101_6*c_0110_5 + 1440184528/177652973*c_0101_6, c_0101_6^2 - 24164603/136437483264*c_0110_5^12 - 22547737/17054685408*c_0110_5^11 + 24614159/34109370816*c_0110_5^10 + 185897801/11369790272*c_0110_5^9 + 9486097547/136437483264*c_0110_5^8 - 3112013953/34109370816*c_0110_5^7 - 19816108889/34109370816*c_0110_5^6 + 878859399/5684895136*c_0110_5^5 + 290402201/710611892*c_0110_5^4 - 310065265/1421223784*c_0110_5^3 - 373169161/1065917838*c_0110_5^2 + 97277867/355305946*c_0110_5 + 39722059/532958919, c_0110_5^13 - 8*c_0110_5^11 - 52*c_0110_5^10 + 31*c_0110_5^9 + 596*c_0110_5^8 - 288*c_0110_5^7 - 1688*c_0110_5^6 + 1712*c_0110_5^5 + 1760*c_0110_5^4 - 2944*c_0110_5^3 + 128*c_0110_5^2 + 1280*c_0110_5 - 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB