Magma V2.19-8 Tue Aug 20 2013 23:45:28 on localhost [Seed = 2227364161] Type ? for help. Type -D to quit. Loading file "K13n3011__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3011 geometric_solution 11.42461795 oriented_manifold CS_known -0.0000000000000006 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 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 0 0 0.450269457348 0.842998225687 0 4 3 5 0132 0132 0213 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.058825650585 1.391082905910 6 0 5 7 0132 0132 0213 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 -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.727440678431 0.610125101086 8 1 9 0 0132 0213 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 0 0 0 0 0 0 0 0 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.125875032965 0.803979798254 8 1 0 10 1302 0132 0132 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 1 -1 1 0 0 -1 -10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.450269457348 0.842998225687 10 2 1 7 0132 0213 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.144459500277 0.505314411996 2 8 11 11 0132 1302 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 10 0 -10 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515921957138 0.654649786651 9 5 2 11 1023 0321 0132 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 -1 1 0 0 0 0 9 0 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534058626454 0.705665951298 3 4 9 6 0132 2031 2103 2031 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 10 0 -10 0 0 1 -1 -9 0 0 9 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.038507655852 1.263055171894 8 7 10 3 2103 1023 0132 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 0 0 0 -1 0 1 0 0 -9 0 9 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.398761775336 0.927524491097 5 11 4 9 0132 1023 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 -1 1 0 0 0 1 -1 0 1 0 -1 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443030890682 1.256758158629 10 6 7 6 1023 0321 0132 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 1 0 0 -1 -1 10 0 -9 -10 1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257390370868 0.942292198558 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0101_11'], 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_11'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_6'], 'c_1001_8' : d['c_0011_7'], 'c_1010_11' : d['c_0101_3'], 'c_1010_10' : d['c_0101_6'], '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_7']), '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_0011_11' : d['c_0011_10'], 'c_1100_8' : negation(d['c_0101_3']), 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1001_11'], 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_11'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_1001_11'], 'c_1010_4' : d['c_0101_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_0011_0'], '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_7'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : negation(d['c_0011_10']), '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_0101_6'], 'c_0110_10' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0011_6' : d['c_0011_0'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : negation(d['c_0011_7']), 'c_0110_7' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10']})} 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_7, c_0101_0, c_0101_11, c_0101_3, c_0101_6, c_1001_0, c_1001_11, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 312626594828753559089025210/26870197965940463635151*c_1100_0^12 + 395021798388219773165703403/3838599709420066233593*c_1100_0^11 - 1501093531767777539943095785/3838599709420066233593*c_1100_0^10 - 92965595477615202382236688253/26870197965940463635151*c_1100_0^9 - 285274832095282293686044612326/26870197965940463635151*c_1100_0^8 - 300583077981004304651452146186/26870197965940463635151*c_1100_0^7 - 359318793827409220514815590530/26870197965940463635151*c_1100_0^6 - 223538040872419579110174936777/26870197965940463635151*c_1100_0^5 - 81382416923055916678279611283/26870197965940463635151*c_1100_0^4 - 45945542972034588560250951093/26870197965940463635151*c_1100_0^3 - 15656982052558821739866912031/26870197965940463635151*c_1100_0^2 + 292221196944677033096663/12342764338971274063*c_1100_0 - 1146445877216802454443739793/26870197965940463635151, c_0011_0 - 1, c_0011_10 + 1788602430417934085/12342764338971274063*c_1100_0^12 - 15551474360331365612/12342764338971274063*c_1100_0^11 + 57828026055704876051/12342764338971274063*c_1100_0^10 + 540031071255774105532/12342764338971274063*c_1100_0^9 + 1715876713596594254066/12342764338971274063*c_1100_0^8 + 1986425299778882571241/12342764338971274063*c_1100_0^7 + 2364999784753226346814/12342764338971274063*c_1100_0^6 + 1598706080394881933199/12342764338971274063*c_1100_0^5 + 722304324837869983856/12342764338971274063*c_1100_0^4 + 332161519725657811324/12342764338971274063*c_1100_0^3 + 128934168670509842655/12342764338971274063*c_1100_0^2 + 19662111558570625338/12342764338971274063*c_1100_0 - 3525708837476715382/12342764338971274063, c_0011_3 - 1751599278924464984/12342764338971274063*c_1100_0^12 + 15138781387745073797/12342764338971274063*c_1100_0^11 - 55854487754495406182/12342764338971274063*c_1100_0^10 - 531634976824140143034/12342764338971274063*c_1100_0^9 - 1708626644405619616937/12342764338971274063*c_1100_0^8 - 2035741823841951761558/12342764338971274063*c_1100_0^7 - 2414559618477408637013/12342764338971274063*c_1100_0^6 - 1641968694227212092339/12342764338971274063*c_1100_0^5 - 712536281251066004424/12342764338971274063*c_1100_0^4 - 280501990068019852797/12342764338971274063*c_1100_0^3 - 81924640556466920920/12342764338971274063*c_1100_0^2 - 10557880075072008543/12342764338971274063*c_1100_0 - 5348289937749523275/12342764338971274063, c_0011_7 - 1325901926272537623/12342764338971274063*c_1100_0^12 + 12096930226847204467/12342764338971274063*c_1100_0^11 - 47958940982184173147/12342764338971274063*c_1100_0^10 - 380683238124862232079/12342764338971274063*c_1100_0^9 - 1104854681170415885592/12342764338971274063*c_1100_0^8 - 973079462341694381305/12342764338971274063*c_1100_0^7 - 1265472092716926360648/12342764338971274063*c_1100_0^6 - 589513901263029129030/12342764338971274063*c_1100_0^5 - 174823986699093416087/12342764338971274063*c_1100_0^4 - 132581939701794008556/12342764338971274063*c_1100_0^3 - 25614659001987399766/12342764338971274063*c_1100_0^2 + 1002541297750878572/12342764338971274063*c_1100_0 - 5288129275029680427/12342764338971274063, c_0101_0 + 897886534988439774/12342764338971274063*c_1100_0^12 - 7135088274266005661/12342764338971274063*c_1100_0^11 + 22890791368489773928/12342764338971274063*c_1100_0^10 + 295492214715600904299/12342764338971274063*c_1100_0^9 + 1053803456316466060583/12342764338971274063*c_1100_0^8 + 1555001584837353386614/12342764338971274063*c_1100_0^7 + 1671221727348538788421/12342764338971274063*c_1100_0^6 + 1421922701283709846352/12342764338971274063*c_1100_0^5 + 602782918752194795421/12342764338971274063*c_1100_0^4 + 219918392743655742118/12342764338971274063*c_1100_0^3 + 95258786213111960523/12342764338971274063*c_1100_0^2 + 9601270578661033185/12342764338971274063*c_1100_0 + 3196660761035191699/12342764338971274063, c_0101_11 - 2812114288530739130/12342764338971274063*c_1100_0^12 + 25417760017508741112/12342764338971274063*c_1100_0^11 - 99070444709885696085/12342764338971274063*c_1100_0^10 - 820328749501266318442/12342764338971274063*c_1100_0^9 - 2394698240284501209421/12342764338971274063*c_1100_0^8 - 2128639386049374343629/12342764338971274063*c_1100_0^7 - 2480394211985756268938/12342764338971274063*c_1100_0^6 - 1180107533843405873909/12342764338971274063*c_1100_0^5 - 100434451606865516716/12342764338971274063*c_1100_0^4 - 136772820448251142375/12342764338971274063*c_1100_0^3 - 28967597372343191140/12342764338971274063*c_1100_0^2 + 44467684759936628786/12342764338971274063*c_1100_0 - 7605800238317451563/12342764338971274063, c_0101_3 + 1534370650470052060/12342764338971274063*c_1100_0^12 - 13113124071696292546/12342764338971274063*c_1100_0^11 + 47575107372427904219/12342764338971274063*c_1100_0^10 + 471054329063016893034/12342764338971274063*c_1100_0^9 + 1539379612722651685873/12342764338971274063*c_1100_0^8 + 1906124039248025349403/12342764338971274063*c_1100_0^7 + 2219751630857866164507/12342764338971274063*c_1100_0^6 + 1570366933273849958794/12342764338971274063*c_1100_0^5 + 686869049734088636172/12342764338971274063*c_1100_0^4 + 262602659306343289686/12342764338971274063*c_1100_0^3 + 79734501610645933121/12342764338971274063*c_1100_0^2 + 10506423768056391113/12342764338971274063*c_1100_0 - 2958694103942969678/12342764338971274063, c_0101_6 - 2462947332568775139/12342764338971274063*c_1100_0^12 + 22032339958716128385/12342764338971274063*c_1100_0^11 - 84877514095222027218/12342764338971274063*c_1100_0^10 - 724847842662212984413/12342764338971274063*c_1100_0^9 - 2171278230005638746286/12342764338971274063*c_1100_0^8 - 2110397137858190653059/12342764338971274063*c_1100_0^7 - 2482530315336665737427/12342764338971274063*c_1100_0^6 - 1324464420063936376715/12342764338971274063*c_1100_0^5 - 321868523690743132086/12342764338971274063*c_1100_0^4 - 199781102158458430553/12342764338971274063*c_1100_0^3 - 65238904089294608718/12342764338971274063*c_1100_0^2 + 15501210807620291553/12342764338971274063*c_1100_0 - 3666411344528873342/12342764338971274063, c_1001_0 + c_1100_0, c_1001_11 - 446210209964615658/12342764338971274063*c_1100_0^12 + 4403309775383555380/12342764338971274063*c_1100_0^11 - 18951617933203129158/12342764338971274063*c_1100_0^10 - 118192163357740357705/12342764338971274063*c_1100_0^9 - 267658265120336589456/12342764338971274063*c_1100_0^8 + 9574468154363769547/12342764338971274063*c_1100_0^7 - 27250530372579030181/12342764338971274063*c_1100_0^6 + 190103702191203530199/12342764338971274063*c_1100_0^5 + 199976011932728776006/12342764338971274063*c_1100_0^4 + 1395816279224088355/12342764338971274063*c_1100_0^3 + 11544417352137798699/12342764338971274063*c_1100_0^2 + 18546426709150216450/12342764338971274063*c_1100_0 - 7223311520859845060/12342764338971274063, c_1001_2 + 3166994644702671617/12342764338971274063*c_1100_0^12 - 28897529359452219969/12342764338971274063*c_1100_0^11 + 114089134396071596158/12342764338971274063*c_1100_0^10 + 913721351943789978959/12342764338971274063*c_1100_0^9 + 2619740673535240647934/12342764338971274063*c_1100_0^8 + 2181546304715713773044/12342764338971274063*c_1100_0^7 + 2623949667391006971954/12342764338971274063*c_1100_0^6 + 1089513853336450318935/12342764338971274063*c_1100_0^5 - 6625031265560886504/12342764338971274063*c_1100_0^4 + 151550034342133725850/12342764338971274063*c_1100_0^3 + 3602455033105686467/12342764338971274063*c_1100_0^2 - 60381634657814399475/12342764338971274063*c_1100_0 + 9688671747382922354/12342764338971274063, c_1100_0^13 - 9*c_1100_0^12 + 35*c_1100_0^11 + 292*c_1100_0^10 + 867*c_1100_0^9 + 825*c_1100_0^8 + 1015*c_1100_0^7 + 550*c_1100_0^6 + 165*c_1100_0^5 + 114*c_1100_0^4 + 28*c_1100_0^3 - 9*c_1100_0^2 + 4*c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.270 Total time: 1.470 seconds, Total memory usage: 64.12MB