Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 3650635021] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1396 geometric_solution 5.24405375 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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 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.618213432812 0.770572648663 3 2 4 0 0132 3012 0132 0132 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 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.989034912474 0.865142741672 1 3 0 4 1230 3201 0132 2310 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 -1 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 0.989034912474 0.865142741672 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 -1 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 -1 0 1 0 0 -1 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 1.404394951087 0.424429534482 2 4 4 1 3201 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.114484409632 0.550470000549 6 3 6 3 0132 0132 1023 1023 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 0 1 0 -1 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 0.758842234546 0.313513149093 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 1 1 -1 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 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.619744601855 0.110075434243 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 7535201658928403245658206839553/18743554075460950881785828046903*c_\ 0101_6^17 - 100520874973715044759120058803/567986487135180329751085\ 698391*c_0101_6^16 + 75382457450455803784050637215632/1874355407546\ 0950881785828046903*c_0101_6^15 + 26258356965243849985509774390187/\ 18743554075460950881785828046903*c_0101_6^14 + 606882150100836026901751255201922/18743554075460950881785828046903*\ c_0101_6^13 + 1121611945443483971318255540186758/187435540754609508\ 81785828046903*c_0101_6^12 - 1454959713228317828733837544245413/624\ 7851358486983627261942682301*c_0101_6^11 - 5516785579053649721636203160973991/18743554075460950881785828046903\ *c_0101_6^10 + 365041952945430658123352514965418/624785135848698362\ 7261942682301*c_0101_6^9 - 566581693220139891901649438689258/187435\ 54075460950881785828046903*c_0101_6^8 + 3163492939612734439657151088787105/18743554075460950881785828046903\ *c_0101_6^7 - 1239478367414577382271672476309721/187435540754609508\ 81785828046903*c_0101_6^6 - 672590977191987779362232518994321/18743\ 554075460950881785828046903*c_0101_6^5 + 3520036014632919410717749298952535/18743554075460950881785828046903\ *c_0101_6^4 + 873085368204862060719663390123073/1874355407546095088\ 1785828046903*c_0101_6^3 - 27267686277302193391093753914296/1703959\ 461405540989253257095173*c_0101_6^2 + 161215631371966125186406109824351/6247851358486983627261942682301*c\ _0101_6 + 169844029764509574211333972778044/18743554075460950881785\ 828046903, c_0011_0 - 1, c_0011_1 + 17257937976934036516395534717/567986487135180329751085698391\ *c_0101_6^17 + 6017492567031338182325028765/56798648713518032975108\ 5698391*c_0101_6^16 - 173447658572999848830038932108/56798648713518\ 0329751085698391*c_0101_6^15 - 44834253698174076831446141269/567986\ 487135180329751085698391*c_0101_6^14 - 1383289777239473914413535111376/567986487135180329751085698391*c_01\ 01_6^13 - 2436351094559063013031566319677/5679864871351803297510856\ 98391*c_0101_6^12 + 10239320871554693129623992649610/56798648713518\ 0329751085698391*c_0101_6^11 + 11769776580344252605870755911768/567\ 986487135180329751085698391*c_0101_6^10 - 3688379657085685121511331295247/567986487135180329751085698391*c_01\ 01_6^9 + 1117475129427921201424958161880/56798648713518032975108569\ 8391*c_0101_6^8 - 7562160418699100252285118185861/56798648713518032\ 9751085698391*c_0101_6^7 + 3768768427652930793734116357043/56798648\ 7135180329751085698391*c_0101_6^6 + 1598522896225619889032621725034/567986487135180329751085698391*c_01\ 01_6^5 - 7368430158176913197390510202069/56798648713518032975108569\ 8391*c_0101_6^4 - 1386084583150042109518680862301/56798648713518032\ 9751085698391*c_0101_6^3 + 995294463762861641571080869937/567986487\ 135180329751085698391*c_0101_6^2 - 1080330029591081950607035518335/567986487135180329751085698391*c_01\ 01_6 - 170540972771067692562165640709/56798648713518032975108569839\ 1, c_0011_4 - 8995508806518029314185626209/567986487135180329751085698391*\ c_0101_6^17 - 10814661340664560353129243403/56798648713518032975108\ 5698391*c_0101_6^16 + 87244236249870168997033122260/567986487135180\ 329751085698391*c_0101_6^15 + 97663921563133748073128655427/5679864\ 87135180329751085698391*c_0101_6^14 + 746861809309572871409447166162/567986487135180329751085698391*c_010\ 1_6^13 + 1914445728236806165156343705546/56798648713518032975108569\ 8391*c_0101_6^12 - 4225404081863045268056081444604/5679864871351803\ 29751085698391*c_0101_6^11 - 10409343473887949863715879081644/56798\ 6487135180329751085698391*c_0101_6^10 - 3389351367700871207889897084473/567986487135180329751085698391*c_01\ 01_6^9 - 1155154441364201581931156919675/56798648713518032975108569\ 8391*c_0101_6^8 + 2744882409139528173010479070041/56798648713518032\ 9751085698391*c_0101_6^7 + 3063154277936455444878853466915/56798648\ 7135180329751085698391*c_0101_6^6 - 2196499538980981474711030521686/567986487135180329751085698391*c_01\ 01_6^5 + 5209343295276044349361299089256/56798648713518032975108569\ 8391*c_0101_6^4 + 2705400502637212790426947320142/56798648713518032\ 9751085698391*c_0101_6^3 + 639812544662175103855857634097/567986487\ 135180329751085698391*c_0101_6^2 + 685733030150246676351631599794/567986487135180329751085698391*c_010\ 1_6 + 279358969771686679749593245147/567986487135180329751085698391\ , c_0101_0 + 21492953400386061930981085810/567986487135180329751085698391\ *c_0101_6^17 + 11135843567882041572698408869/5679864871351803297510\ 85698391*c_0101_6^16 - 212031785642377547197220829465/5679864871351\ 80329751085698391*c_0101_6^15 - 91961247042412076709009752490/56798\ 6487135180329751085698391*c_0101_6^14 - 1759129922957515848825257611378/567986487135180329751085698391*c_01\ 01_6^13 - 3328985945638304717777554757573/5679864871351803297510856\ 98391*c_0101_6^12 + 12016207760485960771341507391592/56798648713518\ 0329751085698391*c_0101_6^11 + 16478495990888074919894537414932/567\ 986487135180329751085698391*c_0101_6^10 - 463128177379416265966354668553/567986487135180329751085698391*c_010\ 1_6^9 + 2183812023405507708621476543180/567986487135180329751085698\ 391*c_0101_6^8 - 9641517623681114006868154691656/567986487135180329\ 751085698391*c_0101_6^7 + 3477369007782686363230232068431/567986487\ 135180329751085698391*c_0101_6^6 + 555710602757992742368036142524/567986487135180329751085698391*c_010\ 1_6^5 - 8858601930369593610848843390944/567986487135180329751085698\ 391*c_0101_6^4 - 3417287472659384429905242178368/567986487135180329\ 751085698391*c_0101_6^3 - 118158323422425431142814422421/5679864871\ 35180329751085698391*c_0101_6^2 - 460120902366354139756151406122/56\ 7986487135180329751085698391*c_0101_6 - 393789856933922181685914149610/567986487135180329751085698391, c_0101_1 + 13379604764352884210573433753/567986487135180329751085698391\ *c_0101_6^17 - 1559987728874949988798484192/56798648713518032975108\ 5698391*c_0101_6^16 - 136119872375018159961197754074/56798648713518\ 0329751085698391*c_0101_6^15 + 27519894130789739567019448081/567986\ 487135180329751085698391*c_0101_6^14 - 1060851208731360756405809954055/567986487135180329751085698391*c_01\ 01_6^13 - 1386939794202263484778731016711/5679864871351803297510856\ 98391*c_0101_6^12 + 8768129051737080285597830210800/567986487135180\ 329751085698391*c_0101_6^11 + 5399806361198911409228866326577/56798\ 6487135180329751085698391*c_0101_6^10 - 6788179212125018089230641671694/567986487135180329751085698391*c_01\ 01_6^9 + 2222255213722253000998400847408/56798648713518032975108569\ 8391*c_0101_6^8 - 6111778594571123867898605300211/56798648713518032\ 9751085698391*c_0101_6^7 + 5998572484277933414115755681344/56798648\ 7135180329751085698391*c_0101_6^6 - 1232980182911260045339766994607/567986487135180329751085698391*c_01\ 01_6^5 - 6187116539174010187429664805216/56798648713518032975108569\ 8391*c_0101_6^4 + 1648849520481802720978405000994/56798648713518032\ 9751085698391*c_0101_6^3 + 1779676399015599947077276335519/56798648\ 7135180329751085698391*c_0101_6^2 - 955816059130671687945692971513/567986487135180329751085698391*c_010\ 1_6 - 82356319599257117333526560048/567986487135180329751085698391, c_0101_5 - 2803532432275415738120821653/567986487135180329751085698391*\ c_0101_6^17 + 37040211366766167874851901/56798648713518032975108569\ 8391*c_0101_6^16 + 27921557396644142040670549093/567986487135180329\ 751085698391*c_0101_6^15 - 3286297536425280091629863734/56798648713\ 5180329751085698391*c_0101_6^14 + 227605117605220187722245430642/56\ 7986487135180329751085698391*c_0101_6^13 + 318307929749768402101562016054/567986487135180329751085698391*c_010\ 1_6^12 - 1751628512679067737068774060774/56798648713518032975108569\ 8391*c_0101_6^11 - 1218035086134519839698269826849/5679864871351803\ 29751085698391*c_0101_6^10 + 992580808106191148426947070065/5679864\ 87135180329751085698391*c_0101_6^9 - 902755189164986611325960268508/567986487135180329751085698391*c_010\ 1_6^8 + 866736407456206070481511492483/5679864871351803297510856983\ 91*c_0101_6^7 - 962261038260970951472097306951/56798648713518032975\ 1085698391*c_0101_6^6 + 907086427219290021429425674162/567986487135\ 180329751085698391*c_0101_6^5 + 1142113410953282945967457638253/567\ 986487135180329751085698391*c_0101_6^4 + 173861798221548823597939734734/567986487135180329751085698391*c_010\ 1_6^3 - 375439160863162605165948142771/5679864871351803297510856983\ 91*c_0101_6^2 + 344287338313990713092218222455/56798648713518032975\ 1085698391*c_0101_6 + 322606803133998981809993975024/56798648713518\ 0329751085698391, c_0101_6^18 - 10*c_0101_6^16 + c_0101_6^15 - 81*c_0101_6^14 - 114*c_0101_6^13 + 629*c_0101_6^12 + 448*c_0101_6^11 - 351*c_0101_6^10 + 280*c_0101_6^9 - 496*c_0101_6^8 + 371*c_0101_6^7 - 59*c_0101_6^6 - 476*c_0101_6^5 + 128*c_0101_6^4 - 11*c_0101_6^3 - 86*c_0101_6^2 + 18*c_0101_6 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB