Magma V2.19-8 Wed Aug 21 2013 00:22:38 on localhost [Seed = 1064906119] Type ? for help. Type -D to quit. Loading file "K14n12079__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n12079 geometric_solution 11.63293014 oriented_manifold CS_known 0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 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 9 -1 -8 0 0 1 -1 0 -9 0 9 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.833267919144 0.664015485516 0 5 7 6 0132 0132 0132 0132 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 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620637202657 0.901752210677 5 0 5 6 2031 0132 0132 2031 0 0 0 0 0 -1 1 0 -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 -9 9 0 -9 0 9 0 -1 1 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759060945502 0.617169601371 4 8 9 0 0213 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 1 0 0 -1 1 0 0 -1 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548702185895 0.803179685163 3 7 0 10 0213 0132 0132 0132 0 0 0 0 0 -1 1 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 -8 8 0 -1 0 1 0 -1 1 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.618829571185 0.604743561869 11 1 2 2 0132 0132 1302 0132 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 0 9 -9 0 0 9 -9 8 -8 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460898814805 0.215634754878 10 2 1 11 0321 1302 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379037175233 0.507668156701 8 4 9 1 0321 0132 3120 0132 0 0 0 0 0 1 -1 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 8 -8 0 0 0 0 0 -8 0 0 8 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.275745977429 1.028431914433 7 3 10 12 0321 0132 2031 0132 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 0 0 0 0 8 0 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.420081800666 0.848873084043 11 12 7 3 1023 0132 3120 0132 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 -1 1 0 0 0 0 0 9 0 -9 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.380423296708 0.735561979541 6 12 4 8 0321 0321 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.114091739239 0.914825827577 5 9 6 12 0132 1023 1230 1230 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 1 0 0 -1 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.382997388123 0.872876969842 11 9 8 10 3012 0132 0132 0321 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 1 -9 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534347081347 0.268678123220 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_10']), 'c_1001_11' : d['c_0101_9'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0110_2'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_10'], 'c_1001_6' : d['c_0110_2'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_1001_10']), 'c_1001_8' : d['c_0011_6'], 'c_1010_12' : negation(d['c_1001_10']), 'c_1010_11' : d['c_0011_4'], 'c_1010_10' : negation(d['c_1001_10']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : 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_0101_0']), '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_12' : 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_0011_11' : negation(d['c_0011_0']), 'c_1100_8' : d['c_1001_10'], 'c_0011_12' : d['c_0011_0'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : negation(d['c_0101_9']), 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : negation(d['c_0101_7']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : d['c_0101_11'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0101_7']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0110_2'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : d['c_1001_12'], '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'], 'c_1100_12' : d['c_1001_10'], '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' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_3']), '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_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_11' : d['c_0011_0'], 'c_0110_10' : negation(d['c_0011_6']), 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0011_4'], 'c_0110_0' : d['c_0011_3'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_7']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_7']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0011_3'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_6, c_0101_0, c_0101_11, c_0101_7, c_0101_9, c_0110_2, c_1001_1, c_1001_10, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 33825766465499250079531/7103311985270669307730047*c_1001_12^11 - 106336929724668687969103/4735541323513779538486698*c_1001_12^10 - 644048679951642649480655/7103311985270669307730047*c_1001_12^9 - 3787720489111887521402467/14206623970541338615460094*c_1001_12^8 - 6431794286802970511755430/7103311985270669307730047*c_1001_12^7 - 7900267648089191443509220/7103311985270669307730047*c_1001_12^6 - 10798159934441532356468905/4735541323513779538486698*c_1001_12^5 - 7259249925317762547242116/7103311985270669307730047*c_1001_12^4 - 11391458914051527623493974/7103311985270669307730047*c_1001_12^3 - 20924363485106646466373491/14206623970541338615460094*c_1001_12^2 + 259864749672076157369351/4735541323513779538486698*c_1001_12 - 2016804787036552523307809/14206623970541338615460094, c_0011_0 - 1, c_0011_10 - 25054799471918/623823369430301*c_1001_12^11 - 22863253795366/623823369430301*c_1001_12^10 - 107791550745240/623823369430301*c_1001_12^9 + 68218813524074/623823369430301*c_1001_12^8 - 800350207698858/623823369430301*c_1001_12^7 + 8437792545602467/623823369430301*c_1001_12^6 - 3099377294495575/623823369430301*c_1001_12^5 + 28075430279849406/623823369430301*c_1001_12^4 - 18661206460868864/623823369430301*c_1001_12^3 + 26587598779504694/623823369430301*c_1001_12^2 + 4702387359402494/623823369430301*c_1001_12 + 600898593637829/623823369430301, c_0011_3 - 36878416215532/623823369430301*c_1001_12^11 - 138067028173696/623823369430301*c_1001_12^10 - 566417328087612/623823369430301*c_1001_12^9 - 1526996793371720/623823369430301*c_1001_12^8 - 5597378244269192/623823369430301*c_1001_12^7 - 3478068697949390/623823369430301*c_1001_12^6 - 15159228249950400/623823369430301*c_1001_12^5 + 3190919838875750/623823369430301*c_1001_12^4 - 20096909628339932/623823369430301*c_1001_12^3 - 1341465168320918/623823369430301*c_1001_12^2 - 5747894059231633/623823369430301*c_1001_12 - 1790569341000814/623823369430301, c_0011_4 + 18439208107766/623823369430301*c_1001_12^11 + 69033514086848/623823369430301*c_1001_12^10 + 283208664043806/623823369430301*c_1001_12^9 + 763498396685860/623823369430301*c_1001_12^8 + 2798689122134596/623823369430301*c_1001_12^7 + 1739034348974695/623823369430301*c_1001_12^6 + 7579614124975200/623823369430301*c_1001_12^5 - 1595459919437875/623823369430301*c_1001_12^4 + 10048454814169966/623823369430301*c_1001_12^3 + 670732584160459/623823369430301*c_1001_12^2 + 3185858714330967/623823369430301*c_1001_12 + 895284670500407/623823369430301, c_0011_6 + 25517190942250/623823369430301*c_1001_12^11 + 129539577580928/623823369430301*c_1001_12^10 + 510893258869282/623823369430301*c_1001_12^9 + 1533023698311339/623823369430301*c_1001_12^8 + 5098049227053862/623823369430301*c_1001_12^7 + 6999722649538597/623823369430301*c_1001_12^6 + 11833896985678950/623823369430301*c_1001_12^5 + 8827346887018507/623823369430301*c_1001_12^4 + 6318183260474564/623823369430301*c_1001_12^3 + 14761189224303676/623823369430301*c_1001_12^2 + 2617786895091320/623823369430301*c_1001_12 + 493282836203849/623823369430301, c_0101_0 + 102954318386297/623823369430301*c_1001_12^11 + 444537545507755/623823369430301*c_1001_12^10 + 1769481680796532/623823369430301*c_1001_12^9 + 5018690723951857/623823369430301*c_1001_12^8 + 17462859799510418/623823369430301*c_1001_12^7 + 16897691350029896/623823369430301*c_1001_12^6 + 41804032328878076/623823369430301*c_1001_12^5 + 8304034945646259/623823369430301*c_1001_12^4 + 35712650009953594/623823369430301*c_1001_12^3 + 29078053084925806/623823369430301*c_1001_12^2 + 5296030977725689/623823369430301*c_1001_12 + 1155853792846569/623823369430301, c_0101_11 + 58600115598872/623823369430301*c_1001_12^11 + 224433116871869/623823369430301*c_1001_12^10 + 894763456945060/623823369430301*c_1001_12^9 + 2410218914765082/623823369430301*c_1001_12^8 + 8729175503588626/623823369430301*c_1001_12^7 + 5277901063527152/623823369430301*c_1001_12^6 + 20906704431863260/623823369430301*c_1001_12^5 - 5362812682083243/623823369430301*c_1001_12^4 + 22667593396136524/623823369430301*c_1001_12^3 + 6450346123228790/623823369430301*c_1001_12^2 - 515438193730434/623823369430301*c_1001_12 + 596553181994725/623823369430301, c_0101_7 + 45840114093190/623823369430301*c_1001_12^11 + 192061039160491/623823369430301*c_1001_12^10 + 765137386279706/623823369430301*c_1001_12^9 + 2144099269880984/623823369430301*c_1001_12^8 + 7532515831771444/623823369430301*c_1001_12^7 + 6648235818653955/623823369430301*c_1001_12^6 + 18079559960202050/623823369430301*c_1001_12^5 + 1672990761482992/623823369430301*c_1001_12^4 + 16612579774996252/623823369430301*c_1001_12^3 + 10802526053867260/623823369430301*c_1001_12^2 + 2002633142456502/623823369430301*c_1001_12 + 447130678229608/623823369430301, c_0101_9 - 36791281142167/623823369430301*c_1001_12^11 - 189955044767701/623823369430301*c_1001_12^10 - 750100167106402/623823369430301*c_1001_12^9 - 2263515882501228/623823369430301*c_1001_12^8 - 7495877363021392/623823369430301*c_1001_12^7 - 10600942362260583/623823369430301*c_1001_12^6 - 17478809394152926/623823369430301*c_1001_12^5 - 13785400309698782/623823369430301*c_1001_12^4 - 8805673720435654/623823369430301*c_1001_12^3 - 22234190201494962/623823369430301*c_1001_12^2 - 3908551587904005/623823369430301*c_1001_12 - 754875272591202/623823369430301, c_0110_2 + 97330617079954/623823369430301*c_1001_12^11 + 385196268780887/623823369430301*c_1001_12^10 + 1536971148306210/623823369430301*c_1001_12^9 + 4199363412722771/623823369430301*c_1001_12^8 + 15031189374913856/623823369430301*c_1001_12^7 + 10641412193102557/623823369430301*c_1001_12^6 + 36016892888444534/623823369430301*c_1001_12^5 - 5217631280109689/623823369430301*c_1001_12^4 + 36593535583172068/623823369430301*c_1001_12^3 + 13325823579578130/623823369430301*c_1001_12^2 + 2047799559982314/623823369430301*c_1001_12 + 823059861953838/623823369430301, c_1001_1 - 18439208107766/623823369430301*c_1001_12^11 - 69033514086848/623823369430301*c_1001_12^10 - 283208664043806/623823369430301*c_1001_12^9 - 763498396685860/623823369430301*c_1001_12^8 - 2798689122134596/623823369430301*c_1001_12^7 - 1739034348974695/623823369430301*c_1001_12^6 - 7579614124975200/623823369430301*c_1001_12^5 + 1595459919437875/623823369430301*c_1001_12^4 - 10048454814169966/623823369430301*c_1001_12^3 - 670732584160459/623823369430301*c_1001_12^2 - 2562035344900666/623823369430301*c_1001_12 - 895284670500407/623823369430301, c_1001_10 - 11274090199917/623823369430301*c_1001_12^11 - 60415467186773/623823369430301*c_1001_12^10 - 239206908237120/623823369430301*c_1001_12^9 - 730492184189889/623823369430301*c_1001_12^8 - 2397828135967530/623823369430301*c_1001_12^7 - 3601219712721986/623823369430301*c_1001_12^6 - 5644912408473976/623823369430301*c_1001_12^5 - 4958053422680275/623823369430301*c_1001_12^4 - 2487490459961090/623823369430301*c_1001_12^3 - 7473000977191286/623823369430301*c_1001_12^2 - 1290764692812685/623823369430301*c_1001_12 - 261592436387353/623823369430301, c_1001_12^12 + 4*c_1001_12^11 + 16*c_1001_12^10 + 44*c_1001_12^9 + 157*c_1001_12^8 + 118*c_1001_12^7 + 382*c_1001_12^6 - 30*c_1001_12^5 + 391*c_1001_12^4 + 158*c_1001_12^3 + 41*c_1001_12^2 + 14*c_1001_12 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.660 Total time: 3.879 seconds, Total memory usage: 89.12MB