Magma V2.19-8 Tue Aug 20 2013 16:14:18 on localhost [Seed = 2101141849] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s285 geometric_solution 4.45371939 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 1 3 0132 0132 1230 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 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.633338083183 0.588658274687 0 3 2 0 0132 2031 3120 3012 0 0 0 0 0 1 -1 0 0 0 1 -1 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 1 -1 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.152878748316 0.787359780989 4 0 1 4 0132 0132 3120 3201 0 0 0 0 0 1 -1 0 0 0 -1 1 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 -1 1 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.890814037601 0.329285360507 1 3 0 3 1302 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 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 -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.413717809671 0.611343891880 2 2 5 5 0132 2310 0132 3201 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.701195556345 0.958273196672 5 4 5 4 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.947829674265 0.337793092960 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], '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_0101_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0110_3']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0110_3'], 'c_1001_2' : d['c_0110_3'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0110_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_2, c_0101_4, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1796657970875771/9810319126534480*c_0110_3^22 + 6139375785792769/2452579781633620*c_0110_3^21 + 72741513600537553/4905159563267240*c_0110_3^20 + 483019261859258833/9810319126534480*c_0110_3^19 + 941518084069964663/9810319126534480*c_0110_3^18 + 108875346944988461/1226289890816810*c_0110_3^17 - 317729147102639461/4905159563267240*c_0110_3^16 - 880567334878579943/2452579781633620*c_0110_3^15 - 1162364531843646817/1962063825306896*c_0110_3^14 - 4704015012463913523/9810319126534480*c_0110_3^13 + 103865155499675763/2452579781633620*c_0110_3^12 + 1609170529842522461/2452579781633620*c_0110_3^11 + 8996338334544498073/9810319126534480*c_0110_3^10 + 1306963487208100627/1962063825306896*c_0110_3^9 + 733747971741458173/4905159563267240*c_0110_3^8 - 525628421143741041/1962063825306896*c_0110_3^7 - 804844051329819183/1962063825306896*c_0110_3^6 - 156204177770713635/490515956326724*c_0110_3^5 - 1281153314389702681/9810319126534480*c_0110_3^4 + 172631636595742413/9810319126534480*c_0110_3^3 + 38541767396464484/613144945408405*c_0110_3^2 + 352510497552154089/9810319126534480*c_0110_3 + 102866551248078543/9810319126534480, c_0011_0 - 1, c_0011_3 - 21231408016387/490515956326724*c_0110_3^22 - 234157154703895/490515956326724*c_0110_3^21 - 534694379191187/245257978163362*c_0110_3^20 - 1274277902007981/245257978163362*c_0110_3^19 - 2953441443822637/490515956326724*c_0110_3^18 + 553519621819073/490515956326724*c_0110_3^17 + 2088483975595431/122628989081681*c_0110_3^16 + 15424308944891857/490515956326724*c_0110_3^15 + 3446899146211767/122628989081681*c_0110_3^14 + 563676194873017/245257978163362*c_0110_3^13 - 3649873271656230/122628989081681*c_0110_3^12 - 11117005174541025/245257978163362*c_0110_3^11 - 17451985826352403/490515956326724*c_0110_3^10 - 1421758795605268/122628989081681*c_0110_3^9 + 4704471641417925/490515956326724*c_0110_3^8 + 2256440993625240/122628989081681*c_0110_3^7 + 3680640393071889/245257978163362*c_0110_3^6 + 726811564607193/122628989081681*c_0110_3^5 - 578363988151565/490515956326724*c_0110_3^4 - 668236486087445/245257978163362*c_0110_3^3 - 954600664726581/490515956326724*c_0110_3^2 - 338884709621939/245257978163362*c_0110_3 + 82504259742437/122628989081681, c_0011_5 - 6339979183389/245257978163362*c_0110_3^22 - 117116098419117/490515956326724*c_0110_3^21 - 386893784671333/490515956326724*c_0110_3^20 - 85257576475314/122628989081681*c_0110_3^19 + 310524433945371/122628989081681*c_0110_3^18 + 4413192615915801/490515956326724*c_0110_3^17 + 5773532990568299/490515956326724*c_0110_3^16 + 84584571132849/122628989081681*c_0110_3^15 - 11828005034932907/490515956326724*c_0110_3^14 - 10531142643774777/245257978163362*c_0110_3^13 - 7778223769313537/245257978163362*c_0110_3^12 + 1041755308797002/122628989081681*c_0110_3^11 + 5750421334749232/122628989081681*c_0110_3^10 + 26146135173239321/490515956326724*c_0110_3^9 + 3461588111255885/122628989081681*c_0110_3^8 - 1699137849857479/490515956326724*c_0110_3^7 - 5319514713678737/245257978163362*c_0110_3^6 - 5586798828251501/245257978163362*c_0110_3^5 - 3266026401208441/245257978163362*c_0110_3^4 - 651774657980961/490515956326724*c_0110_3^3 + 1120527337938553/245257978163362*c_0110_3^2 + 1581633915591387/490515956326724*c_0110_3 + 207548390533521/122628989081681, c_0101_2 - 305833261819/245257978163362*c_0110_3^22 + 12801383929725/490515956326724*c_0110_3^21 + 182477472534937/490515956326724*c_0110_3^20 + 222164141273472/122628989081681*c_0110_3^19 + 546515577384007/122628989081681*c_0110_3^18 + 2665421567383019/490515956326724*c_0110_3^17 - 85857763145407/490515956326724*c_0110_3^16 - 1651369948476486/122628989081681*c_0110_3^15 - 12961889750923029/490515956326724*c_0110_3^14 - 6268979372078929/245257978163362*c_0110_3^13 - 1474088120776659/245257978163362*c_0110_3^12 + 2536029609756459/122628989081681*c_0110_3^11 + 4475322671725649/122628989081681*c_0110_3^10 + 16129951320204775/490515956326724*c_0110_3^9 + 1951668194836728/122628989081681*c_0110_3^8 - 1128866852874537/490515956326724*c_0110_3^7 - 3145985604104655/245257978163362*c_0110_3^6 - 3198613212228925/245257978163362*c_0110_3^5 - 1732364872761353/245257978163362*c_0110_3^4 - 762412259721607/490515956326724*c_0110_3^3 + 64918390694831/245257978163362*c_0110_3^2 + 437809716332189/490515956326724*c_0110_3 + 124967075775211/122628989081681, c_0101_4 - 1780709870403/490515956326724*c_0110_3^22 - 1838802755093/490515956326724*c_0110_3^21 + 30699542241308/122628989081681*c_0110_3^20 + 430937639278945/245257978163362*c_0110_3^19 + 2722836827253651/490515956326724*c_0110_3^18 + 4598970514017807/490515956326724*c_0110_3^17 + 1461631274093261/245257978163362*c_0110_3^16 - 5377332835287491/490515956326724*c_0110_3^15 - 8797596709418209/245257978163362*c_0110_3^14 - 11982447290389221/245257978163362*c_0110_3^13 - 3884393223242209/122628989081681*c_0110_3^12 + 2665074508017789/245257978163362*c_0110_3^11 + 25301664391070977/490515956326724*c_0110_3^10 + 15885740608905313/245257978163362*c_0110_3^9 + 22994375162059097/490515956326724*c_0110_3^8 + 3501984510109905/245257978163362*c_0110_3^7 - 3228188650001361/245257978163362*c_0110_3^6 - 2944335955547615/122628989081681*c_0110_3^5 - 9381479354460141/490515956326724*c_0110_3^4 - 912821471150936/122628989081681*c_0110_3^3 + 264285313354423/490515956326724*c_0110_3^2 + 240282964066770/122628989081681*c_0110_3 + 223605853900682/122628989081681, c_0110_3^23 + 12*c_0110_3^22 + 62*c_0110_3^21 + 179*c_0110_3^20 + 301*c_0110_3^19 + 216*c_0110_3^18 - 294*c_0110_3^17 - 1124*c_0110_3^16 - 1687*c_0110_3^15 - 1313*c_0110_3^14 + 44*c_0110_3^13 + 1596*c_0110_3^12 + 2347*c_0110_3^11 + 1933*c_0110_3^10 + 806*c_0110_3^9 - 279*c_0110_3^8 - 825*c_0110_3^7 - 780*c_0110_3^6 - 411*c_0110_3^5 - 73*c_0110_3^4 + 72*c_0110_3^3 + 83*c_0110_3^2 + 37*c_0110_3 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB