Magma V2.19-8 Tue Aug 20 2013 23:29:33 on localhost [Seed = 3019232734] Type ? for help. Type -D to quit. Loading file "K12a1287__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a1287 geometric_solution 6.30909039 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 8 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 0 1 -1 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227030597186 0.973887625931 0 2 6 5 0132 0321 0132 0132 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 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.426939035912 0.292191095950 5 0 6 1 3120 0132 1302 0321 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 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.701032176169 1.801316350559 4 5 7 0 1230 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.595123950594 1.091680488539 5 3 0 7 0213 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.701032176169 1.801316350559 4 3 1 2 0213 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227030597186 0.973887625931 2 6 6 1 2031 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.225492419594 1.740584308115 7 4 7 3 2031 2310 1302 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 0.270440643434 0.384110691108 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_7']), 'c_1100_7' : negation(d['c_0011_7']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : negation(d['c_0011_7']), 'c_1100_3' : negation(d['c_0011_7']), 'c_1100_2' : d['c_0101_6'], 'c_0101_7' : negation(d['c_0011_7']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_6'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_7' : d['c_0011_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : negation(d['c_0011_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 9 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_6, c_0011_7, c_0101_3, c_0101_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 99622334456/5380821779355*c_1001_0^17 - 327694823152/1793607259785*c_1001_0^16 + 1354989360671/1076164355871*c_1001_0^15 - 193400830929/597869086595*c_1001_0^14 - 61079800984061/5380821779355*c_1001_0^13 + 35572925014304/1793607259785*c_1001_0^12 + 190965779798494/5380821779355*c_1001_0^11 - 677159528318384/5380821779355*c_1001_0^10 + 3473106105721/1793607259785*c_1001_0^9 + 217335908411488/597869086595*c_1001_0^8 - 1609589385639431/5380821779355*c_1001_0^7 - 2693379672712141/5380821779355*c_1001_0^6 + 4397475799855843/5380821779355*c_1001_0^5 + 28480149984599/163055205435*c_1001_0^4 - 341976179789366/358721451957*c_1001_0^3 + 338260466142523/1076164355871*c_1001_0^2 + 770950308376654/1793607259785*c_1001_0 - 1488613041474797/5380821779355, c_0011_0 - 1, c_0011_3 - 3096763/193422545*c_1001_0^17 + 49674087/193422545*c_1001_0^16 - 26789830/38684509*c_1001_0^15 - 188176263/193422545*c_1001_0^14 + 1340577532/193422545*c_1001_0^13 - 924436689/193422545*c_1001_0^12 - 4802321948/193422545*c_1001_0^11 + 8532270778/193422545*c_1001_0^10 + 5976232054/193422545*c_1001_0^9 - 25736868529/193422545*c_1001_0^8 + 7633386882/193422545*c_1001_0^7 + 37183416272/193422545*c_1001_0^6 - 33482113956/193422545*c_1001_0^5 - 21512800984/193422545*c_1001_0^4 + 7968909435/38684509*c_1001_0^3 - 893803118/38684509*c_1001_0^2 - 16927086924/193422545*c_1001_0 + 7706172569/193422545, c_0011_4 - 12046844/193422545*c_1001_0^17 + 63283646/193422545*c_1001_0^16 - 10162849/38684509*c_1001_0^15 - 413327289/193422545*c_1001_0^14 + 1052234541/193422545*c_1001_0^13 + 477082343/193422545*c_1001_0^12 - 4827476389/193422545*c_1001_0^11 + 3829520539/193422545*c_1001_0^10 + 9364329497/193422545*c_1001_0^9 - 16830603937/193422545*c_1001_0^8 - 4404129334/193422545*c_1001_0^7 + 29014152906/193422545*c_1001_0^6 - 12642001368/193422545*c_1001_0^5 - 21944742722/193422545*c_1001_0^4 + 4169248895/38684509*c_1001_0^3 + 627774851/38684509*c_1001_0^2 - 9473806992/193422545*c_1001_0 + 2926971152/193422545, c_0011_6 - 32696706/193422545*c_1001_0^17 + 170698199/193422545*c_1001_0^16 - 21600605/38684509*c_1001_0^15 - 1143015001/193422545*c_1001_0^14 + 2580250309/193422545*c_1001_0^13 + 1793889837/193422545*c_1001_0^12 - 12018067106/193422545*c_1001_0^11 + 7307282676/193422545*c_1001_0^10 + 23918089903/193422545*c_1001_0^9 - 36016709538/193422545*c_1001_0^8 - 14157470186/193422545*c_1001_0^7 + 62248537059/193422545*c_1001_0^6 - 23379710417/193422545*c_1001_0^5 - 45449424513/193422545*c_1001_0^4 + 8404619451/38684509*c_1001_0^3 + 986990229/38684509*c_1001_0^2 - 19236098063/193422545*c_1001_0 + 6600155138/193422545, c_0011_7 - 24324018/193422545*c_1001_0^17 + 90130087/193422545*c_1001_0^16 + 10018403/38684509*c_1001_0^15 - 768850518/193422545*c_1001_0^14 + 810584687/193422545*c_1001_0^13 + 2442861836/193422545*c_1001_0^12 - 5456117533/193422545*c_1001_0^11 - 2095214802/193422545*c_1001_0^10 + 14810450369/193422545*c_1001_0^9 - 6745272274/193422545*c_1001_0^8 - 19598655753/193422545*c_1001_0^7 + 20702485622/193422545*c_1001_0^6 + 9614273449/193422545*c_1001_0^5 - 22098370649/193422545*c_1001_0^4 + 772657553/38684509*c_1001_0^3 + 1685660737/38684509*c_1001_0^2 - 4354618264/193422545*c_1001_0 + 331235894/193422545, c_0101_3 + 12046844/193422545*c_1001_0^17 - 63283646/193422545*c_1001_0^16 + 10162849/38684509*c_1001_0^15 + 413327289/193422545*c_1001_0^14 - 1052234541/193422545*c_1001_0^13 - 477082343/193422545*c_1001_0^12 + 4827476389/193422545*c_1001_0^11 - 3829520539/193422545*c_1001_0^10 - 9364329497/193422545*c_1001_0^9 + 16830603937/193422545*c_1001_0^8 + 4404129334/193422545*c_1001_0^7 - 29014152906/193422545*c_1001_0^6 + 12642001368/193422545*c_1001_0^5 + 21944742722/193422545*c_1001_0^4 - 4207933404/38684509*c_1001_0^3 - 589090342/38684509*c_1001_0^2 + 9860652082/193422545*c_1001_0 - 3313816242/193422545, c_0101_6 - 22385274/193422545*c_1001_0^17 + 103896536/193422545*c_1001_0^16 + 906407/38684509*c_1001_0^15 - 860907794/193422545*c_1001_0^14 + 1303426661/193422545*c_1001_0^13 + 2475502573/193422545*c_1001_0^12 - 7769992624/193422545*c_1001_0^11 - 177812931/193422545*c_1001_0^10 + 20261586632/193422545*c_1001_0^9 - 15395384107/193422545*c_1001_0^8 - 24707058579/193422545*c_1001_0^7 + 37853958371/193422545*c_1001_0^6 + 6637115157/193422545*c_1001_0^5 - 38183554127/193422545*c_1001_0^4 + 2761699182/38684509*c_1001_0^3 + 2657338255/38684509*c_1001_0^2 - 10117668412/193422545*c_1001_0 + 1481601817/193422545, c_1001_0^18 - 6*c_1001_0^17 + 8*c_1001_0^16 + 31*c_1001_0^15 - 111*c_1001_0^14 + 26*c_1001_0^13 + 415*c_1001_0^12 - 608*c_1001_0^11 - 476*c_1001_0^10 + 1904*c_1001_0^9 - 825*c_1001_0^8 - 2426*c_1001_0^7 + 3010*c_1001_0^6 + 569*c_1001_0^5 - 3111*c_1001_0^4 + 1490*c_1001_0^3 + 858*c_1001_0^2 - 1029*c_1001_0 + 281 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB