Magma V2.19-8 Tue Aug 20 2013 16:17:37 on localhost [Seed = 2715827527] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1850 geometric_solution 5.49357116 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 -1 0 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 -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.467779509859 0.593001125405 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 -1 0 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 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.746638083821 0.881147097572 3 0 4 1 3201 0132 3201 3012 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 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.746638083821 0.881147097572 3 1 3 2 2310 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.247933604462 0.964938982601 2 5 1 5 2310 0132 0132 1023 0 0 0 0 0 0 -1 1 0 0 1 -1 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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.869636167922 0.478481600084 6 4 6 4 0132 0132 2310 1023 0 0 0 0 0 0 -1 1 0 0 1 -1 -1 0 0 1 1 -1 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.826381555650 0.469007699322 5 5 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 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.516166874380 0.212117308814 ==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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : d['c_0011_4'], '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_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_4'], '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' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0011_4'], '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_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 614868272438020/3882206452121*c_0101_5*c_0101_6^16 + 3507902586564300/3882206452121*c_0101_5*c_0101_6^15 + 4134041661268650/3882206452121*c_0101_5*c_0101_6^14 - 4475872062610434/3882206452121*c_0101_5*c_0101_6^13 + 1408454945173112/3882206452121*c_0101_5*c_0101_6^12 + 17765530060391511/3882206452121*c_0101_5*c_0101_6^11 - 24949064782800440/3882206452121*c_0101_5*c_0101_6^10 - 45852789079511763/3882206452121*c_0101_5*c_0101_6^9 + 37937930663335575/3882206452121*c_0101_5*c_0101_6^8 + 49118738445116939/3882206452121*c_0101_5*c_0101_6^7 - 9899019520086295/3882206452121*c_0101_5*c_0101_6^6 - 12959155213200469/3882206452121*c_0101_5*c_0101_6^5 - 15750217282777485/3882206452121*c_0101_5*c_0101_6^4 - 12312788582072643/3882206452121*c_0101_5*c_0101_6^3 + 1853066114896176/3882206452121*c_0101_5*c_0101_6^2 - 784112823387553/3882206452121*c_0101_5*c_0101_6 - 1493184403553389/3882206452121*c_0101_5, c_0011_0 - 1, c_0011_4 - 1398386721000/3882206452121*c_0101_5*c_0101_6^16 - 7445031029244/3882206452121*c_0101_5*c_0101_6^15 - 6861637192302/3882206452121*c_0101_5*c_0101_6^14 + 11900583074782/3882206452121*c_0101_5*c_0101_6^13 - 6255074641976/3882206452121*c_0101_5*c_0101_6^12 - 35646399543787/3882206452121*c_0101_5*c_0101_6^11 + 61111737217711/3882206452121*c_0101_5*c_0101_6^10 + 83419775426905/3882206452121*c_0101_5*c_0101_6^9 - 94318825544722/3882206452121*c_0101_5*c_0101_6^8 - 104114201066929/3882206452121*c_0101_5*c_0101_6^7 + 41677810696706/3882206452121*c_0101_5*c_0101_6^6 + 63259776059098/3882206452121*c_0101_5*c_0101_6^5 + 6365453474112/3882206452121*c_0101_5*c_0101_6^4 + 3040146788598/3882206452121*c_0101_5*c_0101_6^3 - 933780288951/3882206452121*c_0101_5*c_0101_6^2 - 4921008809133/3882206452121*c_0101_5*c_0101_6 + 11608502785637/3882206452121*c_0101_5, c_0101_0 + 5152804011328/3882206452121*c_0101_6^16 + 25413523102752/3882206452121*c_0101_6^15 + 14137037764502/3882206452121*c_0101_6^14 - 53520922093600/3882206452121*c_0101_6^13 + 46596116873906/3882206452121*c_0101_6^12 + 118649043996015/3882206452121*c_0101_6^11 - 302312802433332/3882206452121*c_0101_6^10 - 178574243272961/3882206452121*c_0101_6^9 + 490018722329424/3882206452121*c_0101_6^8 + 105280698260216/3882206452121*c_0101_6^7 - 220504642656244/3882206452121*c_0101_6^6 - 9542805733136/3882206452121*c_0101_6^5 - 101097107356129/3882206452121*c_0101_6^4 - 16464708109746/3882206452121*c_0101_6^3 + 42654155704169/3882206452121*c_0101_6^2 - 14575684645242/3882206452121*c_0101_6 + 950339058600/3882206452121, c_0101_1 + 2239125014740/3882206452121*c_0101_6^16 + 11055701006682/3882206452121*c_0101_6^15 + 6074308239644/3882206452121*c_0101_6^14 - 24192348310272/3882206452121*c_0101_6^13 + 18134221250955/3882206452121*c_0101_6^12 + 51892459792864/3882206452121*c_0101_6^11 - 129262997970441/3882206452121*c_0101_6^10 - 83085156196215/3882206452121*c_0101_6^9 + 212917739118635/3882206452121*c_0101_6^8 + 65993202198931/3882206452121*c_0101_6^7 - 90099548599862/3882206452121*c_0101_6^6 - 31465317020426/3882206452121*c_0101_6^5 - 62395628997529/3882206452121*c_0101_6^4 + 12040976859236/3882206452121*c_0101_6^3 + 33463220624676/3882206452121*c_0101_6^2 - 10381733585274/3882206452121*c_0101_6 + 1229907225301/3882206452121, c_0101_2 + 1900678117200/3882206452121*c_0101_5*c_0101_6^16 + 12114999478914/3882206452121*c_0101_5*c_0101_6^15 + 19110575770058/3882206452121*c_0101_5*c_0101_6^14 - 10800919282376/3882206452121*c_0101_5*c_0101_6^13 - 11849649404741/3882206452121*c_0101_5*c_0101_6^12 + 65968006683551/3882206452121*c_0101_5*c_0101_6^11 - 39610597698286/3882206452121*c_0101_5*c_0101_6^10 - 226031799035625/3882206452121*c_0101_5*c_0101_6^9 + 62028595493123/3882206452121*c_0101_5*c_0101_6^8 + 317460356157692/3882206452121*c_0101_5*c_0101_6^7 - 5334792673287/3882206452121*c_0101_5*c_0101_6^6 - 151155987471051/3882206452121*c_0101_5*c_0101_6^5 - 39167036908627/3882206452121*c_0101_5*c_0101_6^4 - 56010978628190/3882206452121*c_0101_5*c_0101_6^3 + 12178250569020/3882206452121*c_0101_5*c_0101_6^2 + 25486582752251/3882206452121*c_0101_5*c_0101_6 - 20364173423847/3882206452121*c_0101_5, c_0101_5^2 - 878575843638/3882206452121*c_0101_6^16 - 3777937343452/3882206452121*c_0101_6^15 + 306378240074/3882206452121*c_0101_6^14 + 10556690262833/3882206452121*c_0101_6^13 - 14109648028914/3882206452121*c_0101_6^12 - 16345181500723/3882206452121*c_0101_6^11 + 65199307907732/3882206452121*c_0101_6^10 + 1110120175064/3882206452121*c_0101_6^9 - 109441177511449/3882206452121*c_0101_6^8 + 35339606306022/3882206452121*c_0101_6^7 + 71148243264471/3882206452121*c_0101_6^6 - 38187058460222/3882206452121*c_0101_6^5 - 11023007113227/3882206452121*c_0101_6^4 + 13256716758260/3882206452121*c_0101_6^3 - 3837500709729/3882206452121*c_0101_6^2 - 652834412500/3882206452121*c_0101_6 + 248732807293/3882206452121, c_0101_6^17 + 5*c_0101_6^16 + 3*c_0101_6^15 - 21/2*c_0101_6^14 + 17/2*c_0101_6^13 + 49/2*c_0101_6^12 - 117/2*c_0101_6^11 - 39*c_0101_6^10 + 98*c_0101_6^9 + 49/2*c_0101_6^8 - 95/2*c_0101_6^7 - 3/2*c_0101_6^6 - 39/2*c_0101_6^5 - 3*c_0101_6^4 + 10*c_0101_6^3 - 5*c_0101_6^2 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB