Magma V2.19-8 Tue Aug 20 2013 16:14:45 on localhost [Seed = 3347471265] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s742 geometric_solution 5.26964611 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482162177887 0.274505703026 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.951530739368 0.617227922344 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 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 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 1.008974242635 0.931335621194 5 2 4 1 1023 1230 0132 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 1 0 -1 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.008974242635 0.931335621194 4 2 4 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 -1 1 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.376807043499 0.771302344953 5 3 2 5 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.007608926032 0.862016781860 ==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' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_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_5' : d['c_0101_1'], '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_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 10846045683909529531104601397/455985101469508251703096223*c_0101_3^\ 20 + 213064749119684964299147733/65140728781358321671870889*c_0101_\ 3^19 + 161291398399860085738297149668/455985101469508251703096223*c\ _0101_3^18 + 10498599857073749972711797402/455985101469508251703096\ 223*c_0101_3^17 - 851370021273582163837591724480/455985101469508251\ 703096223*c_0101_3^16 - 152564244797337159818747947893/455985101469\ 508251703096223*c_0101_3^15 + 2183310171527288553850740522720/45598\ 5101469508251703096223*c_0101_3^14 + 852515573954952800394436085658/455985101469508251703096223*c_0101_3\ ^13 - 3500064880738768639889863687505/455985101469508251703096223*c\ _0101_3^12 - 10974100226525491620134149354/210131383165672005393131\ 9*c_0101_3^11 + 4467246559696754589774043282142/4559851014695082517\ 03096223*c_0101_3^10 + 5103899965952326771287920183416/455985101469\ 508251703096223*c_0101_3^9 - 5627355669034176834429172774577/455985\ 101469508251703096223*c_0101_3^8 - 9393359612962277356056362337974/455985101469508251703096223*c_0101_\ 3^7 + 11019001998752729055081467585119/455985101469508251703096223*\ c_0101_3^6 + 5519997803802368904825089863171/4559851014695082517030\ 96223*c_0101_3^5 - 10672144236164393881048196068577/455985101469508\ 251703096223*c_0101_3^4 + 2487406383609899384722915821717/455985101\ 469508251703096223*c_0101_3^3 + 1661389126441452736364717182836/455\ 985101469508251703096223*c_0101_3^2 - 714976117891781323191527500564/455985101469508251703096223*c_0101_3 + 15893007064004449388956118574/455985101469508251703096223, c_0011_0 - 1, c_0011_1 + 4659399159724372919150751/65140728781358321671870889*c_0101_\ 3^20 + 5206912815964950759057702/65140728781358321671870889*c_0101_\ 3^19 - 66252086171818025018947086/65140728781358321671870889*c_0101\ _3^18 - 89407972420952301933335602/65140728781358321671870889*c_010\ 1_3^17 + 304227843875199038994021695/65140728781358321671870889*c_0\ 101_3^16 + 483012869316056331589613827/65140728781358321671870889*c\ _0101_3^15 - 580556695594360653271836982/65140728781358321671870889\ *c_0101_3^14 - 1301150825802544151782251309/65140728781358321671870\ 889*c_0101_3^13 + 427045578450838726454679204/651407287813583216718\ 70889*c_0101_3^12 + 70263847763431828585258758/21013138316567200539\ 31319*c_0101_3^11 + 123964153129558731249590978/6514072878135832167\ 1870889*c_0101_3^10 - 3208114567231398228805997298/6514072878135832\ 1671870889*c_0101_3^9 - 984352945840427699564271107/651407287813583\ 21671870889*c_0101_3^8 + 4755471260757386364029882185/6514072878135\ 8321671870889*c_0101_3^7 + 739956877302524782505816698/651407287813\ 58321671870889*c_0101_3^6 - 4604670955398839109976274299/6514072878\ 1358321671870889*c_0101_3^5 + 267605769478626135589174202/651407287\ 81358321671870889*c_0101_3^4 + 1701841547493513453807421645/6514072\ 8781358321671870889*c_0101_3^3 - 359251502781496128857523407/651407\ 28781358321671870889*c_0101_3^2 - 194032534717775989322242084/65140\ 728781358321671870889*c_0101_3 + 78818614426742210230491914/6514072\ 8781358321671870889, c_0011_3 + 7920899949367918735326792/65140728781358321671870889*c_0101_\ 3^20 + 2058842552654698554270660/65140728781358321671870889*c_0101_\ 3^19 - 116814063522953254666200371/65140728781358321671870889*c_010\ 1_3^18 - 53822551310563627413166008/65140728781358321671870889*c_01\ 01_3^17 + 598615567098456192252251649/65140728781358321671870889*c_\ 0101_3^16 + 345147338034435516642015439/65140728781358321671870889*\ c_0101_3^15 - 1454379106217704261338861965/651407287813583216718708\ 89*c_0101_3^14 - 1182365980431665578740412101/651407287813583216718\ 70889*c_0101_3^13 + 2101412812809914655226818070/651407287813583216\ 71870889*c_0101_3^12 + 82081741306870945621971578/21013138316567200\ 53931319*c_0101_3^11 - 2306916786647074385453011416/651407287813583\ 21671870889*c_0101_3^10 - 4638046952968949413098196215/651407287813\ 58321671870889*c_0101_3^9 + 2342784680466287775410818175/6514072878\ 1358321671870889*c_0101_3^8 + 7807943098363573831208496678/65140728\ 781358321671870889*c_0101_3^7 - 5040120490577073821739442156/651407\ 28781358321671870889*c_0101_3^6 - 6069806137190386399009813626/6514\ 0728781358321671870889*c_0101_3^5 + 5481162411120616412015312180/65140728781358321671870889*c_0101_3^4 + 480577998617084565690538477/65140728781358321671870889*c_0101_3^3 - 1164095886279244006373912608/65140728781358321671870889*c_0101_3^2 + 27783114827471564299799662/65140728781358321671870889*c_0101_3 + 33902702493569415575749264/65140728781358321671870889, c_0101_0 - 1967151133687171079691334/65140728781358321671870889*c_0101_\ 3^20 + 4312330790468651606178152/65140728781358321671870889*c_0101_\ 3^19 + 31483264531823902002502273/65140728781358321671870889*c_0101\ _3^18 - 56205455186640217385447056/65140728781358321671870889*c_010\ 1_3^17 - 198248901424617675177014888/65140728781358321671870889*c_0\ 101_3^16 + 252834380641863910617832269/65140728781358321671870889*c\ _0101_3^15 + 643116274974180297264342794/65140728781358321671870889\ *c_0101_3^14 - 457136116748841100236900244/651407287813583216718708\ 89*c_0101_3^13 - 1356518202605148008233483263/651407287813583216718\ 70889*c_0101_3^12 + 9835973272065504841215455/210131383165672005393\ 1319*c_0101_3^11 + 2150625616253434841307507179/6514072878135832167\ 1870889*c_0101_3^10 + 280017752528648718228280971/65140728781358321\ 671870889*c_0101_3^9 - 3257574034273058987627041343/651407287813583\ 21671870889*c_0101_3^8 - 1256785966427824141651266740/6514072878135\ 8321671870889*c_0101_3^7 + 5597414145911648808410682129/65140728781\ 358321671870889*c_0101_3^6 - 513973348158208896827523361/6514072878\ 1358321671870889*c_0101_3^5 - 4662414550636310605642897730/65140728\ 781358321671870889*c_0101_3^4 + 2283195897829344652735112317/651407\ 28781358321671870889*c_0101_3^3 + 433065362546433891022730480/65140\ 728781358321671870889*c_0101_3^2 - 449403489744467597452404330/65140728781358321671870889*c_0101_3 + 19940587992721213946699898/65140728781358321671870889, c_0101_1 - 4430298646261402366497260/65140728781358321671870889*c_0101_\ 3^20 - 7539572022160858503891777/65140728781358321671870889*c_0101_\ 3^19 + 60849983725236136851096877/65140728781358321671870889*c_0101\ _3^18 + 121992721793496559796058297/65140728781358321671870889*c_01\ 01_3^17 - 250569498937242768564842061/65140728781358321671870889*c_\ 0101_3^16 - 632804761646152240140406861/65140728781358321671870889*\ c_0101_3^15 + 339421083274048589842319563/6514072878135832167187088\ 9*c_0101_3^14 + 1587245832068063608165008351/6514072878135832167187\ 0889*c_0101_3^13 + 182008383824609034435473563/65140728781358321671\ 870889*c_0101_3^12 - 77443324998783210949774440/2101313831656720053\ 931319*c_0101_3^11 - 1129451372576978328064392536/65140728781358321\ 671870889*c_0101_3^10 + 3185620825764154571652286786/65140728781358\ 321671870889*c_0101_3^9 + 2485874516354708564301838245/651407287813\ 58321671870889*c_0101_3^8 - 4369206834865537831857414619/6514072878\ 1358321671870889*c_0101_3^7 - 3102448779171698232667967754/65140728\ 781358321671870889*c_0101_3^6 + 4639448561260683986906695763/651407\ 28781358321671870889*c_0101_3^5 + 1779622469452519646269636448/6514\ 0728781358321671870889*c_0101_3^4 - 2213022221848354048349369500/65140728781358321671870889*c_0101_3^3 - 43583957092638612912055124/65140728781358321671870889*c_0101_3^2 + 274671266318632179304476699/65140728781358321671870889*c_0101_3 - 17606763453921651178573638/65140728781358321671870889, c_0101_3^21 - 15*c_0101_3^19 - 3*c_0101_3^18 + 80*c_0101_3^17 + 25*c_0101_3^16 - 208*c_0101_3^15 - 108*c_0101_3^14 + 334*c_0101_3^13 + 273*c_0101_3^12 - 417*c_0101_3^11 - 552*c_0101_3^10 + 499*c_0101_3^9 + 990*c_0101_3^8 - 953*c_0101_3^7 - 745*c_0101_3^6 + 1024*c_0101_3^5 - 36*c_0101_3^4 - 292*c_0101_3^3 + 68*c_0101_3^2 + 25*c_0101_3 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB