Magma V2.19-8 Tue Aug 20 2013 16:14:25 on localhost [Seed = 4172899579] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s407 geometric_solution 4.66383092 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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.510448107532 0.162408257560 2 0 2 0 0132 2310 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.710576174019 0.403604903058 1 3 1 4 0132 0132 1023 0132 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.914468823548 1.044660044360 4 2 5 4 3012 0132 0132 3120 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 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.700960204689 0.705894811831 3 5 2 3 3120 3201 0132 1230 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 1 0 -1 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.700960204689 0.705894811831 5 5 4 3 1230 3012 2310 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 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.550984521999 0.475532378442 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_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_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : 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_5']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_5']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 41524893356132533211385441326222877765409439/1357443715144714081914\ 513710009542457716144*c_0101_5^18 + 778735687890499505586958873454248960435107525/135744371514471408191\ 4513710009542457716144*c_0101_5^17 + 3337613519008108513150085095804473415248325683/13574437151447140819\ 14513710009542457716144*c_0101_5^16 - 868385304690142055413824540001441915750058697/678721857572357040957\ 256855004771228858072*c_0101_5^15 - 18099635278899059824459147562142212700577622551/6787218575723570409\ 57256855004771228858072*c_0101_5^14 - 2628394495244287598227237603144060601308349255/33936092878617852047\ 8628427502385614429036*c_0101_5^13 + 8167669802048752574894519709496827145601757867/33936092878617852047\ 8628427502385614429036*c_0101_5^12 + 254890525823759140616340954507248659677410325429/135744371514471408\ 1914513710009542457716144*c_0101_5^11 - 90329859071837562408068647121506093558567385121/6787218575723570409\ 57256855004771228858072*c_0101_5^10 - 9201376087201676968621008442774015651028514875/33936092878617852047\ 8628427502385614429036*c_0101_5^9 - 328657292181982715571366324567473745559012485713/135744371514471408\ 1914513710009542457716144*c_0101_5^8 + 8908376276607890820072771378514309119334405360/84840232196544630119\ 657106875596403607259*c_0101_5^7 + 344686647560477256405209388951580472863195869289/135744371514471408\ 1914513710009542457716144*c_0101_5^6 - 62630682324409039607023945618956026941354860671/3393609287861785204\ 78628427502385614429036*c_0101_5^5 + 60915809388527015125277206587493809292777710275/1357443715144714081\ 914513710009542457716144*c_0101_5^4 + 18991395797785680075153476263901376548107381459/6787218575723570409\ 57256855004771228858072*c_0101_5^3 - 29891508594243806656675991117678465353745398815/1357443715144714081\ 914513710009542457716144*c_0101_5^2 - 187832737104768119819660722395377951672047986/848402321965446301196\ 57106875596403607259*c_0101_5 + 13920979939009498823955714750230095\ 35135831279/1357443715144714081914513710009542457716144, c_0011_0 - 1, c_0011_1 + 3343457657489172062364357248995576576040/8484023219654463011\ 9657106875596403607259*c_0101_5^18 + 62925234601717047259352724567097033467525/8484023219654463011965710\ 6875596403607259*c_0101_5^17 + 272991994570184551746849731160058402\ 961005/84840232196544630119657106875596403607259*c_0101_5^16 - 120825712632212131739108354570058741592201/848402321965446301196571\ 06875596403607259*c_0101_5^15 - 29212427094844938976077071118465527\ 32374465/84840232196544630119657106875596403607259*c_0101_5^14 - 1054463242614305854264341399033467161441222/84840232196544630119657\ 106875596403607259*c_0101_5^13 + 2516029040414237393602443226284399\ 686810071/84840232196544630119657106875596403607259*c_0101_5^12 + 20767414339593458149600245372460256802428157/8484023219654463011965\ 7106875596403607259*c_0101_5^11 - 130263599172065842767249552456930\ 69637296298/84840232196544630119657106875596403607259*c_0101_5^10 - 3531211949277529132639788892803200780900280/84840232196544630119657\ 106875596403607259*c_0101_5^9 - 27515611264844722482707516045837114\ 591966863/84840232196544630119657106875596403607259*c_0101_5^8 + 9602235290793322620008172083543750397197059/84840232196544630119657\ 106875596403607259*c_0101_5^7 + 27860560733499387858889963389296992\ 296478182/84840232196544630119657106875596403607259*c_0101_5^6 - 17343722599637217975491232816137846543155838/8484023219654463011965\ 7106875596403607259*c_0101_5^5 + 4219274266792014249357770942603202\ 903888096/84840232196544630119657106875596403607259*c_0101_5^4 + 2620304520618803934995976119729615099101816/84840232196544630119657\ 106875596403607259*c_0101_5^3 - 18699813980130774370148352791600784\ 71005876/84840232196544630119657106875596403607259*c_0101_5^2 - 401442491918397120534671408713854876056635/848402321965446301196571\ 06875596403607259*c_0101_5 + 47706757743042098264685776372616061224\ 855/84840232196544630119657106875596403607259, c_0011_4 + 4661165997101210071396072018302168585407/8484023219654463011\ 9657106875596403607259*c_0101_5^18 + 87287215733425137240734845927688062716659/8484023219654463011965710\ 6875596403607259*c_0101_5^17 + 372398527865449906091324862796856025\ 078342/84840232196544630119657106875596403607259*c_0101_5^16 - 203033021361763923782487983951145320559546/848402321965446301196571\ 06875596403607259*c_0101_5^15 - 40500972856645805520574814579931561\ 86577467/84840232196544630119657106875596403607259*c_0101_5^14 - 1078780493589176882991806778841866939785143/84840232196544630119657\ 106875596403607259*c_0101_5^13 + 3606019554028839731711650235679187\ 696542962/84840232196544630119657106875596403607259*c_0101_5^12 + 28528485018804845380197936109998224472445527/8484023219654463011965\ 7106875596403607259*c_0101_5^11 - 209617259281874656879181628106292\ 99311685278/84840232196544630119657106875596403607259*c_0101_5^10 - 2953175470871420825587006624664652251853800/84840232196544630119657\ 106875596403607259*c_0101_5^9 - 37582106959156953404478486976671892\ 083076084/84840232196544630119657106875596403607259*c_0101_5^8 + 17171642481962476459482519033494626966871325/8484023219654463011965\ 7106875596403607259*c_0101_5^7 + 3740482956336822924120538030838839\ 0548675093/84840232196544630119657106875596403607259*c_0101_5^6 - 28292650390555403195007534377041217585830411/8484023219654463011965\ 7106875596403607259*c_0101_5^5 + 8300710989169498858940538314125979\ 327367564/84840232196544630119657106875596403607259*c_0101_5^4 + 3035407917306840385752359488669156292253516/84840232196544630119657\ 106875596403607259*c_0101_5^3 - 29829311727637591405857590461942327\ 79113906/84840232196544630119657106875596403607259*c_0101_5^2 - 283841957621727274634322411588854382111115/848402321965446301196571\ 06875596403607259*c_0101_5 + 48988803566495766259176273869239334930\ 031/84840232196544630119657106875596403607259, c_0011_5 - 3271298940899265627856028767712097171762/8484023219654463011\ 9657106875596403607259*c_0101_5^18 - 60352557672059337753716516984056604487146/8484023219654463011965710\ 6875596403607259*c_0101_5^17 - 244320544789763904244211947057417556\ 688198/84840232196544630119657106875596403607259*c_0101_5^16 + 215869681943877974041438739635864249614161/848402321965446301196571\ 06875596403607259*c_0101_5^15 + 28074150616018381040382226654729048\ 56047077/84840232196544630119657106875596403607259*c_0101_5^14 - 28776361329986977078807375159438642299305/8484023219654463011965710\ 6875596403607259*c_0101_5^13 - 277826522576572666611136336667218067\ 5509118/84840232196544630119657106875596403607259*c_0101_5^12 - 19369015980101266220221820480571943471842362/8484023219654463011965\ 7106875596403607259*c_0101_5^11 + 202606774276509290662711276848331\ 15113219258/84840232196544630119657106875596403607259*c_0101_5^10 - 1740391891651168380526314160007574195755264/84840232196544630119657\ 106875596403607259*c_0101_5^9 + 25877362518943883085682938108867390\ 577365124/84840232196544630119657106875596403607259*c_0101_5^8 - 19403876461050279045908566643067384916996607/8484023219654463011965\ 7106875596403607259*c_0101_5^7 - 2318570167184241745384417066342230\ 3611518522/84840232196544630119657106875596403607259*c_0101_5^6 + 26923488320488345188482280282606099939794297/8484023219654463011965\ 7106875596403607259*c_0101_5^5 - 1107449335635272245996297883434582\ 9648788128/84840232196544630119657106875596403607259*c_0101_5^4 - 625223812398087883981438243248155199380388/848402321965446301196571\ 06875596403607259*c_0101_5^3 + 267047303432629987807795464579502007\ 2454479/84840232196544630119657106875596403607259*c_0101_5^2 - 239242721406367212450558708885886626340998/848402321965446301196571\ 06875596403607259*c_0101_5 - 13328623637672035781345142580815815069\ 7065/84840232196544630119657106875596403607259, c_0101_0 - 15721503482830777292487674207312619873692/848402321965446301\ 19657106875596403607259*c_0101_5^18 - 293271637297999550627247683675433810909179/848402321965446301196571\ 06875596403607259*c_0101_5^17 - 12347029919798517534220509181870352\ 92454475/84840232196544630119657106875596403607259*c_0101_5^16 + 776677429609410339082658414713588559987159/848402321965446301196571\ 06875596403607259*c_0101_5^15 + 13614022397671347614939947001002560\ 669259006/84840232196544630119657106875596403607259*c_0101_5^14 + 2640444058835209348408731041278624973328085/84840232196544630119657\ 106875596403607259*c_0101_5^13 - 1247357238977490761942666276629043\ 2786749231/84840232196544630119657106875596403607259*c_0101_5^12 - 95264662065051495349501176438324945757978218/8484023219654463011965\ 7106875596403607259*c_0101_5^11 + 777402323068464497270427426453239\ 20202325484/84840232196544630119657106875596403607259*c_0101_5^10 + 5109965096943275404112711334552594834451190/84840232196544630119657\ 106875596403607259*c_0101_5^9 + 12504639069241422863091905659126620\ 4692751824/84840232196544630119657106875596403607259*c_0101_5^8 - 66806763312376198172430080955179028682282956/8484023219654463011965\ 7106875596403607259*c_0101_5^7 - 1221581322567382236613215608869723\ 75197258227/84840232196544630119657106875596403607259*c_0101_5^6 + 105973327629382358491628537813250197197498841/848402321965446301196\ 57106875596403607259*c_0101_5^5 - 344350670502557718529973455495915\ 13857536754/84840232196544630119657106875596403607259*c_0101_5^4 - 9477033687836959586580156322042433120324276/84840232196544630119657\ 106875596403607259*c_0101_5^3 + 11109266868193129577784996171660879\ 175713562/84840232196544630119657106875596403607259*c_0101_5^2 + 231044689235009979519422121858396158086600/848402321965446301196571\ 06875596403607259*c_0101_5 - 48580534606251242855908807028423835364\ 4394/84840232196544630119657106875596403607259, c_0101_5^19 + 19*c_0101_5^18 + 85*c_0101_5^17 - 22*c_0101_5^16 - 882*c_0101_5^15 - 468*c_0101_5^14 + 724*c_0101_5^13 + 6331*c_0101_5^12 - 2838*c_0101_5^11 - 1956*c_0101_5^10 - 8127*c_0101_5^9 + 1480*c_0101_5^8 + 9143*c_0101_5^7 - 3996*c_0101_5^6 - 19*c_0101_5^5 + 1282*c_0101_5^4 - 497*c_0101_5^3 - 248*c_0101_5^2 + 17*c_0101_5 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB