Magma V2.19-8 Tue Aug 20 2013 23:38:13 on localhost [Seed = 307525168] Type ? for help. Type -D to quit. Loading file "K11a246__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a246 geometric_solution 8.50058391 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 2 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.703195592189 0.699067569534 0 4 5 5 0132 0132 2310 0132 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 -6 6 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.409343431430 0.434143174388 6 0 6 0 0132 0132 0213 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.703195592189 0.699067569534 7 8 8 0 0132 0132 0321 0132 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 -1 0 1 0 0 1 -1 0 0 0 0 -6 7 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.021433802259 0.552763066219 6 1 6 9 3012 0132 1023 0132 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 6 0 -6 0 0 -1 1 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.703195592189 0.699067569534 7 1 1 7 2103 3201 0132 0321 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 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.224191828140 0.948586478870 2 2 4 4 0132 0213 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514581165804 1.212000211049 3 5 5 9 0132 0321 2103 3201 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 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.468159217262 1.275989222186 9 3 3 9 0132 0132 0321 2103 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 1 0 -1 -1 0 1 0 1 -7 0 6 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.021433802259 0.552763066219 8 7 4 8 0132 2310 0132 2103 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 6 -6 1 0 -1 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.021433802259 0.552763066219 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_3'], 'c_1001_2' : d['c_0101_4'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : d['c_1001_0'], 's_2_8' : d['1'], 's_2_9' : 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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : negation(d['c_0101_9']), 'c_1100_8' : d['c_0101_3'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0101_9']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_0101_9'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_0101_4'], 'c_1010_7' : negation(d['c_1001_1']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_1001_1']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_4'], 'c_1010_9' : negation(d['c_0101_3']), 'c_1010_8' : d['c_0101_3'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_3']), 'c_0110_9' : negation(d['c_0101_3']), 'c_0110_8' : d['c_0101_9'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_9, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 20606117897468800263031601418057352/1285413737886428420960260661370\ 665*c_1001_1^19 + 337482803015519852971088550321146339/128541373788\ 6428420960260661370665*c_1001_1^18 - 1686823051027008026500502240401705818/12854137378864284209602606613\ 70665*c_1001_1^17 + 1638963395518434815098506430377272182/128541373\ 7886428420960260661370665*c_1001_1^16 + 6290041390188736452886225714529583316/12854137378864284209602606613\ 70665*c_1001_1^15 + 3137110458999978401379941490435219852/128541373\ 7886428420960260661370665*c_1001_1^14 - 11237717060261904932480596143562002536/2570827475772856841920521322\ 74133*c_1001_1^13 - 1586405453582053647963152470212470914/128541373\ 7886428420960260661370665*c_1001_1^12 + 127803500028271099558924554608932277132/128541373788642842096026066\ 1370665*c_1001_1^11 + 170078571314003478672737480965987314137/12854\ 13737886428420960260661370665*c_1001_1^10 - 263206032902574517083740810623529318271/128541373788642842096026066\ 1370665*c_1001_1^9 - 63486102466537594194241646852950344003/2570827\ 47577285684192052132274133*c_1001_1^8 - 2332040254993645566000700686726009419/11685579435331167463275096921\ 5515*c_1001_1^7 + 436311247826589750036547434437377326031/128541373\ 7886428420960260661370665*c_1001_1^6 + 27994137741164375080315693110255824356/1836305339837754887086086659\ 10095*c_1001_1^5 - 3733986670816401310878929170991921679/1836305339\ 83775488708608665910095*c_1001_1^4 - 127639931497646693586719799536404618851/128541373788642842096026066\ 1370665*c_1001_1^3 - 15957462375488917062702320708188160967/1285413\ 737886428420960260661370665*c_1001_1^2 - 35002083445405813666760587322841220339/1285413737886428420960260661\ 370665*c_1001_1 - 4690020805850922981476014560224682289/12854137378\ 86428420960260661370665, c_0011_0 - 1, c_0011_3 - 742924858810546584768958686/20893222662848502526864110355*c_\ 1001_1^19 + 6928396752720552673736547752/20893222662848502526864110\ 355*c_1001_1^18 - 15500916923236914272397066864/2089322266284850252\ 6864110355*c_1001_1^17 - 19060145380980754751754791919/208932226628\ 48502526864110355*c_1001_1^16 + 34585867154212333962773874713/20893\ 222662848502526864110355*c_1001_1^15 + 238964071041555006890994327326/20893222662848502526864110355*c_1001\ _1^14 - 48836275642522934427631189887/4178644532569700505372822071*\ c_1001_1^13 - 604487000814475181047596355637/2089322266284850252686\ 4110355*c_1001_1^12 - 188908129350107599069701245409/20893222662848\ 502526864110355*c_1001_1^11 + 1777710145689860692707995637346/20893\ 222662848502526864110355*c_1001_1^10 + 527425563299120344250802362817/20893222662848502526864110355*c_1001\ _1^9 - 192311148358618090280765104532/4178644532569700505372822071*\ c_1001_1^8 - 2043844490720982119850222182377/2089322266284850252686\ 4110355*c_1001_1^7 + 397020434161208004320474279988/208932226628485\ 02526864110355*c_1001_1^6 + 608896195308361841700574541211/20893222\ 662848502526864110355*c_1001_1^5 + 568916282093899495739329378271/20893222662848502526864110355*c_1001\ _1^4 - 199239646293445061802276395553/20893222662848502526864110355\ *c_1001_1^3 + 165253547451606855299861286964/2089322266284850252686\ 4110355*c_1001_1^2 - 81791314082917691984001154097/2089322266284850\ 2526864110355*c_1001_1 + 5607051802108853031973329828/2089322266284\ 8502526864110355, c_0011_5 + 559395612071647404417174278/20893222662848502526864110355*c_\ 1001_1^19 - 5200143147585500276430046776/20893222662848502526864110\ 355*c_1001_1^18 + 11540962367627218509166015022/2089322266284850252\ 6864110355*c_1001_1^17 + 14481241194663748673115078082/208932226628\ 48502526864110355*c_1001_1^16 - 25210287735700509455060325364/20893\ 222662848502526864110355*c_1001_1^15 - 179910065756573641328434325428/20893222662848502526864110355*c_1001\ _1^14 + 35593741447850230297570048332/4178644532569700505372822071*\ c_1001_1^13 + 452421716983864676319778540526/2089322266284850252686\ 4110355*c_1001_1^12 + 159069369732069173939096940322/20893222662848\ 502526864110355*c_1001_1^11 - 1314551146071557408015044117908/20893\ 222662848502526864110355*c_1001_1^10 - 416478474424222505693056096086/20893222662848502526864110355*c_1001\ _1^9 + 133641267115029531586204768328/4178644532569700505372822071*\ c_1001_1^8 + 1521303560339347519204464136996/2089322266284850252686\ 4110355*c_1001_1^7 - 260827062584523514609791882624/208932226628485\ 02526864110355*c_1001_1^6 - 398471286901243034700470997028/20893222\ 662848502526864110355*c_1001_1^5 - 424621952814457878244237302218/20893222662848502526864110355*c_1001\ _1^4 + 142831560797433423970316220654/20893222662848502526864110355\ *c_1001_1^3 - 147450224275594235844425455117/2089322266284850252686\ 4110355*c_1001_1^2 + 72410246532855222317565134211/2089322266284850\ 2526864110355*c_1001_1 - 10466916805394128350046847969/208932226628\ 48502526864110355, c_0101_0 + c_1001_1, c_0101_1 - 279697806035823702208587139/20893222662848502526864110355*c_\ 1001_1^19 + 2600071573792750138215023388/20893222662848502526864110\ 355*c_1001_1^18 - 5770481183813609254583007511/20893222662848502526\ 864110355*c_1001_1^17 - 7240620597331874336557539041/20893222662848\ 502526864110355*c_1001_1^16 + 12605143867850254727530162682/2089322\ 2662848502526864110355*c_1001_1^15 + 89955032878286820664217162714/20893222662848502526864110355*c_1001_\ 1^14 - 17796870723925115148785024166/4178644532569700505372822071*c\ _1001_1^13 - 226210858491932338159889270263/20893222662848502526864\ 110355*c_1001_1^12 - 79534684866034586969548470161/2089322266284850\ 2526864110355*c_1001_1^11 + 657275573035778704007522058954/20893222\ 662848502526864110355*c_1001_1^10 + 208239237212111252846528048043/20893222662848502526864110355*c_1001\ _1^9 - 66820633557514765793102384164/4178644532569700505372822071*c\ _1001_1^8 - 760651780169673759602232068498/208932226628485025268641\ 10355*c_1001_1^7 + 130413531292261757304895941312/20893222662848502\ 526864110355*c_1001_1^6 + 199235643450621517350235498514/2089322266\ 2848502526864110355*c_1001_1^5 + 212310976407228939122118651109/208\ 93222662848502526864110355*c_1001_1^4 - 71415780398716711985158110327/20893222662848502526864110355*c_1001_\ 1^3 + 84171723469221369185644782736/20893222662848502526864110355*c\ _1001_1^2 - 46651734597851862422214622283/2089322266284850252686411\ 0355*c_1001_1 + 15680069734121315438455479162/208932226628485025268\ 64110355, c_0101_3 - 143992875454635080552721222/4178644532569700505372822071*c_1\ 001_1^19 + 1360040991056184706584970024/417864453256970050537282207\ 1*c_1001_1^18 - 3143561119993572154664747896/4178644532569700505372\ 822071*c_1001_1^17 - 3519844450731557112141737266/41786445325697005\ 05372822071*c_1001_1^16 + 7480573790359942788525927574/417864453256\ 9700505372822071*c_1001_1^15 + 46208274455469920447396330290/417864\ 4532569700505372822071*c_1001_1^14 - 53317613225615913503758938008/4178644532569700505372822071*c_1001_1\ ^13 - 118481957143559001491629708894/4178644532569700505372822071*c\ _1001_1^12 - 19951303075172558394872125696/417864453256970050537282\ 2071*c_1001_1^11 + 366118526080951669688411800402/41786445325697005\ 05372822071*c_1001_1^10 + 78153227686237525606413003176/41786445325\ 69700505372822071*c_1001_1^9 - 236385326975033380449509879846/41786\ 44532569700505372822071*c_1001_1^8 - 408424358772905257824685736786/4178644532569700505372822071*c_1001_\ 1^7 + 123249078734664581633883969014/4178644532569700505372822071*c\ _1001_1^6 + 163853372700750649448074487949/417864453256970050537282\ 2071*c_1001_1^5 + 111610432760843573159950820024/417864453256970050\ 5372822071*c_1001_1^4 - 51803819853135171775777201574/4178644532569\ 700505372822071*c_1001_1^3 + 26282865372837234778273043807/41786445\ 32569700505372822071*c_1001_1^2 - 15892917713084079988455277522/417\ 8644532569700505372822071*c_1001_1 + 281721153985145669421896831/4178644532569700505372822071, c_0101_4 - 1153477457369822431374245832/20893222662848502526864110355*c\ _1001_1^19 + 9909268266582695408282440944/2089322266284850252686411\ 0355*c_1001_1^18 - 16562571281137153937660584018/208932226628485025\ 26864110355*c_1001_1^17 - 43834691381526797879806622698/20893222662\ 848502526864110355*c_1001_1^16 + 26080850352488733870328525136/2089\ 3222662848502526864110355*c_1001_1^15 + 396504468936367255206513511522/20893222662848502526864110355*c_1001\ _1^14 - 19996987251839078183096879150/4178644532569700505372822071*\ c_1001_1^13 - 1085538531704012309111134411494/208932226628485025268\ 64110355*c_1001_1^12 - 1010991714399694216927703002958/208932226628\ 48502526864110355*c_1001_1^11 + 2223659484250733493564119373187/208\ 93222662848502526864110355*c_1001_1^10 + 2476724637941955605488555915709/20893222662848502526864110355*c_100\ 1_1^9 - 56932900226697746089931842029/4178644532569700505372822071*\ c_1001_1^8 - 3546554808222832714882769748054/2089322266284850252686\ 4110355*c_1001_1^7 - 1498462650650219865003027088784/20893222662848\ 502526864110355*c_1001_1^6 + 528883690558980962121933658157/2089322\ 2662848502526864110355*c_1001_1^5 + 1043052986100293296920230218062/20893222662848502526864110355*c_100\ 1_1^4 + 88383621603861923410375937564/20893222662848502526864110355\ *c_1001_1^3 + 143096571351363099416320519218/2089322266284850252686\ 4110355*c_1001_1^2 + 31594948581640462065392447911/2089322266284850\ 2526864110355*c_1001_1 - 15851517060527631567192720754/208932226628\ 48502526864110355, c_0101_9 + 986979777739286849889792484/20893222662848502526864110355*c_\ 1001_1^19 - 8852178346149802679533052538/20893222662848502526864110\ 355*c_1001_1^18 + 17404911714177746588856698166/2089322266284850252\ 6864110355*c_1001_1^17 + 31867401352518488915839471476/208932226628\ 48502526864110355*c_1001_1^16 - 35715338999576079678489188042/20893\ 222662848502526864110355*c_1001_1^15 - 330224899994726100785542477474/20893222662848502526864110355*c_1001\ _1^14 + 42212093580299645084010094846/4178644532569700505372822071*\ c_1001_1^13 + 885910894905432245707507038598/2089322266284850252686\ 4110355*c_1001_1^12 + 533531431360830521144497066436/20893222662848\ 502526864110355*c_1001_1^11 - 2192956984302316277675701196204/20893\ 222662848502526864110355*c_1001_1^10 - 1413952110663265570305919408183/20893222662848502526864110355*c_100\ 1_1^9 + 180797841821053185496391497976/4178644532569700505372822071\ *c_1001_1^8 + 2918070161631002379071809269438/208932226628485025268\ 64110355*c_1001_1^7 + 288963400559527795140358224593/20893222662848\ 502526864110355*c_1001_1^6 - 741828325917771745996978898229/2089322\ 2662848502526864110355*c_1001_1^5 - 799488370561209967659382618219/20893222662848502526864110355*c_1001\ _1^4 + 122376218725981829729451078872/20893222662848502526864110355\ *c_1001_1^3 - 190166220896254413953394489321/2089322266284850252686\ 4110355*c_1001_1^2 + 28794661744624372983940016333/2089322266284850\ 2526864110355*c_1001_1 + 3380962454084372118790868553/2089322266284\ 8502526864110355, c_1001_0 - 986979777739286849889792484/20893222662848502526864110355*c_\ 1001_1^19 + 8852178346149802679533052538/20893222662848502526864110\ 355*c_1001_1^18 - 17404911714177746588856698166/2089322266284850252\ 6864110355*c_1001_1^17 - 31867401352518488915839471476/208932226628\ 48502526864110355*c_1001_1^16 + 35715338999576079678489188042/20893\ 222662848502526864110355*c_1001_1^15 + 330224899994726100785542477474/20893222662848502526864110355*c_1001\ _1^14 - 42212093580299645084010094846/4178644532569700505372822071*\ c_1001_1^13 - 885910894905432245707507038598/2089322266284850252686\ 4110355*c_1001_1^12 - 533531431360830521144497066436/20893222662848\ 502526864110355*c_1001_1^11 + 2192956984302316277675701196204/20893\ 222662848502526864110355*c_1001_1^10 + 1413952110663265570305919408183/20893222662848502526864110355*c_100\ 1_1^9 - 180797841821053185496391497976/4178644532569700505372822071\ *c_1001_1^8 - 2918070161631002379071809269438/208932226628485025268\ 64110355*c_1001_1^7 - 288963400559527795140358224593/20893222662848\ 502526864110355*c_1001_1^6 + 741828325917771745996978898229/2089322\ 2662848502526864110355*c_1001_1^5 + 799488370561209967659382618219/20893222662848502526864110355*c_1001\ _1^4 - 122376218725981829729451078872/20893222662848502526864110355\ *c_1001_1^3 + 190166220896254413953394489321/2089322266284850252686\ 4110355*c_1001_1^2 - 28794661744624372983940016333/2089322266284850\ 2526864110355*c_1001_1 - 3380962454084372118790868553/2089322266284\ 8502526864110355, c_1001_1^20 - 9*c_1001_1^19 + 18*c_1001_1^18 + 31*c_1001_1^17 - 36*c_1001_1^16 - 330*c_1001_1^15 + 222*c_1001_1^14 + 862*c_1001_1^13 + 520*c_1001_1^12 - 2159*c_1001_1^11 - 1300*c_1001_1^10 + 809*c_1001_1^9 + 2777*c_1001_1^8 + 238*c_1001_1^7 - 580*c_1001_1^6 - 714*c_1001_1^5 + 130*c_1001_1^4 - 205*c_1001_1^3 + 50*c_1001_1^2 + 3*c_1001_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB