Magma V2.19-8 Tue Aug 20 2013 16:18:54 on localhost [Seed = 2017060110] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3063 geometric_solution 6.23143687 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386586797112 0.250079502353 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.789796892720 0.929601393984 1 4 5 6 0132 0132 0132 0132 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 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.420384873775 1.477095244488 6 5 4 1 3201 1023 3201 0132 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 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.420384873775 1.477095244488 3 2 4 4 2310 0132 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 1 -1 0 0 1 -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.111961295633 0.608682621189 3 5 5 2 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.141689316511 0.543018200478 6 6 2 3 1302 2031 0132 2310 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.652238028966 1.177691681938 ==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_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 80948715154340048732438653109042566691578426899981/2864805078931066\ 30456109410128951963570257708989*c_0101_4^18 - 401698632366831873194980928138537526145328723282518/286480507893106\ 630456109410128951963570257708989*c_0101_4^17 - 2848222707138289029765933551698428409990414299638352/28648050789310\ 6630456109410128951963570257708989*c_0101_4^16 - 26668926260487463886141263957604113518247255613863/2864805078931066\ 30456109410128951963570257708989*c_0101_4^15 + 4393765821514632727532694060861513013102457009001866/40925786841872\ 375779444201446993137652893958427*c_0101_4^14 + 150669874451053941869227794417720566811178252893466749/286480507893\ 106630456109410128951963570257708989*c_0101_4^13 + 26155442889902223933935931205480596878875692699946418/2203696214562\ 3586958162262317611689505404439153*c_0101_4^12 + 69859123954995259443143087968581467292394975480931358/4092578684187\ 2375779444201446993137652893958427*c_0101_4^11 + 42377161617673400418143988132302137915415795694095099/2203696214562\ 3586958162262317611689505404439153*c_0101_4^10 - 22410846196092266148349911983238416621592149475710623/2203696214562\ 3586958162262317611689505404439153*c_0101_4^9 - 596021575130452903495114807321825709699132266177660874/286480507893\ 106630456109410128951963570257708989*c_0101_4^8 - 1177605164300264524738855854589648190960849206396829086/28648050789\ 3106630456109410128951963570257708989*c_0101_4^7 - 54961366491842259034777012850006000925441352346427794/1685179458194\ 7448850359377066408939033544571117*c_0101_4^6 + 1665345600168538997766379414962508893199745047589353132/28648050789\ 3106630456109410128951963570257708989*c_0101_4^5 - 637136810956244727039957358502176037772558877365338012/286480507893\ 106630456109410128951963570257708989*c_0101_4^4 + 175478372352922580950669839672504570353058289609726958/286480507893\ 106630456109410128951963570257708989*c_0101_4^3 + 273275802005472110589562831616148578760861728035782113/286480507893\ 106630456109410128951963570257708989*c_0101_4^2 + 30168418671975125546512053254161298344352281299251047/2864805078931\ 06630456109410128951963570257708989*c_0101_4 - 1896672123416540147310273094984550624889291578728643/28648050789310\ 6630456109410128951963570257708989, c_0011_0 - 1, c_0011_1 + 16759821572847283739643052302503514273978984/185184555845576\ 360992960187542955373994995287*c_0101_4^18 - 83901174911516793519615256186434347037055061/1851845558455763609929\ 60187542955373994995287*c_0101_4^17 - 586032412268613998515558936889079173216827068/185184555845576360992\ 960187542955373994995287*c_0101_4^16 + 20072617209330765108210281313236846454178475/1851845558455763609929\ 60187542955373994995287*c_0101_4^15 + 6366880387512379294963955574949813558899217190/18518455584557636099\ 2960187542955373994995287*c_0101_4^14 + 30916764661628142966496450421656895563474441942/1851845558455763609\ 92960187542955373994995287*c_0101_4^13 + 69048396366785958271390957644855406560237124589/1851845558455763609\ 92960187542955373994995287*c_0101_4^12 + 98234920793897916972147368658476515964277644031/1851845558455763609\ 92960187542955373994995287*c_0101_4^11 + 109785975087903098662824879861561389853904890077/185184555845576360\ 992960187542955373994995287*c_0101_4^10 - 65069540801875184121082724186859487500091808789/1851845558455763609\ 92960187542955373994995287*c_0101_4^9 - 120455061962652833024910428759328743572595375924/185184555845576360\ 992960187542955373994995287*c_0101_4^8 - 238421615638552572698093799240305743001177124438/185184555845576360\ 992960187542955373994995287*c_0101_4^7 - 182854768010725213601386134888897834376215573879/185184555845576360\ 992960187542955373994995287*c_0101_4^6 + 352870326103278891268217275352642787880047676317/185184555845576360\ 992960187542955373994995287*c_0101_4^5 - 147380204049397061122788022435252435805195086804/185184555845576360\ 992960187542955373994995287*c_0101_4^4 + 42708900452009344105681950650361680251056895840/1851845558455763609\ 92960187542955373994995287*c_0101_4^3 + 54448436008105869101932875088164549873731009593/1851845558455763609\ 92960187542955373994995287*c_0101_4^2 + 3972981246895493915286889128645225363830840561/18518455584557636099\ 2960187542955373994995287*c_0101_4 - 563710272486370105012998747302332936385353632/185184555845576360992\ 960187542955373994995287, c_0011_3 + 400080943321485259597792678347650869671387/18518455584557636\ 0992960187542955373994995287*c_0101_4^18 - 1951425325976415219228331351826076562346475/18518455584557636099296\ 0187542955373994995287*c_0101_4^17 - 14278131980721374776133716086656631818326312/1851845558455763609929\ 60187542955373994995287*c_0101_4^16 - 1157368177122252972622787258925945650247748/18518455584557636099296\ 0187542955373994995287*c_0101_4^15 + 153117769618562303517183898406997009498731072/185184555845576360992\ 960187542955373994995287*c_0101_4^14 + 757366010978684741512661135826290402340113443/185184555845576360992\ 960187542955373994995287*c_0101_4^13 + 1731337002186735006564934512073614400857124255/18518455584557636099\ 2960187542955373994995287*c_0101_4^12 + 2501121430995579291466726873309108070434875318/18518455584557636099\ 2960187542955373994995287*c_0101_4^11 + 2801271555677013466839975294687236849393024861/18518455584557636099\ 2960187542955373994995287*c_0101_4^10 - 1387462469330096046811438378775412751800773680/18518455584557636099\ 2960187542955373994995287*c_0101_4^9 - 3279174399418803979902422963820943522637623011/18518455584557636099\ 2960187542955373994995287*c_0101_4^8 - 5975183829047328928193354806848056083849683865/18518455584557636099\ 2960187542955373994995287*c_0101_4^7 - 5012572920129872934272672111882517074485474393/18518455584557636099\ 2960187542955373994995287*c_0101_4^6 + 8112721361094246876737768595284571257471817563/18518455584557636099\ 2960187542955373994995287*c_0101_4^5 - 2301995279167845046850179494540001430493284210/18518455584557636099\ 2960187542955373994995287*c_0101_4^4 - 138189849224524633960336296608693534665143390/185184555845576360992\ 960187542955373994995287*c_0101_4^3 + 1909590184215316303221332465534314416641339532/18518455584557636099\ 2960187542955373994995287*c_0101_4^2 + 195745490362661660074999710788172073819606792/185184555845576360992\ 960187542955373994995287*c_0101_4 + 37209257368498157657039725392061835985376436/1851845558455763609929\ 60187542955373994995287, c_0011_6 - 25001685470227846704288488442833061071422281/185184555845576\ 360992960187542955373994995287*c_0101_4^18 + 123407276713874642312806529370872501480954547/185184555845576360992\ 960187542955373994995287*c_0101_4^17 + 883153165015567676939483219841558604745102062/185184555845576360992\ 960187542955373994995287*c_0101_4^16 + 30593252256615366909671328498696543422548205/1851845558455763609929\ 60187542955373994995287*c_0101_4^15 - 9505288666048899218609955938021335066756333199/18518455584557636099\ 2960187542955373994995287*c_0101_4^14 - 46786483514627455217857278769521805533042506655/1851845558455763609\ 92960187542955373994995287*c_0101_4^13 - 106181894635967492066882483242658613914010775503/185184555845576360\ 992960187542955373994995287*c_0101_4^12 - 153486388768266091083013259817925122427365129528/185184555845576360\ 992960187542955373994995287*c_0101_4^11 - 173406724697678612049982118289502111908686705314/185184555845576360\ 992960187542955373994995287*c_0101_4^10 + 86578352379576517333982422391900643236470795086/1851845558455763609\ 92960187542955373994995287*c_0101_4^9 + 187782230370556942178034396080414237034006511253/185184555845576360\ 992960187542955373994995287*c_0101_4^8 + 368176608261777811779793654038060351559110819510/185184555845576360\ 992960187542955373994995287*c_0101_4^7 + 297365314772729563065386010760443850367148486296/185184555845576360\ 992960187542955373994995287*c_0101_4^6 - 509004425208853386352202794253926368643039461142/185184555845576360\ 992960187542955373994995287*c_0101_4^5 + 181322072949925336499161495072832648024632411449/185184555845576360\ 992960187542955373994995287*c_0101_4^4 - 45538709970612969826015704298198485269352796897/1851845558455763609\ 92960187542955373994995287*c_0101_4^3 - 87969677903816580739473946674479878017235227524/1851845558455763609\ 92960187542955373994995287*c_0101_4^2 - 10795867470584351216663707002588068418218523515/1851845558455763609\ 92960187542955373994995287*c_0101_4 + 610721562604743338777952872245591013807245618/185184555845576360992\ 960187542955373994995287, c_0101_0 - 6435995483107336610531493806855604705431660/1851845558455763\ 60992960187542955373994995287*c_0101_4^18 + 32292920822058700688289848916077290794325067/1851845558455763609929\ 60187542955373994995287*c_0101_4^17 + 224759981981921875658377228119204855091799848/185184555845576360992\ 960187542955373994995287*c_0101_4^16 - 10718449988698429694839571250168377360326935/1851845558455763609929\ 60187542955373994995287*c_0101_4^15 - 2447787464974783534223745864367344476068851720/18518455584557636099\ 2960187542955373994995287*c_0101_4^14 - 11844217272409981956510449813414971070965418620/1851845558455763609\ 92960187542955373994995287*c_0101_4^13 - 26348247379605361221298308745206715144542498490/1851845558455763609\ 92960187542955373994995287*c_0101_4^12 - 37266289169345511736426712056664983288770516628/1851845558455763609\ 92960187542955373994995287*c_0101_4^11 - 41379514916162816356039626472579117763002176251/1851845558455763609\ 92960187542955373994995287*c_0101_4^10 + 25997934608011106739293555628581983222319151791/1851845558455763609\ 92960187542955373994995287*c_0101_4^9 + 46636404726212181168510532997582839226593054702/1851845558455763609\ 92960187542955373994995287*c_0101_4^8 + 90908804490203819166356672494173837287370717229/1851845558455763609\ 92960187542955373994995287*c_0101_4^7 + 68926241347740547046561575577145164383462469188/1851845558455763609\ 92960187542955373994995287*c_0101_4^6 - 137330214191982008564049001486876810799280793941/185184555845576360\ 992960187542955373994995287*c_0101_4^5 + 57250607276333399735415730022436590934122885945/1851845558455763609\ 92960187542955373994995287*c_0101_4^4 - 15593493471040094499266353387728800618176565388/1851845558455763609\ 92960187542955373994995287*c_0101_4^3 - 22032756243563407791649347238730812173516467912/1851845558455763609\ 92960187542955373994995287*c_0101_4^2 - 805887414226080560897468845562840052240305818/185184555845576360992\ 960187542955373994995287*c_0101_4 + 372797442453246050516299012788602205730565130/185184555845576360992\ 960187542955373994995287, c_0101_3 + 151597630443332052146122611837611777077285/18518455584557636\ 0992960187542955373994995287*c_0101_4^18 - 783181357153354440591795839796082059657850/185184555845576360992960\ 187542955373994995287*c_0101_4^17 - 5149921996460763641310219438983383838919021/18518455584557636099296\ 0187542955373994995287*c_0101_4^16 + 896064615286778640241672391897833534451527/185184555845576360992960\ 187542955373994995287*c_0101_4^15 + 56473446006596935125192735971771749435696510/1851845558455763609929\ 60187542955373994995287*c_0101_4^14 + 269986376062509037545724280042608831298860303/185184555845576360992\ 960187542955373994995287*c_0101_4^13 + 590706577946328014311498427503542551450505733/185184555845576360992\ 960187542955373994995287*c_0101_4^12 + 847334298776925150134471497620033242793004419/185184555845576360992\ 960187542955373994995287*c_0101_4^11 + 998044011165467411162119145877829343711279783/185184555845576360992\ 960187542955373994995287*c_0101_4^10 - 504389324746705316797835878239130508926987599/185184555845576360992\ 960187542955373994995287*c_0101_4^9 - 667447717802604206604647066305052898775049504/185184555845576360992\ 960187542955373994995287*c_0101_4^8 - 1879577641227671899633923311522895988344683331/18518455584557636099\ 2960187542955373994995287*c_0101_4^7 - 1349187582911220274062953310791840429223717757/18518455584557636099\ 2960187542955373994995287*c_0101_4^6 + 3169257877816521242328139038773198680575110593/18518455584557636099\ 2960187542955373994995287*c_0101_4^5 - 2232342690220461514679500670521328538751485130/18518455584557636099\ 2960187542955373994995287*c_0101_4^4 + 966985487599622235702231178226142753331442242/185184555845576360992\ 960187542955373994995287*c_0101_4^3 + 105488211768649458865708276900675874427402738/185184555845576360992\ 960187542955373994995287*c_0101_4^2 - 169297272830258543713686162310399784802211692/185184555845576360992\ 960187542955373994995287*c_0101_4 + 55475418708483704023389094015034756572647152/1851845558455763609929\ 60187542955373994995287, c_0101_4^19 - 5*c_0101_4^18 - 35*c_0101_4^17 + c_0101_4^16 + 380*c_0101_4^15 + 1847*c_0101_4^14 + 4130*c_0101_4^13 + 5881*c_0101_4^12 + 6574*c_0101_4^11 - 3861*c_0101_4^10 - 7234*c_0101_4^9 - 14265*c_0101_4^8 - 10988*c_0101_4^7 + 21022*c_0101_4^6 - 8635*c_0101_4^5 + 2438*c_0101_4^4 + 3309*c_0101_4^3 + 240*c_0101_4^2 - 40*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB