Magma V2.19-8 Tue Aug 20 2013 16:17:59 on localhost [Seed = 3953817389] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2220 geometric_solution 5.66354739 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 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.327420862847 0.257112826930 2 0 3 0 0132 2310 0132 0132 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 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 0.783373860051 1.226417896257 1 4 5 3 0132 0132 0132 1230 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 -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.835090896834 0.857563849930 2 5 4 1 3012 1023 0132 0132 0 0 0 0 0 0 0 0 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 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.835090896834 0.857563849930 4 2 4 3 2031 0132 1302 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.556725755995 0.409841318408 3 6 6 2 1023 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.851602076933 0.516950521978 5 5 6 6 2310 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 0 0 0 0 0 0 0 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.583865703021 0.446057947337 ==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' : negation(d['c_0101_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 34850093190888608980323412/364286883818932183909*c_0101_6^33 + 1178436376391965475086242871/364286883818932183909*c_0101_6^31 - 18007928039905747309472572768/364286883818932183909*c_0101_6^29 + 2397955093345025890833649440/5437117668939286327*c_0101_6^27 - 902218351825060645816669326080/364286883818932183909*c_0101_6^25 + 43201827662050849947969270011/4611226377454837771*c_0101_6^23 - 9090885588809653091052898617317/364286883818932183909*c_0101_6^21 + 17497532069245678599901981957535/364286883818932183909*c_0101_6^19 - 24612820793396101092113085168009/364286883818932183909*c_0101_6^17 + 25242403647991371153320760691270/364286883818932183909*c_0101_6^15 - 18583916770560756291863320339127/364286883818932183909*c_0101_6^13 + 9552083772669510983600602301088/364286883818932183909*c_0101_6^11 - 3294573308557392653423026177735/364286883818932183909*c_0101_6^9 + 724426449965911738318163690019/364286883818932183909*c_0101_6^7 - 95229685475867937297621895917/364286883818932183909*c_0101_6^5 + 6685929601019661935905474171/364286883818932183909*c_0101_6^3 - 187614967795493363058647957/364286883818932183909*c_0101_6, c_0011_0 - 1, c_0011_1 + 30503261063016961964128/364286883818932183909*c_0101_6^32 - 1031060619745633480534676/364286883818932183909*c_0101_6^30 + 15748741962880212348827536/364286883818932183909*c_0101_6^28 - 2095911757440282874660858/5437117668939286327*c_0101_6^26 + 787947519552275985380254110/364286883818932183909*c_0101_6^24 - 37692113724270255795543088/4611226377454837771*c_0101_6^22 + 7921622818907427488115923370/364286883818932183909*c_0101_6^20 - 15223562972962021512240557580/364286883818932183909*c_0101_6^18 + 21372816227129645453662376308/364286883818932183909*c_0101_6^16 - 21864892734611342086395309205/364286883818932183909*c_0101_6^14 + 16043810727774213099081931649/364286883818932183909*c_0101_6^12 - 8208934557298654718048334640/364286883818932183909*c_0101_6^10 + 2813504787398623121788282837/364286883818932183909*c_0101_6^8 - 613429577548462455782384764/364286883818932183909*c_0101_6^6 + 79823587813332733972704976/364286883818932183909*c_0101_6^4 - 5545579983448963226458201/364286883818932183909*c_0101_6^2 + 154534658057180698897495/364286883818932183909, c_0011_3 - 59596217993994875880868/364286883818932183909*c_0101_6^32 + 2015009060165739059856652/364286883818932183909*c_0101_6^30 - 30787583223382189303811709/364286883818932183909*c_0101_6^28 + 4098909421167516408908708/5437117668939286327*c_0101_6^26 - 1541725476090802437068803543/364286883818932183909*c_0101_6^24 + 73790702681636897338689518/4611226377454837771*c_0101_6^22 - 15517582943246839507480172808/364286883818932183909*c_0101_6^20 + 29839637589481484493779320444/364286883818932183909*c_0101_6^18 - 41918491924856515248352370707/364286883818932183909*c_0101_6^16 + 42908709357051654863468057405/364286883818932183909*c_0101_6^14 - 31500816439488997524178709031/364286883818932183909*c_0101_6^12 + 16122373165255454004594864998/364286883818932183909*c_0101_6^10 - 5525356357910426755383366995/364286883818932183909*c_0101_6^8 + 1204033297056986466768305884/364286883818932183909*c_0101_6^6 - 156535921481689776086986941/364286883818932183909*c_0101_6^4 + 10864157868043559680421687/364286883818932183909*c_0101_6^2 - 302063030027961908405307/364286883818932183909, c_0101_0 + 117572486067061682567299/364286883818932183909*c_0101_6^33 - 3978197928294282224033535/364286883818932183909*c_0101_6^31 + 60838413792605987519415041/364286883818932183909*c_0101_6^29 - 8109306710047975692440877/5437117668939286327*c_0101_6^27 + 3055279268695936240897147496/364286883818932183909*c_0101_6^25 - 146555256955315460799846717/4611226377454837771*c_0101_6^23 + 30906716079932515090338019720/364286883818932183909*c_0101_6^21 - 59649191120189456858362893926/364286883818932183909*c_0101_6^19 + 84193970374649185413294755768/364286883818932183909*c_0101_6^17 - 86732870837799619292169293225/364286883818932183909*c_0101_6^15 + 64234839033037488615592084575/364286883818932183909*c_0101_6^13 - 33284897621242926898599843956/364286883818932183909*c_0101_6^11 + 11607532382705726093014802104/364286883818932183909*c_0101_6^9 - 2589421749801134856490340346/364286883818932183909*c_0101_6^7 + 346138250578113625741999451/364286883818932183909*c_0101_6^5 - 24727962085274625342682422/364286883818932183909*c_0101_6^3 + 705396052800361061315279/364286883818932183909*c_0101_6, c_0101_3 - 149380076291596173385449/364286883818932183909*c_0101_6^33 + 5048329529182123855206675/364286883818932183909*c_0101_6^31 - 77092709662896634798867231/364286883818932183909*c_0101_6^29 + 10257034925866894124427943/5437117668939286327*c_0101_6^27 - 3854682244964551280058111770/364286883818932183909*c_0101_6^25 + 184313182480923344836286390/4611226377454837771*c_0101_6^23 - 38717770257133040286953951138/364286883818932183909*c_0101_6^21 + 74367020851514680590055268457/364286883818932183909*c_0101_6^19 - 104345191910613417243769604891/364286883818932183909*c_0101_6^17 + 106680174959490446032465494539/364286883818932183909*c_0101_6^15 - 78226551115378890942687544979/364286883818932183909*c_0101_6^13 + 39998795781463473522136327525/364286883818932183909*c_0101_6^11 - 13700906923416170727515913612/364286883818932183909*c_0101_6^9 + 2985444934645519947971798515/364286883818932183909*c_0101_6^7 - 388052137241576436509474990/364286883818932183909*c_0101_6^5 + 26887976505701094417593372/364286883818932183909*c_0101_6^3 - 743975583180359036277708/364286883818932183909*c_0101_6, c_0101_5 + 29296348130796969445800/364286883818932183909*c_0101_6^32 - 990946945860704422292122/364286883818932183909*c_0101_6^30 + 15148751483298746043463725/364286883818932183909*c_0101_6^28 - 2018277338268445982718982/5437117668939286327*c_0101_6^26 + 759946254256752116779269929/364286883818932183909*c_0101_6^24 - 36427247403941185503280174/4611226377454837771*c_0101_6^22 + 7676006290503615746080160539/364286883818932183909*c_0101_6^20 - 14801711865927040013325796489/364286883818932183909*c_0101_6^18 + 20872766814261818969344261126/364286883818932183909*c_0101_6^16 - 21480081734801213480238421117/364286883818932183909*c_0101_6^14 + 15890396150190596703850685799/364286883818932183909*c_0101_6^12 - 8224089429115600768833890926/364286883818932183909*c_0101_6^10 + 2864400037277655028600394264/364286883818932183909*c_0101_6^8 - 638184645068780751453515955/364286883818932183909*c_0101_6^6 + 85205060008599135904845181/364286883818932183909*c_0101_6^4 - 6076148493003239168416424/364286883818932183909*c_0101_6^2 + 172629491798637508418494/364286883818932183909, c_0101_6^34 - 34*c_0101_6^32 + 523*c_0101_6^30 - 4706*c_0101_6^28 + 26744*c_0101_6^26 - 102736*c_0101_6^24 + 279029*c_0101_6^22 - 550484*c_0101_6^20 + 799413*c_0101_6^18 - 855363*c_0101_6^16 + 667654*c_0101_6^14 - 373039*c_0101_6^12 + 145395*c_0101_6^10 - 38329*c_0101_6^8 + 6590*c_0101_6^6 - 699*c_0101_6^4 + 41*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB