Magma V2.19-8 Tue Aug 20 2013 23:42:47 on localhost [Seed = 2732902373] Type ? for help. Type -D to quit. Loading file "L13n5891__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5891 geometric_solution 10.64793950 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 2 3 0132 0132 1302 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 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.196378021258 0.885652151709 0 4 5 4 0132 0132 0132 1230 1 1 0 1 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 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.545832410968 1.134231604687 0 0 7 6 2031 0132 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 1 0 -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.761371361007 1.076199700097 5 5 0 8 0321 0213 0132 0132 1 1 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 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.422789673793 1.177749913691 1 1 9 8 3012 0132 0132 2031 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 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.304249024566 0.759827138026 3 6 3 1 0321 1302 0213 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 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.230809054206 1.003216004839 9 9 2 5 1302 3012 0132 2031 1 1 1 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 1 -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.471700564205 1.088649150372 10 9 8 2 0132 3201 3201 0132 1 1 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 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.672491716023 0.877019481127 7 4 3 10 2310 1302 0132 1302 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 -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.606453839421 0.484513872694 6 6 7 4 1230 2031 2310 0132 1 1 0 1 0 0 1 -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 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.471700564205 1.088649150372 7 10 8 10 0132 1302 2031 2031 1 1 1 1 0 1 0 -1 0 0 1 -1 0 1 0 -1 -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 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.467669254323 0.418465553631 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_7'], 'c_1001_5' : d['c_0110_6'], 'c_1001_4' : d['c_0011_6'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0011_9']), 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : negation(d['c_0011_9']), 'c_1001_3' : d['c_0110_6'], 'c_1001_2' : d['c_0110_6'], 'c_1001_9' : negation(d['c_0110_6']), 'c_1001_8' : d['c_0110_4'], 'c_1010_10' : d['c_0011_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], '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_2_10' : 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_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : negation(d['c_0011_8']), 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : d['c_0101_10'], 'c_1100_3' : d['c_0101_10'], 'c_1100_2' : negation(d['c_0011_8']), 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : d['c_0110_6'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : d['c_0011_8'], 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : negation(d['c_0011_9']), 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_0110_6'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : d['c_0011_10'], 'c_1100_8' : d['c_0101_10'], '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_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' : 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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_6'], '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_10' : d['c_0101_7'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_9']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0011_5']), 'c_0101_8' : negation(d['c_0011_5']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : negation(d['c_0101_7']), 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_9']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_6, c_0011_8, c_0011_9, c_0101_10, c_0101_7, c_0110_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 9232654720688838341373138710759/22168303563943738942662125*c_0110_6\ ^13 + 16961305741063720844418263336871/1528848521651292340873250*c_\ 0110_6^12 + 2381904906083653731933486947742349/44336607127887477885\ 324250*c_0110_6^11 + 170829968357848715409015137319509/152884852165\ 1292340873250*c_0110_6^10 + 539472353805098813905452185481821/44336\ 60712788747788532425*c_0110_6^9 + 114834525740794073253904732589445\ 2/22168303563943738942662125*c_0110_6^8 + 15938369934563729162798901669472/1304017856702572878980125*c_0110_6\ ^7 - 7668236969204821416559144021979661/44336607127887477885324250*\ c_0110_6^6 - 9729812190205115143927714422475673/4433660712788747788\ 5324250*c_0110_6^5 - 5937967921632733590680687853953401/22168303563\ 943738942662125*c_0110_6^4 - 2735576823739649005649552900784686/221\ 68303563943738942662125*c_0110_6^3 - 269630065346331208914817225304249/4433660712788747788532425*c_0110_\ 6^2 + 394045858734480562293883932798/161812434773311963085125*c_011\ 0_6 - 115778292273639382316855818234681/44336607127887477885324250, c_0011_0 - 1, c_0011_10 + 68836456509532894/4927795396136316973*c_0110_6^13 + 1812393262268215310/4927795396136316973*c_0110_6^12 + 8346529987295781575/4927795396136316973*c_0110_6^11 + 16571430854520107872/4927795396136316973*c_0110_6^10 + 17434068281420943981/4927795396136316973*c_0110_6^9 + 4919691199903359382/4927795396136316973*c_0110_6^8 - 4005322329877751540/4927795396136316973*c_0110_6^7 - 37865005395961340749/4927795396136316973*c_0110_6^6 - 28797437123569473535/4927795396136316973*c_0110_6^5 - 42656016637058469247/4927795396136316973*c_0110_6^4 + 447291545872356112/4927795396136316973*c_0110_6^3 + 4611035361462506288/4927795396136316973*c_0110_6^2 + 84960678951887172/35969309460849029*c_0110_6 + 2758006972247720265/4927795396136316973, c_0011_3 + 1, c_0011_5 + 25228999669766872055/719458127835902278058*c_0110_6^13 + 330062029629843360503/359729063917951139029*c_0110_6^12 + 1465619717922365014941/359729063917951139029*c_0110_6^11 + 2543698789430679308413/359729063917951139029*c_0110_6^10 + 3544838423315479853419/719458127835902278058*c_0110_6^9 - 735800096475558018985/359729063917951139029*c_0110_6^8 - 865542715165075278899/359729063917951139029*c_0110_6^7 - 5414690001296365524923/359729063917951139029*c_0110_6^6 - 3990138813279588709565/359729063917951139029*c_0110_6^5 - 7249454359859779448447/719458127835902278058*c_0110_6^4 + 718880485805228837781/359729063917951139029*c_0110_6^3 + 2001953615021318462413/719458127835902278058*c_0110_6^2 + 12563781816171735899/5251519181283958234*c_0110_6 + 20897951284387761523/359729063917951139029, c_0011_6 - 2436749061855140258/359729063917951139029*c_0110_6^13 - 67081061814627313781/359729063917951139029*c_0110_6^12 - 369212508329737070427/359729063917951139029*c_0110_6^11 - 856575647912687763308/359729063917951139029*c_0110_6^10 - 945553889728537044143/359729063917951139029*c_0110_6^9 - 265859598793205682575/359729063917951139029*c_0110_6^8 + 384681996003994768781/359729063917951139029*c_0110_6^7 + 1328462649281445333793/359729063917951139029*c_0110_6^6 + 2360711225872892522566/359729063917951139029*c_0110_6^5 + 1299176548685380273259/359729063917951139029*c_0110_6^4 + 1028471422636579345442/359729063917951139029*c_0110_6^3 - 486856800394257536014/359729063917951139029*c_0110_6^2 - 3185547602150116601/2625759590641979117*c_0110_6 - 293818407944680902115/359729063917951139029, c_0011_8 + 16691930525393865095/719458127835902278058*c_0110_6^13 + 214796485732014925885/359729063917951139029*c_0110_6^12 + 878419989539228871859/359729063917951139029*c_0110_6^11 + 1327693390537845145210/359729063917951139029*c_0110_6^10 + 1382757687494690926297/719458127835902278058*c_0110_6^9 - 630495234009145968373/359729063917951139029*c_0110_6^8 - 160720867817845212293/359729063917951139029*c_0110_6^7 - 3552443426549383163795/359729063917951139029*c_0110_6^6 - 1351543667967349330820/359729063917951139029*c_0110_6^5 - 5015950521324569156527/719458127835902278058*c_0110_6^4 + 1594415859659326626557/359729063917951139029*c_0110_6^3 + 47311426215919950517/719458127835902278058*c_0110_6^2 + 15683613699793121775/5251519181283958234*c_0110_6 - 164711400326344260146/359729063917951139029, c_0011_9 - 25735496494852193187/719458127835902278058*c_0110_6^13 - 334673283962062419527/359729063917951139029*c_0110_6^12 - 1445034318011326149584/359729063917951139029*c_0110_6^11 - 2430333770087377075900/359729063917951139029*c_0110_6^10 - 3366463253526195044023/719458127835902278058*c_0110_6^9 + 599453358636843763322/359729063917951139029*c_0110_6^8 + 485399936778794270062/359729063917951139029*c_0110_6^7 + 5566045932370956967948/359729063917951139029*c_0110_6^6 + 3464330624460916717167/359729063917951139029*c_0110_6^5 + 9052648609438295441753/719458127835902278058*c_0110_6^4 - 1024497751633418763139/359729063917951139029*c_0110_6^3 - 244592168513042507263/719458127835902278058*c_0110_6^2 - 18949802126214099251/5251519181283958234*c_0110_6 - 78649008278802897859/359729063917951139029, c_0101_10 - 25735496494852193187/719458127835902278058*c_0110_6^13 - 334673283962062419527/359729063917951139029*c_0110_6^12 - 1445034318011326149584/359729063917951139029*c_0110_6^11 - 2430333770087377075900/359729063917951139029*c_0110_6^10 - 3366463253526195044023/719458127835902278058*c_0110_6^9 + 599453358636843763322/359729063917951139029*c_0110_6^8 + 485399936778794270062/359729063917951139029*c_0110_6^7 + 5566045932370956967948/359729063917951139029*c_0110_6^6 + 3464330624460916717167/359729063917951139029*c_0110_6^5 + 9052648609438295441753/719458127835902278058*c_0110_6^4 - 1024497751633418763139/359729063917951139029*c_0110_6^3 - 244592168513042507263/719458127835902278058*c_0110_6^2 - 24201321307498057485/5251519181283958234*c_0110_6 - 78649008278802897859/359729063917951139029, c_0101_7 - 12960356852102108265/719458127835902278058*c_0110_6^13 - 161334831502910314849/359729063917951139029*c_0110_6^12 - 543679832369168265982/359729063917951139029*c_0110_6^11 - 504290598626090305323/359729063917951139029*c_0110_6^10 + 191391687100090782733/719458127835902278058*c_0110_6^9 + 523799649849617242003/359729063917951139029*c_0110_6^8 - 433603664391933790490/359729063917951139029*c_0110_6^7 + 3067935716218664807715/359729063917951139029*c_0110_6^6 - 1011126517806881843569/359729063917951139029*c_0110_6^5 + 2386527285535612545629/719458127835902278058*c_0110_6^4 - 1962221448467976526782/359729063917951139029*c_0110_6^3 + 1148776335250997522803/719458127835902278058*c_0110_6^2 - 5596652324995249537/5251519181283958234*c_0110_6 + 240808183682505304423/359729063917951139029, c_0110_4 + 21565428649104145611/719458127835902278058*c_0110_6^13 + 281877547546642239666/359729063917951139029*c_0110_6^12 + 1247632497868965942286/359729063917951139029*c_0110_6^11 + 2184269038450532908518/359729063917951139029*c_0110_6^10 + 3273865466951765014583/719458127835902278058*c_0110_6^9 - 364635635215940285798/359729063917951139029*c_0110_6^8 - 545402863821839981074/359729063917951139029*c_0110_6^7 - 4880906075830828497588/359729063917951139029*c_0110_6^6 - 3712254893840241853386/359729063917951139029*c_0110_6^5 - 7614303618695329703045/719458127835902278058*c_0110_6^4 + 565944437022747281115/359729063917951139029*c_0110_6^3 + 1021025027004435022545/719458127835902278058*c_0110_6^2 + 22054708904093354977/5251519181283958234*c_0110_6 + 129107007618336641969/359729063917951139029, c_0110_6^14 + 26*c_0110_6^13 + 112*c_0110_6^12 + 186*c_0110_6^11 + 121*c_0110_6^10 - 62*c_0110_6^9 - 50*c_0110_6^8 - 434*c_0110_6^7 - 262*c_0110_6^6 - 307*c_0110_6^5 + 114*c_0110_6^4 + 43*c_0110_6^3 + 99*c_0110_6^2 - 10*c_0110_6 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB