Magma V2.19-8 Tue Aug 20 2013 23:40:42 on localhost [Seed = 593840050] Type ? for help. Type -D to quit. Loading file "K12n407__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n407 geometric_solution 11.62151411 oriented_manifold CS_known -0.0000000000000005 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 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 0 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601937327639 0.862297580183 0 5 7 6 0132 0132 0132 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 -7 7 0 0 0 0 0 -7 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.543402169979 1.210371852373 8 0 9 7 0132 0132 0132 3201 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 1 0 -1 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670984251183 0.564182215946 5 8 6 0 0132 0132 0213 0132 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 0 0 0 0 0 0 0 -8 8 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.375720684928 0.854139393168 10 8 0 5 0132 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 1 0 0 -1 -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.573225894977 0.987942249115 3 1 4 11 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 1 -8 0 0 1 -1 -7 0 0 7 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.459306376731 0.773709694081 10 3 1 11 2103 0213 0132 0213 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 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.044167685361 0.999798429094 10 2 9 1 3120 2310 3120 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 7 0 -7 -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.462965642332 0.631735784873 2 3 9 4 0132 0132 0213 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 -1 0 1 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.276950462192 0.933549470405 11 8 7 2 1230 0213 3120 0132 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 -1 1 1 -1 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.970174847583 0.719079236315 4 11 6 7 0132 1023 2103 3120 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 1 0 -1 -1 0 0 1 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313603362336 0.484185500748 10 9 5 6 1023 3012 0132 0213 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 0 0 0 0 8 -1 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396611636908 1.312959331769 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_9']), 'c_1001_10' : d['c_0011_6'], 'c_1001_5' : d['c_1001_3'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_1001_0']), 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0101_9']), 'c_1010_10' : negation(d['c_0011_7']), '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_0011_6'], 'c_0101_10' : 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_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_0011_7']), 'c_1100_8' : d['c_1001_2'], 'c_1100_5' : d['c_1010_6'], 'c_1100_4' : d['c_1010_6'], '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' : d['c_1010_6'], 'c_1100_3' : d['c_1010_6'], 'c_1100_2' : negation(d['c_0011_7']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1010_6'], 'c_1100_10' : negation(d['c_0011_7']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : d['c_1010_6'], 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : d['c_1001_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_3'], '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_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_7']), 'c_0110_10' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_9'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_9'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_7']})} 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_6, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_9, c_1001_0, c_1001_2, c_1001_3, c_1010_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 27041706366868523/49767046176861*c_1010_6^10 - 47980845695307533/49767046176861*c_1010_6^9 - 2430772954185962/49767046176861*c_1010_6^8 - 35762551863589138/49767046176861*c_1010_6^7 - 85540818631521418/49767046176861*c_1010_6^6 + 13785871606314801/5529671797429*c_1010_6^5 + 115619407475526785/49767046176861*c_1010_6^4 - 1278378647015917/742791733983*c_1010_6^3 - 75243031553619374/49767046176861*c_1010_6^2 + 16142728063148117/16589015392287*c_1010_6 - 12838583277795727/49767046176861, c_0011_0 - 1, c_0011_10 + 60399049161/6348647299*c_1010_6^10 + 123955608430/6348647299*c_1010_6^9 + 48836350374/6348647299*c_1010_6^8 + 112279518750/6348647299*c_1010_6^7 + 227052431031/6348647299*c_1010_6^6 - 207947464504/6348647299*c_1010_6^5 - 296712391460/6348647299*c_1010_6^4 + 60886561650/6348647299*c_1010_6^3 + 103778272048/6348647299*c_1010_6^2 - 93205364734/6348647299*c_1010_6 + 18114308925/6348647299, c_0011_6 + 36730871705/6348647299*c_1010_6^10 + 74070786557/6348647299*c_1010_6^9 + 26108483556/6348647299*c_1010_6^8 + 63825215229/6348647299*c_1010_6^7 + 131229308095/6348647299*c_1010_6^6 - 137103774946/6348647299*c_1010_6^5 - 184630796236/6348647299*c_1010_6^4 + 37240033545/6348647299*c_1010_6^3 + 70037730430/6348647299*c_1010_6^2 - 52289736814/6348647299*c_1010_6 + 13741654440/6348647299, c_0011_7 - 19442086169/6348647299*c_1010_6^10 - 48928942589/6348647299*c_1010_6^9 - 37361652144/6348647299*c_1010_6^8 - 49417017856/6348647299*c_1010_6^7 - 92013897563/6348647299*c_1010_6^6 + 25234564097/6348647299*c_1010_6^5 + 114215198389/6348647299*c_1010_6^4 + 35732228672/6348647299*c_1010_6^3 - 33283240409/6348647299*c_1010_6^2 + 10321116765/6348647299*c_1010_6 + 5727883713/6348647299, c_0011_9 - 11567063882/6348647299*c_1010_6^10 - 16528827983/6348647299*c_1010_6^9 + 10504714905/6348647299*c_1010_6^8 - 2959579080/6348647299*c_1010_6^7 - 22309301668/6348647299*c_1010_6^6 + 78057335904/6348647299*c_1010_6^5 + 56107293261/6348647299*c_1010_6^4 - 57193135070/6348647299*c_1010_6^3 - 43019963820/6348647299*c_1010_6^2 + 31486703496/6348647299*c_1010_6 - 7760837793/6348647299, c_0101_0 + 19419842981/6348647299*c_1010_6^10 + 32041597785/6348647299*c_1010_6^9 - 2458581686/6348647299*c_1010_6^8 + 24685249333/6348647299*c_1010_6^7 + 54253961471/6348647299*c_1010_6^6 - 101355226126/6348647299*c_1010_6^5 - 78298170067/6348647299*c_1010_6^4 + 58828073854/6348647299*c_1010_6^3 + 35896314848/6348647299*c_1010_6^2 - 39229655947/6348647299*c_1010_6 + 13200625183/6348647299, c_0101_1 + 97152164054/6348647299*c_1010_6^10 + 214913739791/6348647299*c_1010_6^9 + 114765067760/6348647299*c_1010_6^8 + 200836502502/6348647299*c_1010_6^7 + 396041675218/6348647299*c_1010_6^6 - 268930577421/6348647299*c_1010_6^5 - 517260216018/6348647299*c_1010_6^4 + 3566292669/6348647299*c_1010_6^3 + 171202928039/6348647299*c_1010_6^2 - 116586562366/6348647299*c_1010_6 + 19276101768/6348647299, c_0101_9 + 17629193967/6348647299*c_1010_6^10 + 35016100406/6348647299*c_1010_6^9 + 10128433946/6348647299*c_1010_6^8 + 28510228790/6348647299*c_1010_6^7 + 60079745681/6348647299*c_1010_6^6 - 71011048484/6348647299*c_1010_6^5 - 87863424289/6348647299*c_1010_6^4 + 24886847070/6348647299*c_1010_6^3 + 35025605099/6348647299*c_1010_6^2 - 18099234965/6348647299*c_1010_6 + 7064552535/6348647299, c_1001_0 + 48076956147/6348647299*c_1010_6^10 + 98606576837/6348647299*c_1010_6^9 + 36300514953/6348647299*c_1010_6^8 + 85449187995/6348647299*c_1010_6^7 + 181227892344/6348647299*c_1010_6^6 - 168321681948/6348647299*c_1010_6^5 - 240441422031/6348647299*c_1010_6^4 + 61186488032/6348647299*c_1010_6^3 + 96222074304/6348647299*c_1010_6^2 - 76272439965/6348647299*c_1010_6 + 14970109670/6348647299, c_1001_2 + 5951321827/6348647299*c_1010_6^10 + 28672643121/6348647299*c_1010_6^9 + 45275364314/6348647299*c_1010_6^8 + 39387650382/6348647299*c_1010_6^7 + 60240106919/6348647299*c_1010_6^6 + 53711088573/6348647299*c_1010_6^5 - 61176923899/6348647299*c_1010_6^4 - 96594099543/6348647299*c_1010_6^3 - 12931572197/6348647299*c_1010_6^2 + 16972183143/6348647299*c_1010_6 - 9272876068/6348647299, c_1001_3 + 22583742852/6348647299*c_1010_6^10 + 42907061187/6348647299*c_1010_6^9 + 9146122860/6348647299*c_1010_6^8 + 34857766473/6348647299*c_1010_6^7 + 76862370182/6348647299*c_1010_6^6 - 93855965839/6348647299*c_1010_6^5 - 107896475493/6348647299*c_1010_6^4 + 47906806567/6348647299*c_1010_6^3 + 50662004676/6348647299*c_1010_6^2 - 43356973980/6348647299*c_1010_6 + 9477264911/6348647299, c_1010_6^11 + 21/11*c_1010_6^10 + 6/11*c_1010_6^9 + 20/11*c_1010_6^8 + 39/11*c_1010_6^7 - 43/11*c_1010_6^6 - 47/11*c_1010_6^5 + 18/11*c_1010_6^4 + 16/11*c_1010_6^3 - 20/11*c_1010_6^2 + 7/11*c_1010_6 - 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.300 Total time: 1.520 seconds, Total memory usage: 64.12MB