Magma V2.19-8 Tue Aug 20 2013 16:19:11 on localhost [Seed = 846442314] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3306 geometric_solution 6.43532009 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 -1 2 -1 0 0 1 0 0 0 0 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.585564568690 0.939922892201 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 -1 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 0 0 0 0 -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 0.602520086260 0.805477711040 3 0 4 5 2310 0132 3201 2310 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 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.602520086260 0.805477711040 3 1 2 3 3012 0132 3201 1230 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.349885717458 0.795275490011 2 6 1 6 2310 0132 0132 2310 0 0 0 0 0 0 -1 1 0 0 1 -1 -1 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 -1 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.150167443251 0.740564362620 2 5 5 1 3201 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649226308176 0.795402754500 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 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.542779875792 0.235632055054 ==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' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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_4']), '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_0110_6']), 'c_1001_1' : d['c_0101_3'], '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_0011_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_3'], '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_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 11960873217291667866782048435324/583648253600924273986050856179*c_0\ 110_6^31 + 190436106589794838189341924816928/5836482536009242739860\ 50856179*c_0110_6^29 - 2054176643428255769410778368981925/583648253\ 600924273986050856179*c_0110_6^27 + 15051243060246967946078967931460549/583648253600924273986050856179*\ c_0110_6^25 - 62742092899687280099121923020836815/58364825360092427\ 3986050856179*c_0110_6^23 + 49570706144581720481825071379903636/194\ 549417866974757995350285393*c_0110_6^21 - 74876184519702673430515240927899798/194549417866974757995350285393*\ c_0110_6^19 + 77261671232683842908358652319808918/19454941786697475\ 7995350285393*c_0110_6^17 - 54887846772723068834972379943758127/194\ 549417866974757995350285393*c_0110_6^15 + 143971551174322577696493424913822213/583648253600924273986050856179\ *c_0110_6^13 - 47282740109356523454984558225052360/1945494178669747\ 57995350285393*c_0110_6^11 + 51023480803099547913456074226729875/58\ 3648253600924273986050856179*c_0110_6^9 + 3419006130347180478470234158421394/194549417866974757995350285393*c\ _0110_6^7 - 1141251362909628693030841120180594/19454941786697475799\ 5350285393*c_0110_6^5 - 713612147810025216964969739681062/583648253\ 600924273986050856179*c_0110_6^3 + 102249003434584909557365846583799/583648253600924273986050856179*c_\ 0110_6, c_0011_0 - 1, c_0011_4 - 743708636597438661462852631824/19454941786697475799535028539\ 3*c_0110_6^30 + 11764796320966779344816087304264/194549417866974757\ 995350285393*c_0110_6^28 - 126533768828349427881652770141258/194549\ 417866974757995350285393*c_0110_6^26 + 923114626201677763167065252244073/194549417866974757995350285393*c_\ 0110_6^24 - 3808955432650251401066340741728044/19454941786697475799\ 5350285393*c_0110_6^22 + 8873430671783904721898361740462686/1945494\ 17866974757995350285393*c_0110_6^20 - 13127263526306773443042260146753976/194549417866974757995350285393*\ c_0110_6^18 + 13224678424860986712392853992647111/19454941786697475\ 7995350285393*c_0110_6^16 - 9109044123599312995251224387176940/1945\ 49417866974757995350285393*c_0110_6^14 + 8236442644108615873858045233451008/194549417866974757995350285393*c\ _0110_6^12 - 8117350863329095356903099704104685/1945494178669747579\ 95350285393*c_0110_6^10 + 2477016697880760996644025621897504/194549\ 417866974757995350285393*c_0110_6^8 + 756162624654838973053058328189581/194549417866974757995350285393*c_\ 0110_6^6 - 107489570119342042328349026184550/1945494178669747579953\ 50285393*c_0110_6^4 - 37735480423420498336233836164583/194549417866\ 974757995350285393*c_0110_6^2 + 4256586361598401334138459436001/194\ 549417866974757995350285393, c_0101_0 + 1773724394135354227749524842896/1945494178669747579953502853\ 93*c_0110_6^31 - 28029021247364226609209159206396/19454941786697475\ 7995350285393*c_0110_6^29 + 301313318435951430544961022203937/19454\ 9417866974757995350285393*c_0110_6^27 - 2196605446105951783978487166175914/194549417866974757995350285393*c\ _0110_6^25 + 9047979980659552583047182036371148/1945494178669747579\ 95350285393*c_0110_6^23 - 21015015628793899017219659615119651/19454\ 9417866974757995350285393*c_0110_6^21 + 30970827372218861735806530430628007/194549417866974757995350285393*\ c_0110_6^19 - 31054358232958036447588150564313105/19454941786697475\ 7995350285393*c_0110_6^17 + 21250503643914090327579484942868155/194\ 549417866974757995350285393*c_0110_6^15 - 19331342061764992350074278602376405/194549417866974757995350285393*\ c_0110_6^13 + 19063875074186579135094213364813576/19454941786697475\ 7995350285393*c_0110_6^11 - 5616484880135788211033045468054324/1945\ 49417866974757995350285393*c_0110_6^9 - 1870307247010985233190097483339759/194549417866974757995350285393*c\ _0110_6^7 + 220490735319782377472696713892615/194549417866974757995\ 350285393*c_0110_6^5 + 89828565777045386724952697686001/19454941786\ 6974757995350285393*c_0110_6^3 - 8670446944763599370339443843347/19\ 4549417866974757995350285393*c_0110_6, c_0101_1 - 51827027545609006459228619169/194549417866974757995350285393\ *c_0110_6^30 + 820807709881538390127997686173/194549417866974757995\ 350285393*c_0110_6^28 - 8833560945186919655552493533843/19454941786\ 6974757995350285393*c_0110_6^26 + 64502366475833273195057777475326/\ 194549417866974757995350285393*c_0110_6^24 - 266735874402116707063189224514736/194549417866974757995350285393*c_\ 0110_6^22 + 624098703442434894782915593308385/194549417866974757995\ 350285393*c_0110_6^20 - 929612889075338324429905439156273/194549417\ 866974757995350285393*c_0110_6^18 + 946114021406655094410631275179425/194549417866974757995350285393*c_\ 0110_6^16 - 662712224289672983487053567675673/194549417866974757995\ 350285393*c_0110_6^14 + 596350182915635719595852834745863/194549417\ 866974757995350285393*c_0110_6^12 - 583342291007423916159349665478045/194549417866974757995350285393*c_\ 0110_6^10 + 190059061004896622723125288907923/194549417866974757995\ 350285393*c_0110_6^8 + 43211130983748814792668853233183/19454941786\ 6974757995350285393*c_0110_6^6 - 7224418057322367967540373696732/19\ 4549417866974757995350285393*c_0110_6^4 - 1718212645630235340276886877439/194549417866974757995350285393*c_01\ 10_6^2 + 248074872151887680302718576903/194549417866974757995350285\ 393, c_0101_2 - 441582426460331455382221783057/19454941786697475799535028539\ 3*c_0110_6^30 + 6991539808469715358551263170658/1945494178669747579\ 95350285393*c_0110_6^28 - 75226378958415920988786678703612/19454941\ 7866974757995350285393*c_0110_6^26 + 549136106631712528209248931607765/194549417866974757995350285393*c_\ 0110_6^24 - 2269079663097483208548231565859048/19454941786697475799\ 5350285393*c_0110_6^22 + 5299251840499577072903041041230096/1945494\ 17866974757995350285393*c_0110_6^20 - 7864479859570407081876140640834351/194549417866974757995350285393*c\ _0110_6^18 + 7953745257292349631885096476745610/1945494178669747579\ 95350285393*c_0110_6^16 - 5508274137644162563632404427044981/194549\ 417866974757995350285393*c_0110_6^14 + 4956892954090003405174725962313080/194549417866974757995350285393*c\ _0110_6^12 - 4882197797253110773976165513894736/1945494178669747579\ 95350285393*c_0110_6^10 + 1532380941293132509045429088247916/194549\ 417866974757995350285393*c_0110_6^8 + 433713151816299731157791200090469/194549417866974757995350285393*c_\ 0110_6^6 - 70762422045115540940341969521559/19454941786697475799535\ 0285393*c_0110_6^4 - 22645185382118493727884456167167/1945494178669\ 74757995350285393*c_0110_6^2 + 2761078834222176697973448462562/1945\ 49417866974757995350285393, c_0101_3 + 195798612694422798021156764305/19454941786697475799535028539\ 3*c_0110_6^31 - 3064500197449540446409755120395/1945494178669747579\ 95350285393*c_0110_6^29 + 32798504095773519970829155230522/19454941\ 7866974757995350285393*c_0110_6^27 - 237524480408232290775520092589897/194549417866974757995350285393*c_\ 0110_6^25 + 962905732413703639085708673185621/194549417866974757995\ 350285393*c_0110_6^23 - 2174334130510308202549315678705600/19454941\ 7866974757995350285393*c_0110_6^21 + 3090422036332274416894272280861023/194549417866974757995350285393*c\ _0110_6^19 - 2961979332418036680890663539182656/1945494178669747579\ 95350285393*c_0110_6^17 + 1900949090390743355022281698731514/194549\ 417866974757995350285393*c_0110_6^15 - 1851432677474229991042802271289205/194549417866974757995350285393*c\ _0110_6^13 + 1830151278624033847962069850115462/1945494178669747579\ 95350285393*c_0110_6^11 - 347547249675091613574084613444814/1945494\ 17866974757995350285393*c_0110_6^9 - 255806427250211055600310751823517/194549417866974757995350285393*c_\ 0110_6^7 - 18096423206651643543645353343828/19454941786697475799535\ 0285393*c_0110_6^5 + 9236085620931516226788371920689/19454941786697\ 4757995350285393*c_0110_6^3 + 501891628466777107742661691957/194549\ 417866974757995350285393*c_0110_6, c_0110_6^32 - 16*c_0110_6^30 + 173*c_0110_6^28 - 1272*c_0110_6^26 + 5346*c_0110_6^24 - 12857*c_0110_6^22 + 19806*c_0110_6^20 - 20967*c_0110_6^18 + 15453*c_0110_6^16 - 13279*c_0110_6^14 + 12911*c_0110_6^12 - 5299*c_0110_6^10 - 421*c_0110_6^8 + 330*c_0110_6^6 + 26*c_0110_6^4 - 15*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB