Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 1141233804] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1580 geometric_solution 5.35854533 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -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 1 0 -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.370440933380 0.511725172469 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -1 0 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 1 0 -1 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.071783973069 1.282232776315 3 0 4 1 2310 0132 2310 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.071783973069 1.282232776315 5 1 2 5 0132 0132 3201 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 -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.029270299149 0.480089437364 6 2 1 6 0132 3201 0132 3201 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.627202531294 0.321498408106 3 3 5 5 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 2.320568620327 0.785733980781 4 4 6 6 0132 2310 2031 1302 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 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.263791935601 1.035091500560 ==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' : 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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : 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' : negation(d['c_0011_4']), '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_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(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' : d['c_0101_5'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(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: 16 Groebner basis: [ t - 3358305797435739687364295131566930340771075774821772107/60385515072\ 548396978852748007534123951362319192286*c_0101_6^15 - 7016343628440262526758108633582636017255763780355592121/60385515072\ 548396978852748007534123951362319192286*c_0101_6^14 + 4964903319375031061859506852210232592274666008150204317/30192757536\ 274198489426374003767061975681159596143*c_0101_6^13 + 18929949549649181450892448399551573061221396443091824365/6038551507\ 2548396978852748007534123951362319192286*c_0101_6^12 - 4507275229197808498008254422649300822702041001578187803/60385515072\ 548396978852748007534123951362319192286*c_0101_6^11 - 280627462361117696068184188482886814375165885811869083/147281744079\ 3863340947628000183759120764934614446*c_0101_6^10 - 5026188730919942333285962355686981351983743193360381535/30192757536\ 274198489426374003767061975681159596143*c_0101_6^9 + 11855972600835434809587781968975120301603302834266048613/6038551507\ 2548396978852748007534123951362319192286*c_0101_6^8 + 75753108266675696793705879449264787951459437050621390/5117416531571\ 89804905531762775712914842053552477*c_0101_6^7 - 8276821773720903750778259165647989154151090829266787403/60385515072\ 548396978852748007534123951362319192286*c_0101_6^6 - 3885003862108408542397697865763849842770570526270614437/30192757536\ 274198489426374003767061975681159596143*c_0101_6^5 - 368625854222795474121322266348984181000349454220069050/301927575362\ 74198489426374003767061975681159596143*c_0101_6^4 - 432440421469338079079470811123466951906022946882733656/301927575362\ 74198489426374003767061975681159596143*c_0101_6^3 + 19552265958055370664834451359584075605538225535409258/3019275753627\ 4198489426374003767061975681159596143*c_0101_6^2 - 129454378705195709312014680455538181399892331138787/147281744079386\ 3340947628000183759120764934614446*c_0101_6 + 2542300181049700860720043657173347673896614632653299/30192757536274\ 198489426374003767061975681159596143, c_0011_0 - 1, c_0011_4 - 4801263020655995009828967163144180592462388/1538830917348501\ 3313714112299764548709899*c_0101_6^15 - 9633663144985706321572735743193419541373321/15388309173485013313714\ 112299764548709899*c_0101_6^14 + 1501343854116039589045515807008660\ 9401246492/15388309173485013313714112299764548709899*c_0101_6^13 + 25824510470843448405112259400829576944533058/1538830917348501331371\ 4112299764548709899*c_0101_6^12 - 871241940530399766450586052139854\ 7854055917/15388309173485013313714112299764548709899*c_0101_6^11 - 15714012234314086018400756485007791928820779/1538830917348501331371\ 4112299764548709899*c_0101_6^10 - 128469989825082633780989354760898\ 84627596960/15388309173485013313714112299764548709899*c_0101_6^9 + 17990658166399382954196559475517600108425389/1538830917348501331371\ 4112299764548709899*c_0101_6^8 + 1121407984979370055317034465124834\ 0886166755/15388309173485013313714112299764548709899*c_0101_6^7 - 12921131474841521570756530714737033098460577/1538830917348501331371\ 4112299764548709899*c_0101_6^6 - 9926148476202910343046831517231235\ 697994628/15388309173485013313714112299764548709899*c_0101_6^5 - 98270201842071451831391789754527805163913/1538830917348501331371411\ 2299764548709899*c_0101_6^4 - 1289597963947013168864567702723534696\ 194484/15388309173485013313714112299764548709899*c_0101_6^3 + 84651629719167463998762827385366912960692/1538830917348501331371411\ 2299764548709899*c_0101_6^2 - 1784186158344825852825380085704133016\ 987/15388309173485013313714112299764548709899*c_0101_6 + 6963315534797230774794012117920579114551/15388309173485013313714112\ 299764548709899, c_0101_0 + 2579346396433741878655487707254671159999265645/6627744761019\ 9952342166681675085911293534993*c_0101_6^15 + 5347214755246160363075194563832741676572392784/66277447610199952342\ 166681675085911293534993*c_0101_6^14 - 8265482477194073977016971287489566688660302235/66277447610199952342\ 166681675085911293534993*c_0101_6^13 - 15539861371614170914381731843514320049114416796/6627744761019995234\ 2166681675085911293534993*c_0101_6^12 + 5424720712311027752003629251687051507282347453/66277447610199952342\ 166681675085911293534993*c_0101_6^11 + 11883670986573668934915163970017505610849917333/6627744761019995234\ 2166681675085911293534993*c_0101_6^10 + 6561505786507888676521340418978469620756206083/66277447610199952342\ 166681675085911293534993*c_0101_6^9 - 11317468638068800860034377695667905637931405132/6627744761019995234\ 2166681675085911293534993*c_0101_6^8 - 139153428639068352205641383833572238067778569/112334656966440597190\ 1130197882812055822627*c_0101_6^7 + 8674202426171490257632307783816271318906893909/66277447610199952342\ 166681675085911293534993*c_0101_6^6 + 7328194809149632997857084815130200544434582948/66277447610199952342\ 166681675085911293534993*c_0101_6^5 - 1109773518551757230692685644725218027174978664/66277447610199952342\ 166681675085911293534993*c_0101_6^4 - 669416061643809586321788746567347554601094233/662774476101999523421\ 66681675085911293534993*c_0101_6^3 + 79197597158233267986355765379286318120775934/6627744761019995234216\ 6681675085911293534993*c_0101_6^2 - 30767256928340336529164693731085391166449604/6627744761019995234216\ 6681675085911293534993*c_0101_6 + 254969585718322174472250946239467\ 04843235670/66277447610199952342166681675085911293534993, c_0101_1 - 18154739712621768137619386301167238871706283984/662774476101\ 99952342166681675085911293534993*c_0101_6^15 - 40249826577455118173323400359041946195243390336/6627744761019995234\ 2166681675085911293534993*c_0101_6^14 + 49690940178430905508813302363300091513312343825/6627744761019995234\ 2166681675085911293534993*c_0101_6^13 + 110961116088419869401188056489895070134999149693/662774476101999523\ 42166681675085911293534993*c_0101_6^12 - 13971853402309750949987856101407307738295658383/6627744761019995234\ 2166681675085911293534993*c_0101_6^11 - 70245527636423237833512451310527770867814989481/6627744761019995234\ 2166681675085911293534993*c_0101_6^10 - 60682035340622847969479665855462387448991120692/6627744761019995234\ 2166681675085911293534993*c_0101_6^9 + 60510082476380613950700410197708793394041084319/6627744761019995234\ 2166681675085911293534993*c_0101_6^8 + 996119325942361998287720147149614381285267813/112334656966440597190\ 1130197882812055822627*c_0101_6^7 - 41975595568534215605798241834597557406630329071/6627744761019995234\ 2166681675085911293534993*c_0101_6^6 - 50144924787461281541688931417266747001962085670/6627744761019995234\ 2166681675085911293534993*c_0101_6^5 - 6779039572776041773335449654934367611320523731/66277447610199952342\ 166681675085911293534993*c_0101_6^4 - 3074457667886940074362469895081537317028108357/66277447610199952342\ 166681675085911293534993*c_0101_6^3 - 465550613857951180987676450059144151231745561/662774476101999523421\ 66681675085911293534993*c_0101_6^2 + 24345062535973234583737018984170201854364584/6627744761019995234216\ 6681675085911293534993*c_0101_6 + 169573973335039545498544594664869\ 26913290406/66277447610199952342166681675085911293534993, c_0101_2 + 5175499644744288095584216118135997782670636/1538830917348501\ 3313714112299764548709899*c_0101_6^15 + 10198512253133743002551693009993000735299239/1538830917348501331371\ 4112299764548709899*c_0101_6^14 - 163355170878753601072016938048827\ 02957901395/15388309173485013313714112299764548709899*c_0101_6^13 - 26795802373899419989411166790512110522244004/1538830917348501331371\ 4112299764548709899*c_0101_6^12 + 975171603092759191216516621720123\ 7582030948/15388309173485013313714112299764548709899*c_0101_6^11 + 15400186699172475106595384797473572813591915/1538830917348501331371\ 4112299764548709899*c_0101_6^10 + 134868838292108923214268460162493\ 21667988123/15388309173485013313714112299764548709899*c_0101_6^9 - 19243048557836590155511240811658437592130559/1538830917348501331371\ 4112299764548709899*c_0101_6^8 - 1070840022271424302099040214316314\ 6777907851/15388309173485013313714112299764548709899*c_0101_6^7 + 13638720745814219124904520557610988004515287/1538830917348501331371\ 4112299764548709899*c_0101_6^6 + 9683702690900803756607335324968413\ 938293149/15388309173485013313714112299764548709899*c_0101_6^5 + 197087188207969282615246719430780062711483/153883091734850133137141\ 12299764548709899*c_0101_6^4 + 187242040557143992224852548805922947\ 0844519/15388309173485013313714112299764548709899*c_0101_6^3 - 56721057437294811949992241135964699394195/1538830917348501331371411\ 2299764548709899*c_0101_6^2 + 1156385528610154805586820820161635793\ 21543/15388309173485013313714112299764548709899*c_0101_6 - 8029140441855588295803394910038917389994/15388309173485013313714112\ 299764548709899, c_0101_5 + 5951802460989925640237638846053938994255267/1538830917348501\ 3313714112299764548709899*c_0101_6^15 + 12686376240232853156951832095882839069154101/1538830917348501331371\ 4112299764548709899*c_0101_6^14 - 171102496882417933724198718409510\ 10464573104/15388309173485013313714112299764548709899*c_0101_6^13 - 34449600315094237368019753133951410344863358/1538830917348501331371\ 4112299764548709899*c_0101_6^12 + 653018661564014427194555486756212\ 2774459564/15388309173485013313714112299764548709899*c_0101_6^11 + 21200548751983381878687740719151053867731930/1538830917348501331371\ 4112299764548709899*c_0101_6^10 + 190388599164125844818936333842907\ 90076494535/15388309173485013313714112299764548709899*c_0101_6^9 - 20562036018677440582170335884476327230283468/1538830917348501331371\ 4112299764548709899*c_0101_6^8 - 1711827196383637244444090070319666\ 7176922556/15388309173485013313714112299764548709899*c_0101_6^7 + 13926039925661258133869078328590399762944532/1538830917348501331371\ 4112299764548709899*c_0101_6^6 + 1482433387881202646394399973740819\ 2543981798/15388309173485013313714112299764548709899*c_0101_6^5 + 1970789156402154919526881215345621203109610/15388309173485013313714\ 112299764548709899*c_0101_6^4 + 12692119975036135406869199724801176\ 39471232/15388309173485013313714112299764548709899*c_0101_6^3 - 178889880339042175257640186783486864828617/153883091734850133137141\ 12299764548709899*c_0101_6^2 + 128307465058356704460579978540735131\ 51876/15388309173485013313714112299764548709899*c_0101_6 - 12683692727517222095507900015311909934685/1538830917348501331371411\ 2299764548709899, c_0101_6^16 + 5918/2961*c_0101_6^15 - 445/141*c_0101_6^14 - 1774/329*c_0101_6^13 + 618/329*c_0101_6^12 + 9980/2961*c_0101_6^11 + 7934/2961*c_0101_6^10 - 1627/423*c_0101_6^9 - 1006/423*c_0101_6^8 + 8108/2961*c_0101_6^7 + 6305/2961*c_0101_6^6 - 38/2961*c_0101_6^5 + 607/2961*c_0101_6^4 - 13/329*c_0101_6^3 + 8/2961*c_0101_6^2 - 2/987*c_0101_6 + 1/2961 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB