Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 1065264112] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0382 geometric_solution 4.44866402 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 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.381778225797 1.345013189111 0 4 2 3 0132 1302 1302 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.804698548089 0.688051363129 1 0 5 5 2031 0132 2310 0132 0 0 0 0 0 1 0 -1 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 -1 0 1 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 1.910802274768 1.998551456975 6 1 6 0 0132 1302 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.505500983756 0.352029227451 4 4 0 1 1230 3012 0132 2031 0 0 0 0 0 0 -1 1 1 0 0 -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 -1 1 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.824293550220 1.652525924865 5 2 2 5 3201 3201 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 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.552987060921 0.236358745429 3 6 3 6 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563565734268 0.076724808216 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : 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' : 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' : d['c_0011_3'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], '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_0101_2']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0011_4'])})} 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_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 42870233594168805513486404/566720995951353114511785*c_0101_3^15 + 256633503397159406755832059/566720995951353114511785*c_0101_3^14 + 917808812115516946273894963/566720995951353114511785*c_0101_3^13 + 482526930914608629870148207/113344199190270622902357*c_0101_3^12 + 4016648837704237790489980691/566720995951353114511785*c_0101_3^11 + 1223714176340099281452844732/188906998650451038170595*c_0101_3^10 + 97555816044595525497318997/37781399730090207634119*c_0101_3^9 + 713763451840135991486741548/188906998650451038170595*c_0101_3^8 - 3219906165675645536385717581/566720995951353114511785*c_0101_3^7 - 1798964910749260551023868673/566720995951353114511785*c_0101_3^6 + 259619620164816166560286082/20989666516716782018955*c_0101_3^5 - 60407259789182525209841641/62968999550150346056865*c_0101_3^4 - 2336477744307912817133996462/566720995951353114511785*c_0101_3^3 + 59864456998123918616123477/37781399730090207634119*c_0101_3^2 + 2962092276569633957339012/15316783674360894986805*c_0101_3 + 129236913880179015929258477/566720995951353114511785, c_0011_0 - 1, c_0011_3 - 192091832965826761228/2332185168524086890995*c_0101_3^15 - 1015618528370051623981/2332185168524086890995*c_0101_3^14 - 656947159092072632742/466437033704817378199*c_0101_3^13 - 1538846709665194564665/466437033704817378199*c_0101_3^12 - 9295144885707105131251/2332185168524086890995*c_0101_3^11 - 111087740599066651074/2332185168524086890995*c_0101_3^10 + 13900335837635994458008/2332185168524086890995*c_0101_3^9 + 9583579287808871967911/2332185168524086890995*c_0101_3^8 + 36689808711596873455984/2332185168524086890995*c_0101_3^7 + 9876688533173771798281/2332185168524086890995*c_0101_3^6 - 29107346057288692331194/2332185168524086890995*c_0101_3^5 + 3874678683767438501300/466437033704817378199*c_0101_3^4 + 1207449087158159791684/466437033704817378199*c_0101_3^3 - 1076680843052725827082/2332185168524086890995*c_0101_3^2 + 157178098503200240512/63032031581732078135*c_0101_3 - 1785002608950896382693/2332185168524086890995, c_0011_4 - 30412783606382424144/2332185168524086890995*c_0101_3^15 - 33894126750569931664/466437033704817378199*c_0101_3^14 - 484131965114194549063/2332185168524086890995*c_0101_3^13 - 888175450140408991096/2332185168524086890995*c_0101_3^12 - 122778956070191766017/2332185168524086890995*c_0101_3^11 + 3942283243947671676033/2332185168524086890995*c_0101_3^10 + 9146780773459948296281/2332185168524086890995*c_0101_3^9 + 7503408729707966142879/2332185168524086890995*c_0101_3^8 + 1137786227465145985443/466437033704817378199*c_0101_3^7 + 1561972460601805464456/2332185168524086890995*c_0101_3^6 - 17827081030408098578327/2332185168524086890995*c_0101_3^5 - 5928086341235378893312/2332185168524086890995*c_0101_3^4 + 8526006820600103467046/2332185168524086890995*c_0101_3^3 - 1175902093666103620233/2332185168524086890995*c_0101_3^2 - 8315231377179664573/12606406316346415627*c_0101_3 - 1833778506722130039854/2332185168524086890995, c_0011_5 + 509494690784784699848/2332185168524086890995*c_0101_3^15 + 3268707049643012752562/2332185168524086890995*c_0101_3^14 + 12370167196129015432411/2332185168524086890995*c_0101_3^13 + 34257485592424239804938/2332185168524086890995*c_0101_3^12 + 12651471790705349133223/466437033704817378199*c_0101_3^11 + 72509585036113122396543/2332185168524086890995*c_0101_3^10 + 9963787836261170518190/466437033704817378199*c_0101_3^9 + 8953057805501861997244/466437033704817378199*c_0101_3^8 - 24518532837371592430557/2332185168524086890995*c_0101_3^7 - 34951134143487292834051/2332185168524086890995*c_0101_3^6 + 54625961960502777960391/2332185168524086890995*c_0101_3^5 + 17372358508186708933348/2332185168524086890995*c_0101_3^4 - 14486395504405008156343/2332185168524086890995*c_0101_3^3 - 5506007559621160020274/2332185168524086890995*c_0101_3^2 + 51929572866106165137/63032031581732078135*c_0101_3 + 1534667952727352667017/2332185168524086890995, c_0101_0 + 107272273933718655888/2332185168524086890995*c_0101_3^15 + 662020975572988309284/2332185168524086890995*c_0101_3^14 + 2463987483667243772594/2332185168524086890995*c_0101_3^13 + 6804184777973912708149/2332185168524086890995*c_0101_3^12 + 12613429074364540478137/2332185168524086890995*c_0101_3^11 + 15486987783889742166861/2332185168524086890995*c_0101_3^10 + 15072986655903503607092/2332185168524086890995*c_0101_3^9 + 21218546509333814012437/2332185168524086890995*c_0101_3^8 + 10194648737973297231523/2332185168524086890995*c_0101_3^7 + 10720547866644195273553/2332185168524086890995*c_0101_3^6 + 4832144139898487902489/466437033704817378199*c_0101_3^5 + 4421609574552308410367/2332185168524086890995*c_0101_3^4 - 1132720050958610089840/466437033704817378199*c_0101_3^3 + 5026472972867338665127/2332185168524086890995*c_0101_3^2 + 172745317676035530252/63032031581732078135*c_0101_3 - 987513010247677751964/2332185168524086890995, c_0101_2 + 691717976332336740468/2332185168524086890995*c_0101_3^15 + 4161403618300759238387/2332185168524086890995*c_0101_3^14 + 15057338723491470964382/2332185168524086890995*c_0101_3^13 + 40116486534362275172108/2332185168524086890995*c_0101_3^12 + 68641550294973960101544/2332185168524086890995*c_0101_3^11 + 68169019690760099597168/2332185168524086890995*c_0101_3^10 + 36910299989179710456251/2332185168524086890995*c_0101_3^9 + 9064992804912770042290/466437033704817378199*c_0101_3^8 - 48470712970715375577781/2332185168524086890995*c_0101_3^7 - 27996280277087469477987/2332185168524086890995*c_0101_3^6 + 97972924183281740869656/2332185168524086890995*c_0101_3^5 - 14370718808329123339139/2332185168524086890995*c_0101_3^4 - 21965070387624521095364/2332185168524086890995*c_0101_3^3 + 9869696428911264075389/2332185168524086890995*c_0101_3^2 - 82236162841571012016/63032031581732078135*c_0101_3 + 1523117425797306063093/2332185168524086890995, c_0101_3^16 + 23/4*c_0101_3^15 + 20*c_0101_3^14 + 205/4*c_0101_3^13 + 161/2*c_0101_3^12 + 255/4*c_0101_3^11 + 57/4*c_0101_3^10 + 42*c_0101_3^9 - 349/4*c_0101_3^8 - 49/2*c_0101_3^7 + 345/2*c_0101_3^6 - 207/4*c_0101_3^5 - 101/2*c_0101_3^4 + 135/4*c_0101_3^3 - 11/4*c_0101_3^2 + 5/2*c_0101_3 - 3/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB