Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 4300002] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0558 geometric_solution 4.57579441 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 0 0 0 0 0 0 0 0 0 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.682767626789 0.144488766467 2 0 2 0 0132 2310 1023 0132 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 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.915385459852 0.152173118689 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.008847657979 0.289602336827 4 2 5 4 3120 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 0 0 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 0.854611975999 0.645380384834 3 5 2 3 3012 0132 0132 3120 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 -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.854611975999 0.645380384834 6 4 6 3 0132 0132 1023 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 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.962892904528 0.898615512679 5 6 5 6 0132 1302 1023 2031 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 -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.449810209918 0.338017746351 ==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' : 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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], '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' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_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_4, c_0101_0, c_0101_1, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 50472142633341954293189360493/360017691571236359705715356096*c_1001\ _3^14 + 123986028823601035219524773/2647188908612032056659671736*c_\ 1001_3^13 - 355094101014469892662986227323/180008845785618179852857\ 678048*c_1001_3^12 + 1448332266836864336017898017083/18000884578561\ 8179852857678048*c_1001_3^11 - 154807343213799457908102551733/36001\ 7691571236359705715356096*c_1001_3^10 + 3643284928626824954027212498639/180008845785618179852857678048*c_10\ 01_3^9 + 5781415887984000145596370485583/36001769157123635970571535\ 6096*c_1001_3^8 + 20934545660366471771061576838887/3600176915712363\ 59705715356096*c_1001_3^7 + 26544433230948929078475695565695/360017\ 691571236359705715356096*c_1001_3^6 + 6388327169724505924322174300503/90004422892809089926428839024*c_100\ 1_3^5 - 10801864299726380043329182407599/36001769157123635970571535\ 6096*c_1001_3^4 - 9191251947084091406481426502087/90004422892809089\ 926428839024*c_1001_3^3 - 7407382525085800756312355507087/360017691\ 571236359705715356096*c_1001_3^2 - 17059702403229111839746714737107/360017691571236359705715356096*c_1\ 001_3 - 8243845961919782816100376023829/360017691571236359705715356\ 096, c_0011_0 - 1, c_0011_1 - 11883098965830870420906657/2526128440230384249190479431*c_10\ 01_3^14 + 4385247160162112091275238/2526128440230384249190479431*c_\ 1001_3^13 + 166825015076447496795129724/252612844023038424919047943\ 1*c_1001_3^12 - 797868567852686942026264346/25261284402303842491904\ 79431*c_1001_3^11 + 561919675170122161996247887/2526128440230384249\ 190479431*c_1001_3^10 - 1961428014689379928410450652/25261284402303\ 84249190479431*c_1001_3^9 + 6456321987826450156737220/2526128440230\ 384249190479431*c_1001_3^8 - 4421390356351150625635939094/252612844\ 0230384249190479431*c_1001_3^7 - 2737205636253189612629525980/25261\ 28440230384249190479431*c_1001_3^6 - 2530338082662242680518636397/2526128440230384249190479431*c_1001_3^\ 5 + 6284448892828540520825535186/2526128440230384249190479431*c_100\ 1_3^4 + 6468953575659121445029755937/2526128440230384249190479431*c\ _1001_3^3 - 1796145279900143711427184327/25261284402303842491904794\ 31*c_1001_3^2 + 5250437198871152845196727273/2526128440230384249190\ 479431*c_1001_3 - 3091535642942346241681704541/25261284402303842491\ 90479431, c_0011_4 + 7980061871619115787018921/2526128440230384249190479431*c_100\ 1_3^14 - 7102434232810687714012011/2526128440230384249190479431*c_1\ 001_3^13 - 111047136068399483638449082/2526128440230384249190479431\ *c_1001_3^12 + 594237403446103866977742073/252612844023038424919047\ 9431*c_1001_3^11 - 652986987226770461935393773/25261284402303842491\ 90479431*c_1001_3^10 + 1479337175444006793855937350/252612844023038\ 4249190479431*c_1001_3^9 - 614372644119344831253955592/252612844023\ 0384249190479431*c_1001_3^8 + 2611959612910934690950854288/25261284\ 40230384249190479431*c_1001_3^7 + 408767614649111507399114320/25261\ 28440230384249190479431*c_1001_3^6 - 92592786099152523702770545/2526128440230384249190479431*c_1001_3^5 - 5579972964011334192414762929/2526128440230384249190479431*c_1001_3^\ 4 - 4403638523125603237998919959/2526128440230384249190479431*c_100\ 1_3^3 + 2610316562439965323184989648/2526128440230384249190479431*c\ _1001_3^2 - 4561843051456407519170826375/25261284402303842491904794\ 31*c_1001_3 + 4138302984413415480356876179/252612844023038424919047\ 9431, c_0101_0 - 5331493970906063998508656/2526128440230384249190479431*c_100\ 1_3^14 + 4655698124284755280465157/2526128440230384249190479431*c_1\ 001_3^13 + 72504038657816583612030721/2526128440230384249190479431*\ c_1001_3^12 - 391582627017442893390407301/2526128440230384249190479\ 431*c_1001_3^11 + 450499903601623982403909349/252612844023038424919\ 0479431*c_1001_3^10 - 1149156009994273663281993236/2526128440230384\ 249190479431*c_1001_3^9 + 754167220380657315736700886/2526128440230\ 384249190479431*c_1001_3^8 - 2363667435826454292791771102/252612844\ 0230384249190479431*c_1001_3^7 + 301040688485840480439712463/252612\ 8440230384249190479431*c_1001_3^6 - 718412490233959866763496701/2526128440230384249190479431*c_1001_3^5 + 4098227715882978677893423201/2526128440230384249190479431*c_1001_\ 3^4 + 2544620585061794154588904943/2526128440230384249190479431*c_1\ 001_3^3 - 260289037910695367979575346/2526128440230384249190479431*\ c_1001_3^2 + 1721127152669761795836526297/2526128440230384249190479\ 431*c_1001_3 - 3796345072218860041722522566/25261284402303842491904\ 79431, c_0101_1 - 12458466488068926673418643/2526128440230384249190479431*c_10\ 01_3^14 + 5563732218728007827312864/2526128440230384249190479431*c_\ 1001_3^13 + 169487589563417449822979444/252612844023038424919047943\ 1*c_1001_3^12 - 849526724417212447430468302/25261284402303842491904\ 79431*c_1001_3^11 + 724363315682675372621409328/2526128440230384249\ 190479431*c_1001_3^10 - 2426113848991621700840730683/25261284402303\ 84249190479431*c_1001_3^9 + 332925652357382649519313123/25261284402\ 30384249190479431*c_1001_3^8 - 5429282970027635013408025865/2526128\ 440230384249190479431*c_1001_3^7 - 2896491954288970766184664663/2526128440230384249190479431*c_1001_3^\ 6 - 4483967764287992762980276957/2526128440230384249190479431*c_100\ 1_3^5 + 4905491497247366466118611240/2526128440230384249190479431*c\ _1001_3^4 + 4738417440291616940314732864/25261284402303842491904794\ 31*c_1001_3^3 - 1351398694630895505745355787/2526128440230384249190\ 479431*c_1001_3^2 + 6707093506697925078054447480/252612844023038424\ 9190479431*c_1001_3 - 2231066093809094965356806947/2526128440230384\ 249190479431, c_0101_5 - 14528742014313365332790289/2526128440230384249190479431*c_10\ 01_3^14 + 6885837201920718754977111/2526128440230384249190479431*c_\ 1001_3^13 + 202170966436165678684406269/252612844023038424919047943\ 1*c_1001_3^12 - 995367791856639234940808894/25261284402303842491904\ 79431*c_1001_3^11 + 807363010193660133307850960/2526128440230384249\ 190479431*c_1001_3^10 - 2569489359760719102690870492/25261284402303\ 84249190479431*c_1001_3^9 + 377369414800896781102636193/25261284402\ 30384249190479431*c_1001_3^8 - 5573370615200454257926983525/2526128\ 440230384249190479431*c_1001_3^7 - 2726325095673391677925711334/2526128440230384249190479431*c_1001_3^\ 6 - 2931106460958473832143453681/2526128440230384249190479431*c_100\ 1_3^5 + 7921498726135494448730990232/2526128440230384249190479431*c\ _1001_3^4 + 8631350255645358053208731004/25261284402303842491904794\ 31*c_1001_3^3 - 2589990432458602137462067998/2526128440230384249190\ 479431*c_1001_3^2 + 8550167164335244232709427698/252612844023038424\ 9190479431*c_1001_3 - 4718212258708922333711793332/2526128440230384\ 249190479431, c_1001_3^15 - 14*c_1001_3^13 + 62*c_1001_3^12 - 25*c_1001_3^11 + 158*c_1001_3^10 + 59*c_1001_3^9 + 395*c_1001_3^8 + 387*c_1001_3^7 + 372*c_1001_3^6 - 363*c_1001_3^5 - 692*c_1001_3^4 - 75*c_1001_3^3 - 423*c_1001_3^2 + 111*c_1001_3 + 136 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB