Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 644332229] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0634 geometric_solution 4.62616167 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 1.906059814290 0.509147665546 0 2 3 0 0132 0132 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 1 0 -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.420075215077 0.884298996066 3 1 4 3 2310 0132 0132 3201 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 1 0 -1 1 0 0 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.223897056126 0.691892580323 4 2 2 1 1023 2310 3201 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 -1 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.223897056126 0.691892580323 5 3 5 2 0132 1023 2310 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.848561371387 1.621284964379 4 4 6 6 0132 3201 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.148606914496 0.275208114184 6 5 6 5 2031 2310 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 -2.351576703683 2.961360159367 ==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' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], '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_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 9880516904919191663098959502539701296826786/46982417733421018790885\ 4844155625812583045*c_0101_4^19 + 144969644259849027897819864733392\ 354434049/469824177334210187908854844155625812583045*c_0101_4^18 - 6332739950045668163520426666781390490947162/42711288848564562537168\ 622195965982962095*c_0101_4^17 - 6308797214844156648465324923799167\ 7377609267/469824177334210187908854844155625812583045*c_0101_4^16 + 34079192200585087331380103368068684116640174/4698241773342101879088\ 54844155625812583045*c_0101_4^15 + 647837986319669153205531333509999450758214997/469824177334210187908\ 854844155625812583045*c_0101_4^14 - 136903372947492065853437372784503658658730196/469824177334210187908\ 854844155625812583045*c_0101_4^13 - 1465194238157496818046142314644995532159644662/46982417733421018790\ 8854844155625812583045*c_0101_4^12 + 26581701228288534022499540180189376898779288/8542257769712912507433\ 724439193196592419*c_0101_4^11 + 6722242063043690459181689126118530\ 93985424523/469824177334210187908854844155625812583045*c_0101_4^10 - 1308895923863244363483187168719175283673736503/46982417733421018790\ 8854844155625812583045*c_0101_4^9 + 292825310680106911415661466721262542608569513/469824177334210187908\ 854844155625812583045*c_0101_4^8 - 449319441445531677351204111748327031234077697/469824177334210187908\ 854844155625812583045*c_0101_4^7 - 666922126742933936637561537117616061525817252/469824177334210187908\ 854844155625812583045*c_0101_4^6 + 685611649212139691881917236023072443826859348/469824177334210187908\ 854844155625812583045*c_0101_4^5 + 644882946259311810179390332100837023546131436/469824177334210187908\ 854844155625812583045*c_0101_4^4 - 69667027597279272102558732551175749320237556/4698241773342101879088\ 54844155625812583045*c_0101_4^3 - 194379122334129045505301397764503\ 434237617667/469824177334210187908854844155625812583045*c_0101_4^2 - 9903368198053784917358844627453566437081308/93964835466842037581770\ 968831125162516609*c_0101_4 - 3783442149905989618230709317541835893\ 133442/469824177334210187908854844155625812583045, c_0011_0 - 1, c_0011_3 + 10255796968791738191562785591021325908605/854225776971291250\ 7433724439193196592419*c_0101_4^19 + 5283214779590207218773873452421478674212/85422577697129125074337244\ 39193196592419*c_0101_4^18 - 67460489440122103784475875127143695271\ 480/8542257769712912507433724439193196592419*c_0101_4^17 - 97497605421779467135092971939771436470212/8542257769712912507433724\ 439193196592419*c_0101_4^16 - 2884739125525328967415938292855283090\ 3029/8542257769712912507433724439193196592419*c_0101_4^15 + 633363029801234702325766345614816003418824/854225776971291250743372\ 4439193196592419*c_0101_4^14 + 170798167190575593083510937565610884\ 934913/8542257769712912507433724439193196592419*c_0101_4^13 - 1295302850870793130187813068819215350795697/85422577697129125074337\ 24439193196592419*c_0101_4^12 + 94345904193294821973842442482404386\ 3641270/8542257769712912507433724439193196592419*c_0101_4^11 + 825060060787602607815550308081382668490665/854225776971291250743372\ 4439193196592419*c_0101_4^10 - 781750625831499744265369190079412060\ 004648/8542257769712912507433724439193196592419*c_0101_4^9 + 270446700819625547677022293513645125147115/854225776971291250743372\ 4439193196592419*c_0101_4^8 - 6593918891222269194316187297224826530\ 16944/8542257769712912507433724439193196592419*c_0101_4^7 - 943066829572873436497077444460511331839200/854225776971291250743372\ 4439193196592419*c_0101_4^6 + 1425394813124669342224338217552990134\ 27482/8542257769712912507433724439193196592419*c_0101_4^5 + 446206176129928135089867233775306605262200/854225776971291250743372\ 4439193196592419*c_0101_4^4 + 2467497361716201250135408996296590291\ 90819/8542257769712912507433724439193196592419*c_0101_4^3 + 43963553084625004053962586084677989257677/8542257769712912507433724\ 439193196592419*c_0101_4^2 + 20676118647235677355199074875502380709\ 020/8542257769712912507433724439193196592419*c_0101_4 + 5201562116661310620406516018623709706023/85422577697129125074337244\ 39193196592419, c_0011_6 - 8310455121985713928212816190992677037562/8542257769712912507\ 433724439193196592419*c_0101_4^19 - 4639636670689541091825813670415059978607/85422577697129125074337244\ 39193196592419*c_0101_4^18 + 55532150944932049861530225874784247284\ 655/8542257769712912507433724439193196592419*c_0101_4^17 + 81352068815400341735934917976225351363429/8542257769712912507433724\ 439193196592419*c_0101_4^16 + 2001576973449151728182755327935632148\ 2178/8542257769712912507433724439193196592419*c_0101_4^15 - 518670484347698606008206186157162181485995/854225776971291250743372\ 4439193196592419*c_0101_4^14 - 160967046971773018907795731166429230\ 379444/8542257769712912507433724439193196592419*c_0101_4^13 + 1107953514559496891938305341563213312290010/85422577697129125074337\ 24439193196592419*c_0101_4^12 - 73615343761011871286040174437486201\ 0195798/8542257769712912507433724439193196592419*c_0101_4^11 - 817249747836462150511608353120601195747953/854225776971291250743372\ 4439193196592419*c_0101_4^10 + 759321444011869852210709369164014108\ 177722/8542257769712912507433724439193196592419*c_0101_4^9 - 197985916009164444229239052439094588540771/854225776971291250743372\ 4439193196592419*c_0101_4^8 + 4698486090924496587293448435460098148\ 49504/8542257769712912507433724439193196592419*c_0101_4^7 + 834136975339830990402394263638837820609308/854225776971291250743372\ 4439193196592419*c_0101_4^6 - 1737998043001002002902048876162061013\ 04673/8542257769712912507433724439193196592419*c_0101_4^5 - 418400911369036105934928045237098556602564/854225776971291250743372\ 4439193196592419*c_0101_4^4 - 1798202564607955293358848785925460718\ 85280/8542257769712912507433724439193196592419*c_0101_4^3 - 22983229203624322843542722718205525154659/8542257769712912507433724\ 439193196592419*c_0101_4^2 - 13331213162896635461841136906725992485\ 656/8542257769712912507433724439193196592419*c_0101_4 - 3012716173537219259375456866649952287598/85422577697129125074337244\ 39193196592419, c_0101_0 + 47823113707225687005643805893425484211209/854225776971291250\ 7433724439193196592419*c_0101_4^19 + 35465689797385508460835305474650019137348/8542257769712912507433724\ 439193196592419*c_0101_4^18 - 3202255783134780073946879172924256338\ 62237/8542257769712912507433724439193196592419*c_0101_4^17 - 528726788007630962506473357523475834700299/854225776971291250743372\ 4439193196592419*c_0101_4^16 - 161314132214311316314141760108616353\ 251615/8542257769712912507433724439193196592419*c_0101_4^15 + 3009856663093405693983524862053444940068252/85422577697129125074337\ 24439193196592419*c_0101_4^14 + 14640758256486822194245004663997196\ 62343802/8542257769712912507433724439193196592419*c_0101_4^13 - 6562400744499118201378161213826409628997168/85422577697129125074337\ 24439193196592419*c_0101_4^12 + 30291158099127823496548364309624143\ 01347671/8542257769712912507433724439193196592419*c_0101_4^11 + 6357188901307679394388814205880766046808437/85422577697129125074337\ 24439193196592419*c_0101_4^10 - 42250786629170176483414606797330209\ 40719159/8542257769712912507433724439193196592419*c_0101_4^9 - 278397690588684227734826191889500858708168/854225776971291250743372\ 4439193196592419*c_0101_4^8 - 1514966607754680768273010158812417398\ 411730/8542257769712912507433724439193196592419*c_0101_4^7 - 5711639279980536906962336220598971015767538/85422577697129125074337\ 24439193196592419*c_0101_4^6 + 429790009072302372842620203736342586\ 050688/8542257769712912507433724439193196592419*c_0101_4^5 + 3195956474753273633171911967885869915682591/85422577697129125074337\ 24439193196592419*c_0101_4^4 + 104907921216006821081229801744016631\ 6938338/8542257769712912507433724439193196592419*c_0101_4^3 + 67569432876350996903433552985862248599597/8542257769712912507433724\ 439193196592419*c_0101_4^2 + 82975268547129715320387538084329478755\ 493/8542257769712912507433724439193196592419*c_0101_4 + 42005113456802725262830160076752643375224/8542257769712912507433724\ 439193196592419, c_0101_1 + 12457741477902760373985665340812785463860/854225776971291250\ 7433724439193196592419*c_0101_4^19 + 4716802799835443704981596687379274517772/85422577697129125074337244\ 39193196592419*c_0101_4^18 - 82738910180423295483819651841279120708\ 755/8542257769712912507433724439193196592419*c_0101_4^17 - 107425341449256548735273123827289034786123/854225776971291250743372\ 4439193196592419*c_0101_4^16 - 195978890199233314861524101483163474\ 78974/8542257769712912507433724439193196592419*c_0101_4^15 + 774531775843891479168547968304705858357076/854225776971291250743372\ 4439193196592419*c_0101_4^14 + 104871276291372598070548148853818676\ 969027/8542257769712912507433724439193196592419*c_0101_4^13 - 1593910149677266726413595895470349861049327/85422577697129125074337\ 24439193196592419*c_0101_4^12 + 13498124186810561320242615625966499\ 63784041/8542257769712912507433724439193196592419*c_0101_4^11 + 828319523057753538693491346745416456126707/854225776971291250743372\ 4439193196592419*c_0101_4^10 - 106651328355510395026806373521277575\ 0032188/8542257769712912507433724439193196592419*c_0101_4^9 + 460634153335933312618604534260290074417361/854225776971291250743372\ 4439193196592419*c_0101_4^8 - 8616580417145085107563565030483479763\ 94146/8542257769712912507433724439193196592419*c_0101_4^7 - 1062494717261387233543008718642985190136069/85422577697129125074337\ 24439193196592419*c_0101_4^6 + 357493941356611107838234651174973976\ 929518/8542257769712912507433724439193196592419*c_0101_4^5 + 504372635215356102830530227559594898375384/854225776971291250743372\ 4439193196592419*c_0101_4^4 + 2378315772907582018702732856213037727\ 12804/8542257769712912507433724439193196592419*c_0101_4^3 + 60041362983929558555279819008778230845552/8542257769712912507433724\ 439193196592419*c_0101_4^2 + 39995972583972896539346770417809861814\ 45/8542257769712912507433724439193196592419*c_0101_4 + 3476749197960504916269870542438637018968/85422577697129125074337244\ 39193196592419, c_0101_2 - 19339224586852945168839007806305532563893/854225776971291250\ 7433724439193196592419*c_0101_4^19 - 4018372162810909728132315949522126533128/85422577697129125074337244\ 39193196592419*c_0101_4^18 + 12883080478819570268787163730551107595\ 6511/8542257769712912507433724439193196592419*c_0101_4^17 + 145551247584440390088044793347863389171354/854225776971291250743372\ 4439193196592419*c_0101_4^16 + 634247942818144845739223585633557176\ 7338/8542257769712912507433724439193196592419*c_0101_4^15 - 1206695514822314342969759994928430820659431/85422577697129125074337\ 24439193196592419*c_0101_4^14 + 45777500946712164782935855874753714\ 929290/8542257769712912507433724439193196592419*c_0101_4^13 + 2454708039436540461121605883033148836401694/85422577697129125074337\ 24439193196592419*c_0101_4^12 - 24606305023979426477605294419375335\ 24920278/8542257769712912507433724439193196592419*c_0101_4^11 - 913155919077092970544119490071841052771301/854225776971291250743372\ 4439193196592419*c_0101_4^10 + 169989421783771173017736249183880919\ 6898488/8542257769712912507433724439193196592419*c_0101_4^9 - 769025781453139195081537971872005156256260/854225776971291250743372\ 4439193196592419*c_0101_4^8 + 1308101922625538875974857710943044080\ 157967/8542257769712912507433724439193196592419*c_0101_4^7 + 1394068085297069982111497204613906594038398/85422577697129125074337\ 24439193196592419*c_0101_4^6 - 674135035996959862964485213841402510\ 616774/8542257769712912507433724439193196592419*c_0101_4^5 - 793568603923663607137707286985333146185555/854225776971291250743372\ 4439193196592419*c_0101_4^4 - 1736595535290147299513255430135076635\ 59815/8542257769712912507433724439193196592419*c_0101_4^3 + 7160200589010602875971183210246637809460/85422577697129125074337244\ 39193196592419*c_0101_4^2 - 251790242601614122130711058825480156510\ 38/8542257769712912507433724439193196592419*c_0101_4 - 8085057433348804847210193726117074101042/85422577697129125074337244\ 39193196592419, c_0101_4^20 + 16/19*c_0101_4^19 - 123/19*c_0101_4^18 - 223/19*c_0101_4^17 - 104/19*c_0101_4^16 + 1173/19*c_0101_4^15 + 706/19*c_0101_4^14 - 2373/19*c_0101_4^13 + 890/19*c_0101_4^12 + 2297/19*c_0101_4^11 - 982/19*c_0101_4^10 - 248/19*c_0101_4^9 - 878/19*c_0101_4^8 - 2163/19*c_0101_4^7 - 278/19*c_0101_4^6 + 1124/19*c_0101_4^5 + 696/19*c_0101_4^4 + 157/19*c_0101_4^3 + 40/19*c_0101_4^2 + 22/19*c_0101_4 + 5/19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB