Magma V2.19-8 Tue Aug 20 2013 16:18:16 on localhost [Seed = 2345277119] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2478 geometric_solution 5.80951498 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 2 0 3012 0132 0132 1230 0 0 0 0 0 -1 0 1 -1 0 0 1 -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 0 1 -1 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.704481940906 0.896842458166 3 0 4 3 0132 0132 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.166609500739 0.949123112534 4 4 3 0 1302 1230 2310 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 1 0 -1 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.663779698085 0.641805629549 1 2 5 1 0132 3201 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.584809446523 0.864427036858 5 2 2 1 1302 2031 3012 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 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.673649923676 1.074462568298 6 4 6 3 0132 2031 2310 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.700665591004 1.447623254253 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.423111784895 0.271632537154 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : negation(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' : d['1'], 's_2_6' : d['1'], 's_1_6' : 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' : negation(d['1']), 's_1_0' : negation(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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_1001_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_2'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : negation(d['c_0011_5']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : negation(d['c_0101_1']), 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : negation(d['c_1001_2']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_5']), 'c_1010_0' : d['c_0011_2']})} 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_2, c_0011_4, c_0011_5, c_0101_1, c_0101_5, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 9088491479705018709411/301350542586357214592*c_1001_2^14 + 41614617099115747409539/150675271293178607296*c_1001_2^13 + 115492903603992617814607/150675271293178607296*c_1001_2^12 + 11864555331270654411889/9417204455823662956*c_1001_2^11 + 755216333458556959350695/301350542586357214592*c_1001_2^10 - 741546215793121769181675/301350542586357214592*c_1001_2^9 - 1022623969600905744739641/301350542586357214592*c_1001_2^8 - 197357639884470641952329/301350542586357214592*c_1001_2^7 - 2341295422982931644021999/150675271293178607296*c_1001_2^6 - 5206227087426233750106645/301350542586357214592*c_1001_2^5 - 2827659466344536453256107/301350542586357214592*c_1001_2^4 - 1890736784850423112597369/301350542586357214592*c_1001_2^3 - 338067201106771205886479/301350542586357214592*c_1001_2^2 - 122858027729089930687515/150675271293178607296*c_1001_2 + 70682452324226969814395/301350542586357214592, c_0011_0 - 1, c_0011_2 - 1095919573437024217/1637774687969332688*c_1001_2^14 - 5044132037880179763/818887343984666344*c_1001_2^13 - 14171531949750296147/818887343984666344*c_1001_2^12 - 11794919249503121901/409443671992333172*c_1001_2^11 - 93242191985831282009/1637774687969332688*c_1001_2^10 + 85235798077568588425/1637774687969332688*c_1001_2^9 + 127478919969015227431/1637774687969332688*c_1001_2^8 + 32751541227533357731/1637774687969332688*c_1001_2^7 + 280869533226740943735/818887343984666344*c_1001_2^6 + 655417930231309060315/1637774687969332688*c_1001_2^5 + 375900509039223158905/1637774687969332688*c_1001_2^4 + 234077993873220582151/1637774687969332688*c_1001_2^3 + 50999177251198000245/1637774687969332688*c_1001_2^2 + 14848668704737303479/818887343984666344*c_1001_2 - 6355860673170033005/1637774687969332688, c_0011_4 - 11885410934812557/409443671992333172*c_1001_2^14 - 51656991224100917/204721835996166586*c_1001_2^13 - 127034957764108639/204721835996166586*c_1001_2^12 - 94320254922565766/102360917998083293*c_1001_2^11 - 800213296819963125/409443671992333172*c_1001_2^10 + 1370528678931819253/409443671992333172*c_1001_2^9 + 731755219130935947/409443671992333172*c_1001_2^8 - 13319518243111829/409443671992333172*c_1001_2^7 + 2942151823878659083/204721835996166586*c_1001_2^6 + 3898602186758981599/409443671992333172*c_1001_2^5 + 1884668328332812861/409443671992333172*c_1001_2^4 + 1265654749694930351/409443671992333172*c_1001_2^3 - 676304219116261343/409443671992333172*c_1001_2^2 + 410180196735222421/204721835996166586*c_1001_2 + 178446743888687707/409443671992333172, c_0011_5 + 1138500498120010109/1637774687969332688*c_1001_2^14 + 5238364349233399821/818887343984666344*c_1001_2^13 + 14719192588752725649/818887343984666344*c_1001_2^12 + 3073174870519105408/102360917998083293*c_1001_2^11 + 97432436490071958217/1637774687969332688*c_1001_2^10 - 87713162641376185909/1637774687969332688*c_1001_2^9 - 130000931389064307719/1637774687969332688*c_1001_2^8 - 35655625213744415335/1637774687969332688*c_1001_2^7 - 294106918841938740953/818887343984666344*c_1001_2^6 - 678019364759154980795/1637774687969332688*c_1001_2^5 - 402578503352208771541/1637774687969332688*c_1001_2^4 - 259482129418754323095/1637774687969332688*c_1001_2^3 - 55754927626422248945/1637774687969332688*c_1001_2^2 - 16964496548119585093/818887343984666344*c_1001_2 + 7310603569995982645/1637774687969332688, c_0101_1 - 1303296306152254481/1637774687969332688*c_1001_2^14 - 5968140473324490689/818887343984666344*c_1001_2^13 - 16595759125810446141/818887343984666344*c_1001_2^12 - 3435078550727294791/102360917998083293*c_1001_2^11 - 109488231197030910909/1637774687969332688*c_1001_2^10 + 104545610891646482537/1637774687969332688*c_1001_2^9 + 143002871484155214675/1637774687969332688*c_1001_2^8 + 35499049199690919939/1637774687969332688*c_1001_2^7 + 336397578044540728989/818887343984666344*c_1001_2^6 + 748881913079063163991/1637774687969332688*c_1001_2^5 + 433201158495645360345/1637774687969332688*c_1001_2^4 + 286768651740565294755/1637774687969332688*c_1001_2^3 + 60355770762788578389/1637774687969332688*c_1001_2^2 + 18855548661950376361/818887343984666344*c_1001_2 - 8228906487452326393/1637774687969332688, c_0101_5 - 13917500008314657/818887343984666344*c_1001_2^14 - 60868411467235049/409443671992333172*c_1001_2^13 - 152120952725443673/409443671992333172*c_1001_2^12 - 57480143701738325/102360917998083293*c_1001_2^11 - 969110892377983173/818887343984666344*c_1001_2^10 + 1541429979979610049/818887343984666344*c_1001_2^9 + 935137616381498171/818887343984666344*c_1001_2^8 + 38897729116310419/818887343984666344*c_1001_2^7 + 3508374320315395125/409443671992333172*c_1001_2^6 + 4933617444582770303/818887343984666344*c_1001_2^5 + 2313255013094313817/818887343984666344*c_1001_2^4 + 1626083004931270043/818887343984666344*c_1001_2^3 - 221418228109962251/818887343984666344*c_1001_2^2 + 106545771710354937/409443671992333172*c_1001_2 + 278464078325328655/818887343984666344, c_1001_2^15 + 9*c_1001_2^14 + 24*c_1001_2^13 + 38*c_1001_2^12 + 77*c_1001_2^11 - 94*c_1001_2^10 - 98*c_1001_2^9 - 8*c_1001_2^8 - 511*c_1001_2^7 - 493*c_1001_2^6 - 234*c_1001_2^5 - 162*c_1001_2^4 - 10*c_1001_2^3 - 21*c_1001_2^2 + 11*c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB