Magma V2.19-8 Tue Aug 20 2013 23:45:01 on localhost [Seed = 3769009479] Type ? for help. Type -D to quit. Loading file "K13n2149__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2149 geometric_solution 10.81724933 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 1 -1 0 0 1 -1 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531753352663 0.929161073906 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 1 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 0 -3 0 3 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.266484143083 0.598607211605 4 0 5 8 1230 0132 2103 0132 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 0 0 0 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.600090939119 0.691967731387 9 10 5 0 0132 0132 2031 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 1 0 -1 0 0 1 -1 0 2 0 -2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425618469466 0.613564820054 7 2 0 11 0132 3012 0132 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 2 1 -3 -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.690629487059 0.998821773673 2 1 10 3 2103 0132 3201 1302 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 3 -2 -1 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.779782151288 0.639012036663 8 10 1 9 0213 3201 0132 3201 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 -3 3 0 0 0 0 1 -1 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.659687704829 0.419169626528 4 11 9 1 0132 1302 1230 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 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.618077135259 0.295698851936 6 9 2 11 0213 0213 0132 2310 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 -1 0 0 1 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.023955259180 0.987325290547 3 6 8 7 0132 2310 0213 3012 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 -1 0 0 1 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.844412951542 1.323907030817 5 3 6 11 2310 0132 2310 2031 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 -3 3 0 1 0 -1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.873395856722 0.695362751319 8 10 4 7 3201 1302 0132 2031 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 -3 3 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.552729500254 0.459769704677 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_2']), 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : negation(d['c_0101_10']), 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_0110_11'], 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_4']), 'c_1010_10' : d['c_0011_11'], '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' : 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_2_11' : 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_0110_11']), 'c_1100_8' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_0011_11'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_1']), 'c_1100_10' : d['c_0011_4'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_10']), 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : negation(d['c_0110_11']), '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_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0101_2']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_8'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : negation(d['c_0101_11']), 'c_0110_1' : d['c_0011_8'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_8'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11']})} 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_11, c_0011_4, c_0011_8, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0110_11, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 643288217320088873946481893/19486474835909961562423*c_1001_1^14 - 12368039477023354975391088459/77945899343639846249692*c_1001_1^13 - 12982404877940555375772357529/38972949671819923124846*c_1001_1^12 - 13637352000292754288613661794/19486474835909961562423*c_1001_1^11 - 10025790413979113655457079479/5995838411049218942284*c_1001_1^10 - 100747624693265867876036913785/38972949671819923124846*c_1001_1^9 - 156917952261631808056788670581/77945899343639846249692*c_1001_1^8 - 25314375488530489500496242629/77945899343639846249692*c_1001_1^7 + 21752900985734756529027780659/38972949671819923124846*c_1001_1^6 - 163076148397064020704892201/2997919205524609471142*c_1001_1^5 - 54033706966316423815878367617/77945899343639846249692*c_1001_1^4 - 29716058967083335481170784061/77945899343639846249692*c_1001_1^3 - 975661352990937020055943473/77945899343639846249692*c_1001_1^2 - 608193120372961873128555887/77945899343639846249692*c_1001_1 - 762450553920419013495206121/77945899343639846249692, c_0011_0 - 1, c_0011_10 + 14317066427825832/11098389636995911*c_1001_1^14 + 18122123455345596/11098389636995911*c_1001_1^13 - 28463713390262946/11098389636995911*c_1001_1^12 + 33000920644140073/11098389636995911*c_1001_1^11 + 23853339237697078/11098389636995911*c_1001_1^10 - 482771423593020195/11098389636995911*c_1001_1^9 - 879724278637030596/11098389636995911*c_1001_1^8 - 556323420019124455/11098389636995911*c_1001_1^7 + 108082920033484954/11098389636995911*c_1001_1^6 + 282193629743402473/11098389636995911*c_1001_1^5 - 147840508637656232/11098389636995911*c_1001_1^4 - 204912021667949431/11098389636995911*c_1001_1^3 - 26465129412170209/11098389636995911*c_1001_1^2 - 19062468976385736/11098389636995911*c_1001_1 - 740864908603983/11098389636995911, c_0011_11 - 39211915432737773/11098389636995911*c_1001_1^14 - 152011923720430855/11098389636995911*c_1001_1^13 - 270619731553334743/11098389636995911*c_1001_1^12 - 644896058060571530/11098389636995911*c_1001_1^11 - 1504347107017637133/11098389636995911*c_1001_1^10 - 1943591806571434974/11098389636995911*c_1001_1^9 - 1226849126495589752/11098389636995911*c_1001_1^8 - 90777666595427667/11098389636995911*c_1001_1^7 + 235391589535177789/11098389636995911*c_1001_1^6 - 270595463326177658/11098389636995911*c_1001_1^5 - 415415374255248034/11098389636995911*c_1001_1^4 - 166099430743325944/11098389636995911*c_1001_1^3 - 62031825894535191/11098389636995911*c_1001_1^2 - 23769227176556152/11098389636995911*c_1001_1 - 5405047309097686/11098389636995911, c_0011_4 - 11617624687779286/11098389636995911*c_1001_1^14 - 51576164148086070/11098389636995911*c_1001_1^13 - 95976491535599261/11098389636995911*c_1001_1^12 - 204515784387123542/11098389636995911*c_1001_1^11 - 510840489903093692/11098389636995911*c_1001_1^10 - 704434088743772306/11098389636995911*c_1001_1^9 - 404180462954720504/11098389636995911*c_1001_1^8 + 24954358100464427/11098389636995911*c_1001_1^7 + 115357657763951092/11098389636995911*c_1001_1^6 - 110915430030730257/11098389636995911*c_1001_1^5 - 174958937606402245/11098389636995911*c_1001_1^4 - 6438968141908186/11098389636995911*c_1001_1^3 - 11965616457615703/11098389636995911*c_1001_1^2 - 16032801034044896/11098389636995911*c_1001_1 - 75083528999784/11098389636995911, c_0011_8 + 23393392524764724/11098389636995911*c_1001_1^14 + 93176054599318409/11098389636995911*c_1001_1^13 + 166618379233370117/11098389636995911*c_1001_1^12 + 387961417476308993/11098389636995911*c_1001_1^11 + 926363166563596437/11098389636995911*c_1001_1^10 + 1203743309175988828/11098389636995911*c_1001_1^9 + 738577576699893561/11098389636995911*c_1001_1^8 + 76950813028348407/11098389636995911*c_1001_1^7 - 121953752839710987/11098389636995911*c_1001_1^6 + 171571623455215107/11098389636995911*c_1001_1^5 + 245571069820032510/11098389636995911*c_1001_1^4 + 74513576408175724/11098389636995911*c_1001_1^3 + 72856219272115340/11098389636995911*c_1001_1^2 + 12485509823263099/11098389636995911*c_1001_1 + 4200660365808560/11098389636995911, c_0101_1 + 24538616577484405/11098389636995911*c_1001_1^14 + 89563515297560064/11098389636995911*c_1001_1^13 + 160060337286224533/11098389636995911*c_1001_1^12 + 402888887799281977/11098389636995911*c_1001_1^11 + 905637259119358219/11098389636995911*c_1001_1^10 + 1162244018072942937/11098389636995911*c_1001_1^9 + 837802061404267969/11098389636995911*c_1001_1^8 + 227493534375884350/11098389636995911*c_1001_1^7 - 31011509306403323/11098389636995911*c_1001_1^6 + 141038647138578295/11098389636995911*c_1001_1^5 + 207806904155270973/11098389636995911*c_1001_1^4 + 152075130581149227/11098389636995911*c_1001_1^3 + 72585966278290080/11098389636995911*c_1001_1^2 + 21370105723593477/11098389636995911*c_1001_1 + 7841432136258111/11098389636995911, c_0101_10 - 7029968787734112/11098389636995911*c_1001_1^14 - 19579741083967759/11098389636995911*c_1001_1^13 - 43702244420244132/11098389636995911*c_1001_1^12 - 134086138978736174/11098389636995911*c_1001_1^11 - 246378541195754303/11098389636995911*c_1001_1^10 - 362995450896512433/11098389636995911*c_1001_1^9 - 488726116670743864/11098389636995911*c_1001_1^8 - 384440697052452389/11098389636995911*c_1001_1^7 - 134820468782067215/11098389636995911*c_1001_1^6 + 29682769272146853/11098389636995911*c_1001_1^5 - 11728674949923656/11098389636995911*c_1001_1^4 - 155393986371057990/11098389636995911*c_1001_1^3 - 66174080223373534/11098389636995911*c_1001_1^2 + 2578954073611309/11098389636995911*c_1001_1 - 10762296543195320/11098389636995911, c_0101_11 + 65641773283718478/11098389636995911*c_1001_1^14 + 245363800157205213/11098389636995911*c_1001_1^13 + 412344147730927384/11098389636995911*c_1001_1^12 + 1008443644049748043/11098389636995911*c_1001_1^11 + 2364919006643627210/11098389636995911*c_1001_1^10 + 2858322319387625020/11098389636995911*c_1001_1^9 + 1541536602204941650/11098389636995911*c_1001_1^8 - 105475744289959922/11098389636995911*c_1001_1^7 - 355677673082047308/11098389636995911*c_1001_1^6 + 530357663447607632/11098389636995911*c_1001_1^5 + 594947665067621577/11098389636995911*c_1001_1^4 + 168521118204115953/11098389636995911*c_1001_1^3 + 104359556220004437/11098389636995911*c_1001_1^2 + 16166368910762006/11098389636995911*c_1001_1 + 4410343856101120/11098389636995911, c_0101_2 - 16521867924158652/11098389636995911*c_1001_1^14 - 54641274563870828/11098389636995911*c_1001_1^13 - 79907526165505591/11098389636995911*c_1001_1^12 - 215311912685594778/11098389636995911*c_1001_1^11 - 487992355933299301/11098389636995911*c_1001_1^10 - 481955780609396079/11098389636995911*c_1001_1^9 - 119741733336592633/11098389636995911*c_1001_1^8 + 212065419541669593/11098389636995911*c_1001_1^7 + 162548722541331232/11098389636995911*c_1001_1^6 - 119384178185011630/11098389636995911*c_1001_1^5 - 128725688987956369/11098389636995911*c_1001_1^4 - 41521931452752118/11098389636995911*c_1001_1^3 + 1548316771877031/11098389636995911*c_1001_1^2 + 26026379556694024/11098389636995911*c_1001_1 + 1627447723540371/11098389636995911, c_0110_11 - 43952427395957476/11098389636995911*c_1001_1^14 - 167992384350868623/11098389636995911*c_1001_1^13 - 287288942408847450/11098389636995911*c_1001_1^12 - 692394744201041024/11098389636995911*c_1001_1^11 - 1627590835617038379/11098389636995911*c_1001_1^10 - 2013641920461956627/11098389636995911*c_1001_1^9 - 1133121733199185644/11098389636995911*c_1001_1^8 + 63615163095947496/11098389636995911*c_1001_1^7 + 286540613461949975/11098389636995911*c_1001_1^6 - 345438372871043868/11098389636995911*c_1001_1^5 - 443373980686721957/11098389636995911*c_1001_1^4 - 148240789585922329/11098389636995911*c_1001_1^3 - 47453688372438386/11098389636995911*c_1001_1^2 - 17172140408215777/11098389636995911*c_1001_1 - 1852208164106762/11098389636995911, c_1001_0 + 18067771411956222/11098389636995911*c_1001_1^14 + 80422187053706378/11098389636995911*c_1001_1^13 + 146805303914624179/11098389636995911*c_1001_1^12 + 308294581611134843/11098389636995911*c_1001_1^11 + 772345164712897854/11098389636995911*c_1001_1^10 + 1046143559171272298/11098389636995911*c_1001_1^9 + 519687790240277635/11098389636995911*c_1001_1^8 - 220113554548586021/11098389636995911*c_1001_1^7 - 324126978449136083/11098389636995911*c_1001_1^6 + 156295747669908380/11098389636995911*c_1001_1^5 + 327069879819861239/11098389636995911*c_1001_1^4 + 34119539118374866/11098389636995911*c_1001_1^3 - 34522951704211676/11098389636995911*c_1001_1^2 + 7044994008849539/11098389636995911*c_1001_1 - 4035416357535161/11098389636995911, c_1001_1^15 + 50/11*c_1001_1^14 + 9*c_1001_1^13 + 213/11*c_1001_1^12 + 514/11*c_1001_1^11 + 752/11*c_1001_1^10 + 535/11*c_1001_1^9 + 67/11*c_1001_1^8 - 125/11*c_1001_1^7 + 63/11*c_1001_1^6 + 191/11*c_1001_1^5 + 78/11*c_1001_1^4 + 12/11*c_1001_1^3 + 14/11*c_1001_1^2 - 1/11*c_1001_1 + 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.790 Total time: 1.000 seconds, Total memory usage: 32.09MB