Magma V2.19-8 Tue Aug 20 2013 16:14:09 on localhost [Seed = 3103335582] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s102 geometric_solution 3.95521855 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.594660499940 0.130029468893 0 2 2 0 3201 0132 1023 0132 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 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 1.429913907636 0.333387700549 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 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 -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.233548739023 0.887059973321 2 4 4 5 0132 2310 3201 0132 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 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.007219173347 0.586952103869 3 5 2 3 2310 1023 0132 3201 0 0 0 0 0 0 1 -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 -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.007219173347 0.586952103869 4 5 3 5 1023 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.468666273009 0.929276981529 ==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_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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 89886269501846/3668734265245*c_0101_3^12 - 651601427386461/3668734265245*c_0101_3^11 - 1061789658184384/3668734265245*c_0101_3^10 - 2788275149993574/3668734265245*c_0101_3^9 - 501342178915121/524104895035*c_0101_3^8 + 1761717900534247/3668734265245*c_0101_3^7 - 143646987549692/3668734265245*c_0101_3^6 + 8796089994708542/3668734265245*c_0101_3^5 + 1154450153138077/3668734265245*c_0101_3^4 - 3953418074755874/3668734265245*c_0101_3^3 + 601692476754049/3668734265245*c_0101_3^2 - 672142027000929/3668734265245*c_0101_3 - 444211549162639/3668734265245, c_0011_0 - 1, c_0011_1 + 360305819/1476351817*c_0101_3^12 + 2797881967/1476351817*c_0101_3^11 + 5679428909/1476351817*c_0101_3^10 + 14007924021/1476351817*c_0101_3^9 + 21447232072/1476351817*c_0101_3^8 + 4213882145/1476351817*c_0101_3^7 + 4151613018/1476351817*c_0101_3^6 - 29217064988/1476351817*c_0101_3^5 - 17777034596/1476351817*c_0101_3^4 + 10557570323/1476351817*c_0101_3^3 - 486586140/1476351817*c_0101_3^2 - 366711894/1476351817*c_0101_3 + 997644922/1476351817, c_0011_4 + 7269111683/104820979007*c_0101_3^12 + 46622800994/104820979007*c_0101_3^11 + 40033061428/104820979007*c_0101_3^10 + 137806733842/104820979007*c_0101_3^9 + 51756676363/104820979007*c_0101_3^8 - 484472700423/104820979007*c_0101_3^7 - 58385880259/104820979007*c_0101_3^6 - 867257102901/104820979007*c_0101_3^5 + 432362547291/104820979007*c_0101_3^4 + 571064055848/104820979007*c_0101_3^3 - 78371366902/104820979007*c_0101_3^2 + 136774429346/104820979007*c_0101_3 - 22108112072/104820979007, c_0101_0 + 783055997/104820979007*c_0101_3^12 + 5980258069/104820979007*c_0101_3^11 + 5104506814/104820979007*c_0101_3^10 - 19826676229/104820979007*c_0101_3^9 - 51321406158/104820979007*c_0101_3^8 - 253876266517/104820979007*c_0101_3^7 - 383535463689/104820979007*c_0101_3^6 - 202467920251/104820979007*c_0101_3^5 - 324626740182/104820979007*c_0101_3^4 + 478748653669/104820979007*c_0101_3^3 + 126730217492/104820979007*c_0101_3^2 - 10487912558/104820979007*c_0101_3 + 127602614812/104820979007, c_0101_2 + 5097275212/104820979007*c_0101_3^12 + 45285114007/104820979007*c_0101_3^11 + 124298003369/104820979007*c_0101_3^10 + 290086330903/104820979007*c_0101_3^9 + 554723251522/104820979007*c_0101_3^8 + 452207970337/104820979007*c_0101_3^7 + 278556491085/104820979007*c_0101_3^6 - 107182668656/104820979007*c_0101_3^5 - 688653608547/104820979007*c_0101_3^4 - 27293572944/104820979007*c_0101_3^3 - 187431655719/104820979007*c_0101_3^2 - 80286602382/104820979007*c_0101_3 + 73999820456/104820979007, c_0101_3^13 + 7*c_0101_3^12 + 10*c_0101_3^11 + 28*c_0101_3^10 + 31*c_0101_3^9 - 30*c_0101_3^8 + 5*c_0101_3^7 - 100*c_0101_3^6 + 11*c_0101_3^5 + 47*c_0101_3^4 - 15*c_0101_3^3 + 10*c_0101_3^2 + 3*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB