Magma V2.19-8 Tue Aug 20 2013 23:53:28 on localhost [Seed = 1325999287] Type ? for help. Type -D to quit. Loading file "L13n5951__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5951 geometric_solution 11.06241842 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 3012 0132 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 1 0 -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.101305106247 1.300680719553 0 0 5 4 0132 1230 0132 0132 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 0 0 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.379153308478 0.447793618040 6 0 8 7 0132 0132 0132 0132 1 1 0 1 0 0 -1 1 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 -1 4 -3 1 0 0 -1 -1 -1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667590003923 0.347472401019 9 8 0 6 0132 3201 0132 1023 1 1 1 1 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 1 -1 -4 0 0 4 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.405534677007 0.923262632086 9 9 1 10 1230 2310 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.208199657210 1.104580802227 10 6 11 1 1302 0213 0132 0132 1 1 1 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 0 0 0 0 0 -4 4 0 3 0 -3 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.207806801472 1.021386493800 2 7 5 3 0132 2103 0213 1023 1 1 1 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 4 -4 -1 0 0 1 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457389370839 0.598311495092 10 6 2 11 3012 2103 0132 3012 1 1 1 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 0 3 -3 0 0 1 -1 -3 0 0 3 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.696345702857 0.957303877121 8 8 3 2 1302 2031 2310 0132 1 1 1 1 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 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.674518867053 0.482254061315 3 4 11 4 0132 3012 2103 3201 0 1 1 1 0 0 0 0 -1 0 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 -1 1 4 0 0 -4 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.835212836479 0.874260504162 11 5 4 7 1023 2031 0132 1230 1 1 0 1 0 0 0 0 1 0 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 -3 0 0 3 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529924654533 0.673076655446 9 10 7 5 2103 1023 1230 0132 1 1 0 1 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 0 3 1 -4 0 0 -3 3 1 0 0 -1 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.364744635273 1.464142851181 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_3']), 'c_1001_10' : negation(d['c_0101_1']), 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_0011_0'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0011_8'], 'c_1001_2' : d['c_0011_8'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_0101_2']), 'c_1010_11' : d['c_0011_7'], 'c_1010_10' : d['c_0011_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_3']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_10'], 'c_1100_8' : d['c_0011_3'], 'c_1100_5' : d['c_0110_7'], 'c_1100_4' : d['c_0110_7'], 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_1001_1'], 'c_1100_1' : d['c_0110_7'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_0011_3'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_1100_11' : d['c_0110_7'], 'c_1100_10' : d['c_0110_7'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_11']), 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_0011_8'], 'c_1010_9' : negation(d['c_0101_0']), 'c_1010_8' : d['c_0011_8'], 's_3_1' : negation(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' : negation(d['1']), 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], '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_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0011_7'], 'c_0101_7' : d['c_0011_5'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : negation(d['c_0011_8']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_11'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0110_7, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 66377448022820659083398257549817543/1589289435992769360538260072398\ 4*c_1001_1^14 + 371763243100178448233664094439797537/79464471799638\ 46802691300361992*c_1001_1^13 + 42856589047653045682034930850543364\ 25/15892894359927693605382600723984*c_1001_1^12 + 5273944228657747509514576057725173075/52976314533092312017942002413\ 28*c_1001_1^11 + 6921077461316348837264506180936306711/264881572665\ 4615600897100120664*c_1001_1^10 + 816269829150906398664167778454342\ 72943/15892894359927693605382600723984*c_1001_1^9 + 61848275989274774537672761706171525207/7946447179963846802691300361\ 992*c_1001_1^8 + 1181886777751440408237637309869684589/128168502902\ 642690365988715516*c_1001_1^7 + 68105725417894101232072374977493239\ 581/7946447179963846802691300361992*c_1001_1^6 + 32909620412330998303114996952581548337/5297631453309231201794200241\ 328*c_1001_1^5 + 6863727929582154425833759001675336053/198661179499\ 0961700672825090498*c_1001_1^4 + 2276883461462333067245470550636020\ 7159/15892894359927693605382600723984*c_1001_1^3 + 558059815209173264587847107216766285/132440786332730780044855006033\ 2*c_1001_1^2 + 78940860423405626745609068563876564/9933058974954808\ 50336412545249*c_1001_1 + 38354396778525997276144508446989811/52976\ 31453309231201794200241328, c_0011_0 - 1, c_0011_10 - 810692855537652880995473/10637589107771870918398*c_1001_1^1\ 4 - 4435910563125181589181141/5318794553885935459199*c_1001_1^13 - 50161646441661375896075757/10637589107771870918398*c_1001_1^12 - 181389070469904331443624659/10637589107771870918398*c_1001_1^11 - 233073249636164207590229801/5318794553885935459199*c_1001_1^10 - 895968438276564053057026575/10637589107771870918398*c_1001_1^9 - 662659823703498276979443697/5318794553885935459199*c_1001_1^8 - 764258241135821590470046313/5318794553885935459199*c_1001_1^7 - 688837379704449340326524004/5318794553885935459199*c_1001_1^6 - 963144418241442611253671303/10637589107771870918398*c_1001_1^5 - 256402493008722293463879171/5318794553885935459199*c_1001_1^4 - 201485034685413508008356739/10637589107771870918398*c_1001_1^3 - 27680401253892855894977228/5318794553885935459199*c_1001_1^2 - 4768864160587769772438544/5318794553885935459199*c_1001_1 - 743173452450520073181915/10637589107771870918398, c_0011_3 - 97672784347518017162475/5318794553885935459199*c_1001_1^14 - 1206951280036635520701649/5318794553885935459199*c_1001_1^13 - 7528663630167340831849598/5318794553885935459199*c_1001_1^12 - 30123258984337196219598207/5318794553885935459199*c_1001_1^11 - 85547075789476912770942125/5318794553885935459199*c_1001_1^10 - 182037198530697997875479878/5318794553885935459199*c_1001_1^9 - 299015541382652333553716843/5318794553885935459199*c_1001_1^8 - 385075656449341368099796196/5318794553885935459199*c_1001_1^7 - 390595246121425367721501188/5318794553885935459199*c_1001_1^6 - 310609281681974228522696757/5318794553885935459199*c_1001_1^5 - 190784974936740604346897320/5318794553885935459199*c_1001_1^4 - 87996655212051578860961134/5318794553885935459199*c_1001_1^3 - 29021717126772471425541938/5318794553885935459199*c_1001_1^2 - 6228926101770849672504098/5318794553885935459199*c_1001_1 - 673846869650724509628442/5318794553885935459199, c_0011_5 + 37852062276286331617137/5318794553885935459199*c_1001_1^14 + 488107644283467166334947/5318794553885935459199*c_1001_1^13 + 3147925909108822112297933/5318794553885935459199*c_1001_1^12 + 13000114532933025334322974/5318794553885935459199*c_1001_1^11 + 38017974520352433409933529/5318794553885935459199*c_1001_1^10 + 83138209935777780715343334/5318794553885935459199*c_1001_1^9 + 140119130074807370105383470/5318794553885935459199*c_1001_1^8 + 184927785109759598949744591/5318794553885935459199*c_1001_1^7 + 192108983368357884023543367/5318794553885935459199*c_1001_1^6 + 156427109218503295099769369/5318794553885935459199*c_1001_1^5 + 98435731534416401496284008/5318794553885935459199*c_1001_1^4 + 46587826752675845799159062/5318794553885935459199*c_1001_1^3 + 15837220181958407159871700/5318794553885935459199*c_1001_1^2 + 3549522387244574637081103/5318794553885935459199*c_1001_1 + 421243226520167872047199/5318794553885935459199, c_0011_7 - 422992565863414837419245/10637589107771870918398*c_1001_1^14 - 2383275970418968569002250/5318794553885935459199*c_1001_1^13 - 27676329356106028929153727/10637589107771870918398*c_1001_1^12 - 103144680903863928369755145/10637589107771870918398*c_1001_1^11 - 136994767345243665583768982/5318794553885935459199*c_1001_1^10 - 546705021109908777118790309/10637589107771870918398*c_1001_1^9 - 422084107590595036616840763/5318794553885935459199*c_1001_1^8 - 511969607258355773427172756/5318794553885935459199*c_1001_1^7 - 490172551433984853382210220/5318794553885935459199*c_1001_1^6 - 737780934037698021964213453/10637589107771870918398*c_1001_1^5 - 215208772967984509568236734/5318794553885935459199*c_1001_1^4 - 189570511718620681076518755/10637589107771870918398*c_1001_1^3 - 30041183721377841219200921/5318794553885935459199*c_1001_1^2 - 6213822296626960564500055/5318794553885935459199*c_1001_1 - 1287601062631856463957875/10637589107771870918398, c_0011_8 - 71270655978894670191046/5318794553885935459199*c_1001_1^14 - 622147751165936400886956/5318794553885935459199*c_1001_1^13 - 2717808256946185667815611/5318794553885935459199*c_1001_1^12 - 6568060602953840129406468/5318794553885935459199*c_1001_1^11 - 7857668246089086317846933/5318794553885935459199*c_1001_1^10 + 4085456219170722682379381/5318794553885935459199*c_1001_1^9 + 37815990805459788047379760/5318794553885935459199*c_1001_1^8 + 85631924485962224429651519/5318794553885935459199*c_1001_1^7 + 121620310082011565574180627/5318794553885935459199*c_1001_1^6 + 122474231913697301055636838/5318794553885935459199*c_1001_1^5 + 90037705490338051521450393/5318794553885935459199*c_1001_1^4 + 47913497145706687907047504/5318794553885935459199*c_1001_1^3 + 17817010020071238953182017/5318794553885935459199*c_1001_1^2 + 4272731505571186329382028/5318794553885935459199*c_1001_1 + 524619498345083478296095/5318794553885935459199, c_0101_0 - 1153448233140124329513391/10637589107771870918398*c_1001_1^1\ 4 - 6767715705460375336065830/5318794553885935459199*c_1001_1^13 - 81176539301610495704122501/10637589107771870918398*c_1001_1^12 - 312584424139033560157486815/10637589107771870918398*c_1001_1^11 - 428220656389964051322459278/5318794553885935459199*c_1001_1^10 - 1760400988345984329130398821/10637589107771870918398*c_1001_1^9 - 1397847058844944678578706510/5318794553885935459199*c_1001_1^8 - 1740922039308319444650010030/5318794553885935459199*c_1001_1^7 - 1707704083202662470695618606/5318794553885935459199*c_1001_1^6 - 2625852247542831210146988727/10637589107771870918398*c_1001_1^5 - 779437062895254809597698315/5318794553885935459199*c_1001_1^4 - 695003146398455109654965007/10637589107771870918398*c_1001_1^3 - 110861919134142752640532427/5318794553885935459199*c_1001_1^2 - 23034909984390098484152027/5318794553885935459199*c_1001_1 - 4836188966909276161604903/10637589107771870918398, c_0101_1 - 1, c_0101_11 - 79869803611335335087265/5318794553885935459199*c_1001_1^14 - 1016107532999990524656738/5318794553885935459199*c_1001_1^13 - 6454095750825632502879552/5318794553885935459199*c_1001_1^12 - 26204726358363407494279840/5318794553885935459199*c_1001_1^11 - 75188549600422645446985116/5318794553885935459199*c_1001_1^10 - 161078653550125216977333773/5318794553885935459199*c_1001_1^9 - 265496572361150026362172269/5318794553885935459199*c_1001_1^8 - 342030126974859880857430065/5318794553885935459199*c_1001_1^7 - 346012626686477615814492319/5318794553885935459199*c_1001_1^6 - 273626285295825271154491214/5318794553885935459199*c_1001_1^5 - 166682586583858915544861891/5318794553885935459199*c_1001_1^4 - 76090750459163261929697633/5318794553885935459199*c_1001_1^3 - 24840225083459610226737112/5318794553885935459199*c_1001_1^2 - 5303466005766822358084323/5318794553885935459199*c_1001_1 - 578293984381066964984157/5318794553885935459199, c_0101_2 + 242269711211053398445795/5318794553885935459199*c_1001_1^14 + 2977506760992003965283192/5318794553885935459199*c_1001_1^13 + 18473078498048465714123191/5318794553885935459199*c_1001_1^12 + 73461567734171396686246974/5318794553885935459199*c_1001_1^11 + 207181981225035925206515197/5318794553885935459199*c_1001_1^10 + 437453508877798396549143921/5318794553885935459199*c_1001_1^9 + 712401571602309724440203683/5318794553885935459199*c_1001_1^8 + 908806183794806966512723854/5318794553885935459199*c_1001_1^7 + 912428913711830787418884691/5318794553885935459199*c_1001_1^6 + 717693326649756795102483764/5318794553885935459199*c_1001_1^5 + 435866080877498747387775770/5318794553885935459199*c_1001_1^4 + 198809763706453797834935543/5318794553885935459199*c_1001_1^3 + 64932697287624255941386839/5318794553885935459199*c_1001_1^2 + 13838445704753189854671140/5318794553885935459199*c_1001_1 + 1495970249530052659011390/5318794553885935459199, c_0110_7 + 317364421103951901117158/5318794553885935459199*c_1001_1^14 + 3642537025561979302151141/5318794553885935459199*c_1001_1^13 + 21444365017669719715690256/5318794553885935459199*c_1001_1^12 + 80999119114210538529883823/5318794553885935459199*c_1001_1^11 + 217701463810544570177852734/5318794553885935459199*c_1001_1^10 + 438829551169867235683172383/5318794553885935459199*c_1001_1^9 + 683122603904080789746338689/5318794553885935459199*c_1001_1^8 + 833288639867835737796639565/5318794553885935459199*c_1001_1^7 + 799643237009697997265262805/5318794553885935459199*c_1001_1^6 + 600445088259131640523068802/5318794553885935459199*c_1001_1^5 + 347347612073450080335477215/5318794553885935459199*c_1001_1^4 + 150443207454366146046025070/5318794553885935459199*c_1001_1^3 + 46436336877519540314008884/5318794553885935459199*c_1001_1^2 + 9276732887544643419497262/5318794553885935459199*c_1001_1 + 923091190986612857598202/5318794553885935459199, c_1001_1^15 + 1255/103*c_1001_1^14 + 7807/103*c_1001_1^13 + 31332/103*c_1001_1^12 + 89925/103*c_1001_1^11 + 194797/103*c_1001_1^10 + 328475/103*c_1001_1^9 + 438566/103*c_1001_1^8 + 467086/103*c_1001_1^7 + 396657/103*c_1001_1^6 + 266449/103*c_1001_1^5 + 139231/103*c_1001_1^4 + 54993/103*c_1001_1^3 + 15620/103*c_1001_1^2 + 2889/103*c_1001_1 + 267/103 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB