Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 2160139358] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1487 geometric_solution 5.30035988 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 2 0 3201 0132 0132 2310 0 0 0 0 0 0 1 -1 1 0 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 1 0 -1 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.100268016472 0.923630332099 3 0 4 2 0132 0132 0132 2031 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 -1 0 1 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.663040395888 0.714733053013 4 1 3 0 2310 1302 0132 0132 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 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.663040395888 0.714733053013 1 3 3 2 0132 1230 3012 0132 0 0 0 0 0 0 1 -1 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 1.302404859193 0.751981791529 5 5 2 1 0132 2310 3201 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 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.035153597068 0.472021682783 4 6 6 4 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 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.466558213239 0.588643405955 5 5 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.572230387244 1.123482255301 ==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' : negation(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' : negation(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' : 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' : d['1'], 's_0_3' : negation(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' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], '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' : 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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0011_2'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 19898906424913341660197424570354162027697781860423620941188/2027449\ 877266199064865108516550125452887052592397780494251*c_0101_6^34 - 429304811266679842012996562063220304462207543778147996907786/675816\ 625755399688288369505516708484295684197465926831417*c_0101_6^32 + 219500148395912974324744704657116188969338759971466082745534/397539\ 19162082334605198206206865204958569658674466284201*c_0101_6^30 - 13146159637299483866214445000793695314845778929185705040923943/6758\ 16625755399688288369505516708484295684197465926831417*c_0101_6^28 + 298379389283268165878105169946194154797874785422398128481563124/202\ 7449877266199064865108516550125452887052592397780494251*c_0101_6^26 - 2076157932944707547060236939969034146691639857171759937233110079/\ 2027449877266199064865108516550125452887052592397780494251*c_0101_6\ ^24 + 5998072606339708645944155450227361716624113035275438834698480\ 469/2027449877266199064865108516550125452887052592397780494251*c_01\ 01_6^22 - 139914544372129114757403309408206573108802506545596556375\ 845443/39753919162082334605198206206865204958569658674466284201*c_0\ 101_6^20 + 37727920602368022167759285766118759148304068676186138469\ 11940829/2027449877266199064865108516550125452887052592397780494251\ *c_0101_6^18 - 2683207548366495508263610565544229736042244120348772\ 863538716923/202744987726619906486510851655012545288705259239778049\ 4251*c_0101_6^16 + 802183106857450300877749606646500430580800795517\ 269321153202781/675816625755399688288369505516708484295684197465926\ 831417*c_0101_6^14 - 8550093153244305953283415507460172595353557460\ 73016079080508697/2027449877266199064865108516550125452887052592397\ 780494251*c_0101_6^12 + 4578892039269897087078310162924739722943496\ 16114665093029252936/2027449877266199064865108516550125452887052592\ 397780494251*c_0101_6^10 - 6749685761386428364912726834582078800996\ 8026982416718222764995/67581662575539968828836950551670848429568419\ 7465926831417*c_0101_6^8 + 2588516544160862292602218518111122705303\ 4565761802441383883846/20274498772661990648651085165501254528870525\ 92397780494251*c_0101_6^6 - 203487714921947922104905146716237308868\ 73075876999173323837129/2027449877266199064865108516550125452887052\ 592397780494251*c_0101_6^4 + 37376929997283993086420563148424675785\ 1134508705370344049138/67581662575539968828836950551670848429568419\ 7465926831417*c_0101_6^2 - 4143851038658434038705694329359771399532\ 3541208781892673962/20274498772661990648651085165501254528870525923\ 97780494251, c_0011_0 - 1, c_0011_2 - 537394577617855303944301979723926689860267152695552/71188724\ 0335983643521984961532603996178028735463107*c_0101_6^35 + 34911235916071015427088481773763347037618340356191750/7118872403359\ 83643521984961532603996178028735463107*c_0101_6^33 - 310695166121897438204211237618324350099218612019379316/711887240335\ 983643521984961532603996178028735463107*c_0101_6^31 + 1137371460340107577195100935755038401581404792595722175/71188724033\ 5983643521984961532603996178028735463107*c_0101_6^29 - 8309788957221625241335150458704931494414725383044903140/71188724033\ 5983643521984961532603996178028735463107*c_0101_6^27 + 57993522336681557093251188743577816832006592832866951640/7118872403\ 35983643521984961532603996178028735463107*c_0101_6^25 - 175364826429449711877939169225750612323065422054277954256/711887240\ 335983643521984961532603996178028735463107*c_0101_6^23 + 230816985455234957043495768773550306957851628841637929935/711887240\ 335983643521984961532603996178028735463107*c_0101_6^21 - 145631976820131179839431388730875352438546533907751838621/711887240\ 335983643521984961532603996178028735463107*c_0101_6^19 + 93764767079794313997967899439377134056807636678269551787/7118872403\ 35983643521984961532603996178028735463107*c_0101_6^17 - 80694438022705116630889967037500369184374477736328097979/7118872403\ 35983643521984961532603996178028735463107*c_0101_6^15 + 37510300879531064333118519033230502521310548564182639925/7118872403\ 35983643521984961532603996178028735463107*c_0101_6^13 - 16814078027046008255121560099409261769944832672907825686/7118872403\ 35983643521984961532603996178028735463107*c_0101_6^11 + 8051047498201413246285958260924446786162383280982198854/71188724033\ 5983643521984961532603996178028735463107*c_0101_6^9 - 1809718744604501656334728405591914818533060203433836868/71188724033\ 5983643521984961532603996178028735463107*c_0101_6^7 + 618633691250015637018179372342015896485669615415780328/711887240335\ 983643521984961532603996178028735463107*c_0101_6^5 - 151767367508297350276833697618018873105240715644932913/711887240335\ 983643521984961532603996178028735463107*c_0101_6^3 - 571070726957379499539208122537347575904154574557857/711887240335983\ 643521984961532603996178028735463107*c_0101_6, c_0011_4 - 45036003808927733246607254032891040692984521840904/711887240\ 335983643521984961532603996178028735463107*c_0101_6^35 + 2924850594618381483855712703762352969703115877560856/71188724033598\ 3643521984961532603996178028735463107*c_0101_6^33 - 25980171118092900630154321998890514677037256690702892/7118872403359\ 83643521984961532603996178028735463107*c_0101_6^31 + 94728517082152459194482937541004936455883557708380538/7118872403359\ 83643521984961532603996178028735463107*c_0101_6^29 - 693795820938845896317181195971143421145726835400431106/711887240335\ 983643521984961532603996178028735463107*c_0101_6^27 + 4844052192211023267553681219021469271095936612952008647/71188724033\ 5983643521984961532603996178028735463107*c_0101_6^25 - 14582624157819249223680637000425112297278544291082467397/7118872403\ 35983643521984961532603996178028735463107*c_0101_6^23 + 18918516800407277227078929204017845059823325323972861128/7118872403\ 35983643521984961532603996178028735463107*c_0101_6^21 - 11422133816764740398776846081031186091631834974330154592/7118872403\ 35983643521984961532603996178028735463107*c_0101_6^19 + 7145903618122580531661110579622993034474198377729566472/71188724033\ 5983643521984961532603996178028735463107*c_0101_6^17 - 6388934391170540329533660843336139131246993640151329809/71188724033\ 5983643521984961532603996178028735463107*c_0101_6^15 + 2878106982225825218954122232232904207745782690798937260/71188724033\ 5983643521984961532603996178028735463107*c_0101_6^13 - 1213463270648633293775408246481782916155039256778077254/71188724033\ 5983643521984961532603996178028735463107*c_0101_6^11 + 596973393187172109201067141492815783560535112634933667/711887240335\ 983643521984961532603996178028735463107*c_0101_6^9 - 115309883965867962447789195023054336618262812389622966/711887240335\ 983643521984961532603996178028735463107*c_0101_6^7 + 41110000666941833382472837365281060358558303690554243/7118872403359\ 83643521984961532603996178028735463107*c_0101_6^5 - 10924053921654172731479624353704761592679839246935148/7118872403359\ 83643521984961532603996178028735463107*c_0101_6^3 - 1915121746613540351532694970609973473660563408283832/71188724033598\ 3643521984961532603996178028735463107*c_0101_6, c_0101_0 + 213365462241946925756372049720169636655902256344906/71188724\ 0335983643521984961532603996178028735463107*c_0101_6^35 - 13858873608303880660392207168515935276278029057072826/7118872403359\ 83643521984961532603996178028735463107*c_0101_6^33 + 123213431777969547410739464805675095455602214356702371/711887240335\ 983643521984961532603996178028735463107*c_0101_6^31 - 450142881268614358537646765743953263328573684398853609/711887240335\ 983643521984961532603996178028735463107*c_0101_6^29 + 3293128094652938563317214057366681167660683834696070543/71188724033\ 5983643521984961532603996178028735463107*c_0101_6^27 - 22986373621507133093160942630168026386450632813940161137/7118872403\ 35983643521984961532603996178028735463107*c_0101_6^25 + 69349993274576082593584110463363472485682085346427105783/7118872403\ 35983643521984961532603996178028735463107*c_0101_6^23 - 90643058654906237449380307280991983981828554973714944445/7118872403\ 35983643521984961532603996178028735463107*c_0101_6^21 + 56036618396110774280208916289216506622003572354583434102/7118872403\ 35983643521984961532603996178028735463107*c_0101_6^19 - 35596399401311589517546384819258611584314939283347330060/7118872403\ 35983643521984961532603996178028735463107*c_0101_6^17 + 31093606491071382346844967759191142855809907441489698278/7118872403\ 35983643521984961532603996178028735463107*c_0101_6^15 - 14213308787432064362526174155671912216203885272786049535/7118872403\ 35983643521984961532603996178028735463107*c_0101_6^13 + 6208224018635197635881821181261634696646837499167198111/71188724033\ 5983643521984961532603996178028735463107*c_0101_6^11 - 3000337375771547687257125892326307557584763098424577000/71188724033\ 5983643521984961532603996178028735463107*c_0101_6^9 + 629752571016791051122497258927315570503390628509394699/711887240335\ 983643521984961532603996178028735463107*c_0101_6^7 - 218651540576379888936231313123583433396080064175822566/711887240335\ 983643521984961532603996178028735463107*c_0101_6^5 + 55049561544881605036175304725173278816164373939178602/7118872403359\ 83643521984961532603996178028735463107*c_0101_6^3 + 2251061862125309910729965512950112369426075251225571/71188724033598\ 3643521984961532603996178028735463107*c_0101_6, c_0101_1 + 1301650994848611050945372624435388593530853597766581068/3975\ 3919162082334605198206206865204958569658674466284201*c_0101_6^34 - 84437178945229813640987912072744052916191323592443430622/3975391916\ 2082334605198206206865204958569658674466284201*c_0101_6^32 + 744584133387165696318829116468585706820760994098149420588/397539191\ 62082334605198206206865204958569658674466284201*c_0101_6^30 - 2685758054010687892291181610055378310110522050515354225217/39753919\ 162082334605198206206865204958569658674466284201*c_0101_6^28 + 19885146469555249327844606452170739570524904744257007153187/3975391\ 9162082334605198206206865204958569658674466284201*c_0101_6^26 - 138630845257925635201940775945327812446682575191710709837675/397539\ 19162082334605198206206865204958569658674466284201*c_0101_6^24 + 411956799802738605454179701908886194232481570975411420338865/397539\ 19162082334605198206206865204958569658674466284201*c_0101_6^22 - 522274891323347864998908607022626440445505491998258082808267/397539\ 19162082334605198206206865204958569658674466284201*c_0101_6^20 + 309918536505784250134775313681913917791361445296661715142855/397539\ 19162082334605198206206865204958569658674466284201*c_0101_6^18 - 206350362736222487211331313189880887142565887510764735832105/397539\ 19162082334605198206206865204958569658674466284201*c_0101_6^16 + 181016189230912749568030436952106479192140966433412684569348/397539\ 19162082334605198206206865204958569658674466284201*c_0101_6^14 - 77240537821427521546717749691784310821221022328922400678859/3975391\ 9162082334605198206206865204958569658674466284201*c_0101_6^12 + 37014202213030955393679737325046566728808171778422372071728/3975391\ 9162082334605198206206865204958569658674466284201*c_0101_6^10 - 17465316149681017457952924232568000521853680244301079390882/3975391\ 9162082334605198206206865204958569658674466284201*c_0101_6^8 + 3340811787471713521421189424105227582608354389911652949606/39753919\ 162082334605198206206865204958569658674466284201*c_0101_6^6 - 1647416602149092534790580193671249477690522523052158866734/39753919\ 162082334605198206206865204958569658674466284201*c_0101_6^4 + 311528502766949470148676938952797688567086794881439761638/397539191\ 62082334605198206206865204958569658674466284201*c_0101_6^2 + 6149734011718604889399817665088463876551285675773289063/39753919162\ 082334605198206206865204958569658674466284201, c_0101_3 + 770954153053489966676600222997805160501301414787861170/39753\ 919162082334605198206206865204958569658674466284201*c_0101_6^34 - 49824895126728434676423435165796873376791856690259488236/3975391916\ 2082334605198206206865204958569658674466284201*c_0101_6^32 + 428898408842192603665982829158723529117011808550119975103/397539191\ 62082334605198206206865204958569658674466284201*c_0101_6^30 - 1482748793504844823237638547329508428037941059839644293296/39753919\ 162082334605198206206865204958569658674466284201*c_0101_6^28 + 11383331639598314738918808444182059888277934113530748385697/3975391\ 9162082334605198206206865204958569658674466284201*c_0101_6^26 - 79241502332097393181090811670007960903853888311821060386996/3975391\ 9162082334605198206206865204958569658674466284201*c_0101_6^24 + 223900427971962796298087892383980396547532097138068409433347/397539\ 19162082334605198206206865204958569658674466284201*c_0101_6^22 - 248650371187429866533599555806143599083977985713678744610507/397539\ 19162082334605198206206865204958569658674466284201*c_0101_6^20 + 106344925731644816700912146479562833789146181495837964130750/397539\ 19162082334605198206206865204958569658674466284201*c_0101_6^18 - 82647603415065233013865040548263549999278839346056266088906/3975391\ 9162082334605198206206865204958569658674466284201*c_0101_6^16 + 89631678280263353732284097917799047961162290665721418355128/3975391\ 9162082334605198206206865204958569658674466284201*c_0101_6^14 - 25297791200476424551791968411644363710112512991376930944765/3975391\ 9162082334605198206206865204958569658674466284201*c_0101_6^12 + 12171959557804694080366025871811221835245833980195130544311/3975391\ 9162082334605198206206865204958569658674466284201*c_0101_6^10 - 8251986981174944786366607577145584996931787279846840431896/39753919\ 162082334605198206206865204958569658674466284201*c_0101_6^8 + 728688242204886187195959263206243254542799325316816699489/397539191\ 62082334605198206206865204958569658674466284201*c_0101_6^6 - 633719265109833369167200235960548362926579862721469232552/397539191\ 62082334605198206206865204958569658674466284201*c_0101_6^4 + 131592035857648700185385935709269638535981236908584716327/397539191\ 62082334605198206206865204958569658674466284201*c_0101_6^2 + 43125374891856022750705089718591200250605398604071146482/3975391916\ 2082334605198206206865204958569658674466284201, c_0101_6^36 - 65*c_0101_6^34 + 1161/2*c_0101_6^32 - 4275/2*c_0101_6^30 + 15541*c_0101_6^28 - 108480*c_0101_6^26 + 330261*c_0101_6^24 - 441569*c_0101_6^22 + 574681/2*c_0101_6^20 - 185400*c_0101_6^18 + 157237*c_0101_6^16 - 151505/2*c_0101_6^14 + 68483/2*c_0101_6^12 - 16306*c_0101_6^10 + 7997/2*c_0101_6^8 - 2643/2*c_0101_6^6 + 335*c_0101_6^4 - 23/2*c_0101_6^2 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB