Magma V2.19-8 Tue Aug 20 2013 16:17:06 on localhost [Seed = 4088557346] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1354 geometric_solution 5.22346406 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 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 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.429592315246 0.087778489014 2 0 3 0 0132 2310 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 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.335910983266 0.368795656293 1 4 3 5 0132 0132 3012 0132 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 -1 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.163268893984 1.868929778458 5 2 4 1 3120 1230 3201 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.803045484772 2.431867414450 3 2 6 6 2310 0132 2103 0132 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 1 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.505058958384 1.279108978969 6 6 2 3 3120 0132 0132 3120 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 0 0 0 0 1 0 -1 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.505058958384 1.279108978969 4 5 4 5 2103 0132 0132 3120 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 0 0 0 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.732943209803 0.676346261294 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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_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_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0101_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0101_3']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_3'], 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 3482490840127199/701405409935251*c_0101_3^17 - 41249136373745771/1402810819870502*c_0101_3^16 - 164834309776336161/2805621639741004*c_0101_3^15 + 328110561826052777/2805621639741004*c_0101_3^14 + 130804775278643161/68429796091244*c_0101_3^13 - 20709020810249115/400803091391572*c_0101_3^12 - 35489284950055440099/2805621639741004*c_0101_3^11 + 207139699607810261/701405409935251*c_0101_3^10 + 102039709076285512223/2805621639741004*c_0101_3^9 - 8216012146488880361/2805621639741004*c_0101_3^8 - 38631076828835870111/701405409935251*c_0101_3^7 + 19730767985225946381/2805621639741004*c_0101_3^6 + 129304192170263550627/2805621639741004*c_0101_3^5 - 20764363279251568201/2805621639741004*c_0101_3^4 - 8147412082391483349/400803091391572*c_0101_3^3 + 1452789726547396475/400803091391572*c_0101_3^2 + 9100144570186079/2443921288973*c_0101_3 - 1836077818810810671/2805621639741004, c_0011_0 - 1, c_0011_1 - 604580121409/4887842577946*c_0101_3^17 + 1445223266525/2443921288973*c_0101_3^16 + 7827648609135/4887842577946*c_0101_3^15 - 699704877017/2443921288973*c_0101_3^14 - 96233642404589/2443921288973*c_0101_3^13 - 78032268099725/4887842577946*c_0101_3^12 + 572219956027214/2443921288973*c_0101_3^11 + 240143335760373/4887842577946*c_0101_3^10 - 1462333289241695/2443921288973*c_0101_3^9 - 86218251361535/2443921288973*c_0101_3^8 + 1875982696710343/2443921288973*c_0101_3^7 - 198564604714757/4887842577946*c_0101_3^6 - 2427671340154691/4887842577946*c_0101_3^5 + 171276960234082/2443921288973*c_0101_3^4 + 688057425568989/4887842577946*c_0101_3^3 - 73765804058210/2443921288973*c_0101_3^2 - 20622815748436/2443921288973*c_0101_3 + 6394904426530/2443921288973, c_0011_3 - 84027410437/2443921288973*c_0101_3^17 + 395839841591/4887842577946*c_0101_3^16 + 2544501719931/4887842577946*c_0101_3^15 + 3091084428913/2443921288973*c_0101_3^14 - 28492886422277/4887842577946*c_0101_3^13 - 52376180030275/4887842577946*c_0101_3^12 + 74484694993031/2443921288973*c_0101_3^11 + 146129048866833/4887842577946*c_0101_3^10 - 391001736021325/4887842577946*c_0101_3^9 - 194028596836913/4887842577946*c_0101_3^8 + 276009403502759/2443921288973*c_0101_3^7 + 66006335119580/2443921288973*c_0101_3^6 - 426839288458955/4887842577946*c_0101_3^5 - 44942445843603/4887842577946*c_0101_3^4 + 166098681724953/4887842577946*c_0101_3^3 + 6079917813633/4887842577946*c_0101_3^2 - 9014562038786/2443921288973*c_0101_3 - 97976944501/2443921288973, c_0011_5 - 58427969115/2443921288973*c_0101_3^17 + 108369862683/2443921288973*c_0101_3^16 + 702938443422/2443921288973*c_0101_3^15 + 2739983000951/2443921288973*c_0101_3^14 - 4648561454357/2443921288973*c_0101_3^13 - 13587556095681/4887842577946*c_0101_3^12 + 55625391341795/4887842577946*c_0101_3^11 - 34801594897531/2443921288973*c_0101_3^10 - 77097569788395/2443921288973*c_0101_3^9 + 309269659601675/4887842577946*c_0101_3^8 + 179557368124601/4887842577946*c_0101_3^7 - 454722116465063/4887842577946*c_0101_3^6 - 43267278113037/2443921288973*c_0101_3^5 + 296527450139099/4887842577946*c_0101_3^4 + 10911601172651/2443921288973*c_0101_3^3 - 80206363219653/4887842577946*c_0101_3^2 - 1811510193259/2443921288973*c_0101_3 + 2422902290963/2443921288973, c_0101_0 - 196066031947/2443921288973*c_0101_3^17 + 2102522315659/4887842577946*c_0101_3^16 + 2388085414027/2443921288973*c_0101_3^15 - 4626244411991/4887842577946*c_0101_3^14 - 68612571002440/2443921288973*c_0101_3^13 - 25463030551135/4887842577946*c_0101_3^12 + 419432091120448/2443921288973*c_0101_3^11 + 33147219824533/2443921288973*c_0101_3^10 - 2173437791860115/4887842577946*c_0101_3^9 + 65559546889283/4887842577946*c_0101_3^8 + 2818736026149159/4887842577946*c_0101_3^7 - 324495537457517/4887842577946*c_0101_3^6 - 1843223284210353/4887842577946*c_0101_3^5 + 170215309108837/2443921288973*c_0101_3^4 + 263747983321940/2443921288973*c_0101_3^3 - 61962453366309/2443921288973*c_0101_3^2 - 15834710693407/2443921288973*c_0101_3 + 2463921176057/2443921288973, c_0101_1 - 479530679269/4887842577946*c_0101_3^17 + 883534825774/2443921288973*c_0101_3^16 + 3459347035672/2443921288973*c_0101_3^15 + 3734956627678/2443921288973*c_0101_3^14 - 62163204424071/2443921288973*c_0101_3^13 - 60567810496136/2443921288973*c_0101_3^12 + 684900457700423/4887842577946*c_0101_3^11 + 403744549689143/4887842577946*c_0101_3^10 - 1677537588400125/4887842577946*c_0101_3^9 - 277369643483211/2443921288973*c_0101_3^8 + 1037744978427989/2443921288973*c_0101_3^7 + 151369004911302/2443921288973*c_0101_3^6 - 1293589843200001/4887842577946*c_0101_3^5 - 16718832408963/4887842577946*c_0101_3^4 + 176807588411246/2443921288973*c_0101_3^3 - 12646857670237/2443921288973*c_0101_3^2 - 10539651436752/2443921288973*c_0101_3 + 699493062447/2443921288973, c_0101_3^18 - c_0101_3^17 - 17*c_0101_3^16 - 59*c_0101_3^15 + 97*c_0101_3^14 + 468*c_0101_3^13 - 307*c_0101_3^12 - 1439*c_0101_3^11 + 626*c_0101_3^10 + 2289*c_0101_3^9 - 831*c_0101_3^8 - 2023*c_0101_3^7 + 685*c_0101_3^6 + 971*c_0101_3^5 - 320*c_0101_3^4 - 217*c_0101_3^3 + 70*c_0101_3^2 + 12*c_0101_3 - 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB