Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 1065264104] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1550 geometric_solution 5.34110624 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1023 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 -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.001038341316 0.480697836550 0 1 1 0 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 2.284860361056 0.809542920927 3 0 5 4 2310 0132 0132 0132 0 0 0 0 0 1 0 -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 0 0 0 0 0 -1 0 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.470841966598 0.976687904844 5 4 2 0 0132 1023 3201 0132 0 0 0 0 0 1 0 -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 -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.470841966598 0.976687904844 3 6 2 6 1023 0132 0132 1023 0 0 0 0 0 0 1 -1 -1 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 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.891604263398 0.474967102294 3 5 5 2 0132 1230 3012 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 0 0 0 0 0 0 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.048033715185 0.729886748144 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 1 -1 -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.599438760726 0.168771961994 ==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' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0110_4'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0110_4'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], '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_2']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0110_4'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0101_0, c_0101_1, c_0101_2, c_0110_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 2530187589189191538550994959162/4327619958602537599486225431*c_0110\ _6^19 - 6783119106847540977553635813062/432761995860253759948622543\ 1*c_0110_6^18 + 12747319763493170661321972816419/480846662066948622\ 165136159*c_0110_6^17 - 24027480875618943419376961776376/4327619958\ 602537599486225431*c_0110_6^16 - 1300206305732520273643658682758060\ /4327619958602537599486225431*c_0110_6^15 + 1515611610987869578176472173272047/4327619958602537599486225431*c_0\ 110_6^14 + 4678544862832442054624121749397841/432761995860253759948\ 6225431*c_0110_6^13 - 7616310615220473329516052689445580/4327619958\ 602537599486225431*c_0110_6^12 - 5565522274726951532267988958599386\ /4327619958602537599486225431*c_0110_6^11 + 3976402019070524361383108920284706/1442539986200845866495408477*c_0\ 110_6^10 + 789032927583728384676988668004277/1442539986200845866495\ 408477*c_0110_6^9 - 6679460566730503278254536147910333/432761995860\ 2537599486225431*c_0110_6^8 - 1190290383390413931326144273104358/43\ 27619958602537599486225431*c_0110_6^7 + 122350154085879991365019291707775/480846662066948622165136159*c_011\ 0_6^6 + 164600418866186818129761743325712/1442539986200845866495408\ 477*c_0110_6^5 + 15123755626568614489902329871871/14425399862008458\ 66495408477*c_0110_6^4 - 34327161895879618303452494635564/144253998\ 6200845866495408477*c_0110_6^3 - 404769422736525915428509034399/432\ 7619958602537599486225431*c_0110_6^2 + 23541024198007342765545794448733/4327619958602537599486225431*c_011\ 0_6 + 4298442536047804998087446726144/4327619958602537599486225431, c_0011_0 - 1, c_0011_3 - 4242082357279365009974110102/1442539986200845866495408477*c_\ 0110_6^19 - 12849471234286336417041541106/1442539986200845866495408\ 477*c_0110_6^18 + 62922849459426734763294120259/4808466620669486221\ 65136159*c_0110_6^17 + 27603803886666799821536363210/14425399862008\ 45866495408477*c_0110_6^16 - 2211407638989866054028866957252/144253\ 9986200845866495408477*c_0110_6^15 + 1790384727344140097377403802124/1442539986200845866495408477*c_0110\ _6^14 + 8921612991936195782205832557205/144253998620084586649540847\ 7*c_0110_6^13 - 10318496319712354803292133967445/144253998620084586\ 6495408477*c_0110_6^12 - 14402849508064165167820369556861/144253998\ 6200845866495408477*c_0110_6^11 + 6023537360039483842656778133296/4\ 80846662066948622165136159*c_0110_6^10 + 3801336212148438763627194741759/480846662066948622165136159*c_0110_\ 6^9 - 11759830248136801365220960617203/1442539986200845866495408477\ *c_0110_6^8 - 5700452492022197252644801387265/144253998620084586649\ 5408477*c_0110_6^7 + 711001027966031761539748103009/480846662066948\ 622165136159*c_0110_6^6 + 452509443889883972204220788614/4808466620\ 66948622165136159*c_0110_6^5 + 72138552876129950021040050687/480846\ 662066948622165136159*c_0110_6^4 - 58762627795253426274621106193/480846662066948622165136159*c_0110_6^\ 3 - 58865012959276702481156332181/1442539986200845866495408477*c_01\ 10_6^2 + 54926766462823729076378170567/1442539986200845866495408477\ *c_0110_6 + 16529369109580516093151635811/1442539986200845866495408\ 477, c_0101_0 + 921360101723497630958219280/480846662066948622165136159*c_01\ 10_6^19 + 3277310624508971242580524954/480846662066948622165136159*\ c_0110_6^18 - 39927264149134179628072882636/48084666206694862216513\ 6159*c_0110_6^17 - 28558384515157964947981699739/480846662066948622\ 165136159*c_0110_6^16 + 495690777808927516774011467031/480846662066\ 948622165136159*c_0110_6^15 - 146456580498846697438722151047/480846\ 662066948622165136159*c_0110_6^14 - 2344396650132815519992027600718/480846662066948622165136159*c_0110_\ 6^13 + 1537542048458172045199873374254/480846662066948622165136159*\ c_0110_6^12 + 4922494599125962069778497832506/480846662066948622165\ 136159*c_0110_6^11 - 3710644919561189546288438358414/48084666206694\ 8622165136159*c_0110_6^10 - 4852903614998294253503811892900/4808466\ 62066948622165136159*c_0110_6^9 + 3207502303155842027475138431814/4\ 80846662066948622165136159*c_0110_6^8 + 2198191264847112409463238537589/480846662066948622165136159*c_0110_\ 6^7 - 652709794195365151979956098663/480846662066948622165136159*c_\ 0110_6^6 - 425681639964202817323595816551/4808466620669486221651361\ 59*c_0110_6^5 - 92863948857439431619697696582/480846662066948622165\ 136159*c_0110_6^4 + 54701819255608775892844228400/48084666206694862\ 2165136159*c_0110_6^3 + 24620535841601102016206044643/4808466620669\ 48622165136159*c_0110_6^2 - 17624305495800336988792488605/480846662\ 066948622165136159*c_0110_6 - 5700282562407848365541743999/48084666\ 2066948622165136159, c_0101_1 + 17514909060371583847228717318/480846662066948622165136159*c_\ 0110_6^19 + 47620673112686176902991201692/4808466620669486221651361\ 59*c_0110_6^18 - 792708152678622425231294026085/4808466620669486221\ 65136159*c_0110_6^17 + 135497554440089973096541501409/4808466620669\ 48622165136159*c_0110_6^16 + 9021584961604076538927910052509/480846\ 662066948622165136159*c_0110_6^15 - 10161446301695827609295786536196/480846662066948622165136159*c_0110\ _6^14 - 32941406212256993118334613782531/48084666206694862216513615\ 9*c_0110_6^13 + 51774880509449610350817436122705/480846662066948622\ 165136159*c_0110_6^12 + 40953538716742323262113455814086/4808466620\ 66948622165136159*c_0110_6^11 - 82324577218373562418979291030018/48\ 0846662066948622165136159*c_0110_6^10 - 19524887871546501726704069776723/480846662066948622165136159*c_0110\ _6^9 + 47136955888586114818779132278909/480846662066948622165136159\ *c_0110_6^8 + 9420109576372115391946867544265/480846662066948622165\ 136159*c_0110_6^7 - 7844943682544153097463161375614/480846662066948\ 622165136159*c_0110_6^6 - 3556556228866796177255912436272/480846662\ 066948622165136159*c_0110_6^5 - 377072120804157271507680271793/4808\ 46662066948622165136159*c_0110_6^4 + 731809511263190737190041537778/480846662066948622165136159*c_0110_6\ ^3 + 15523971650102976972040927882/480846662066948622165136159*c_01\ 10_6^2 - 169295035555524293432339266734/480846662066948622165136159\ *c_0110_6 - 32376641478761362035639541888/4808466620669486221651361\ 59, c_0101_2 + 400892927865696673140507946/1442539986200845866495408477*c_0\ 110_6^19 + 552706748623623512851276400/1442539986200845866495408477\ *c_0110_6^18 - 6406273479379893773984339137/48084666206694862216513\ 6159*c_0110_6^17 + 28227684145261303102943595343/144253998620084586\ 6495408477*c_0110_6^16 + 184359259369936322085472372925/14425399862\ 00845866495408477*c_0110_6^15 - 495209815652413028962145055031/1442\ 539986200845866495408477*c_0110_6^14 - 251992430470120393488523586374/1442539986200845866495408477*c_0110_\ 6^13 + 1853879663108206027718354914117/1442539986200845866495408477\ *c_0110_6^12 - 1167725636075227666986486629947/14425399862008458664\ 95408477*c_0110_6^11 - 559696464638834720682727988205/4808466620669\ 48622165136159*c_0110_6^10 + 695859073741522391106623793685/4808466\ 62066948622165136159*c_0110_6^9 - 146416448725812721352476794250/14\ 42539986200845866495408477*c_0110_6^8 - 555731618407138567448591846860/1442539986200845866495408477*c_0110_\ 6^7 + 53558026046943980232258016639/480846662066948622165136159*c_0\ 110_6^6 + 1063008207884474333060750427/480846662066948622165136159*\ c_0110_6^5 + 7109027477146672821295550068/4808466620669486221651361\ 59*c_0110_6^4 - 3783875130020071998137248194/4808466620669486221651\ 36159*c_0110_6^3 - 8358685751111049559965263179/1442539986200845866\ 495408477*c_0110_6^2 + 1086525098630436317476014692/144253998620084\ 5866495408477*c_0110_6 + 1153055607861593545473770893/1442539986200\ 845866495408477, c_0110_4 + 2600481281456981835961239890/480846662066948622165136159*c_0\ 110_6^19 + 7452104873140205675854066814/480846662066948622165136159\ *c_0110_6^18 - 116747723733116765486585019187/480846662066948622165\ 136159*c_0110_6^17 + 2612083286238907483931947664/48084666206694862\ 2165136159*c_0110_6^16 + 1346548982061834483898814733350/4808466620\ 66948622165136159*c_0110_6^15 - 1313551800028641835579451117923/480\ 846662066948622165136159*c_0110_6^14 - 5158892029739082094647903323691/480846662066948622165136159*c_0110_\ 6^13 + 7030804315443548966117686318809/480846662066948622165136159*\ c_0110_6^12 + 7369734666320194280355276048316/480846662066948622165\ 136159*c_0110_6^11 - 11633776462196542985268116358169/4808466620669\ 48622165136159*c_0110_6^10 - 4851673648068534723502044030601/480846\ 662066948622165136159*c_0110_6^9 + 7049303333043731660804434116634/480846662066948622165136159*c_0110_\ 6^8 + 2426866733551649596013234143221/480846662066948622165136159*c\ _0110_6^7 - 1222997703709801082414402849935/48084666206694862216513\ 6159*c_0110_6^6 - 677340849453459778130103162372/480846662066948622\ 165136159*c_0110_6^5 - 97049642684836665400047419053/48084666206694\ 8622165136159*c_0110_6^4 + 106215192925411579642134333988/480846662\ 066948622165136159*c_0110_6^3 + 19636913640059435906562527357/48084\ 6662066948622165136159*c_0110_6^2 - 28833259306102877344068795620/480846662066948622165136159*c_0110_6 - 7371468491830320438221369097/480846662066948622165136159, c_0110_6^20 + 3*c_0110_6^19 - 89/2*c_0110_6^18 - 5*c_0110_6^17 + 1035/2*c_0110_6^16 - 871/2*c_0110_6^15 - 4093/2*c_0110_6^14 + 4863/2*c_0110_6^13 + 3177*c_0110_6^12 - 8123/2*c_0110_6^11 - 2439*c_0110_6^10 + 2402*c_0110_6^9 + 1288*c_0110_6^8 - 611/2*c_0110_6^7 - 327*c_0110_6^6 - 78*c_0110_6^5 + 36*c_0110_6^4 + 25/2*c_0110_6^3 - 19/2*c_0110_6^2 - 9/2*c_0110_6 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB