Magma V2.19-8 Tue Aug 20 2013 16:17:12 on localhost [Seed = 1713896121] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1434 geometric_solution 5.26280499 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.528714138217 0.363720376618 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 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 0 0 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.187472980602 0.519458019603 1 4 4 5 0132 0132 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 -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 0 0 0 0.808910351175 0.438002037990 5 4 4 1 0132 2310 1023 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 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.808910351175 0.438002037990 2 2 3 3 2310 0132 1023 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 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 0 1.044046554679 0.517621707604 3 6 2 6 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.914160323631 0.481077399501 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.599844468736 0.175269638104 ==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' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : negation(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_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_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_0011_1']), 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], '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_1'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_4']), '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_3'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 1457426310996782031950914181879/22101427388465533710462614186562*c_\ 0110_6^12 + 81510342602894986743643904136/3683571231410922285077102\ 364427*c_0110_6^11 - 19060476562376817809665072820311/7367142462821\ 844570154204728854*c_0110_6^10 - 97363884251687460812280376194173/2\ 2101427388465533710462614186562*c_0110_6^9 + 84224555854097190914536594360342/11050713694232766855231307093281*c\ _0110_6^8 + 490112038940791895476665647889622/110507136942327668552\ 31307093281*c_0110_6^7 - 20785218026376234712552268016865/539059204\ 596720334401527175282*c_0110_6^6 - 804681745193338281469303857448837/22101427388465533710462614186562*\ c_0110_6^5 + 30755306355452027163439915888549/368357123141092228507\ 7102364427*c_0110_6^4 + 24545708978123366136087468021743/7367142462\ 821844570154204728854*c_0110_6^3 + 10245749334805079208292354736065/3683571231410922285077102364427*c_\ 0110_6^2 + 77057509913540459021212096248042/36835712314109222850771\ 02364427*c_0110_6 - 81779820422577217813614526667140/11050713694232\ 766855231307093281, c_0011_0 - 1, c_0011_1 - 51832617919243612/27337503942552788419*c_0110_6^12 - 63620656084411089/27337503942552788419*c_0110_6^11 - 2073915913019461653/27337503942552788419*c_0110_6^10 - 6627358511528120420/27337503942552788419*c_0110_6^9 - 1964613030897503763/27337503942552788419*c_0110_6^8 + 39548577159073248531/27337503942552788419*c_0110_6^7 + 35715202095152234117/27337503942552788419*c_0110_6^6 - 14119004737863281501/27337503942552788419*c_0110_6^5 - 51845625383304857018/27337503942552788419*c_0110_6^4 - 65290572155981610703/27337503942552788419*c_0110_6^3 - 32531689935650413583/27337503942552788419*c_0110_6^2 - 8687880446555855463/27337503942552788419*c_0110_6 + 8236659019978741830/27337503942552788419, c_0101_0 - 7090126829480556201/3745238040129732013403*c_0110_6^12 + 7544764391511908192/3745238040129732013403*c_0110_6^11 - 288543087482866813669/3745238040129732013403*c_0110_6^10 - 281715875795078793229/3745238040129732013403*c_0110_6^9 + 808544809864482545062/3745238040129732013403*c_0110_6^8 + 3040569451453312274483/3745238040129732013403*c_0110_6^7 - 8417045619821679844505/3745238040129732013403*c_0110_6^6 + 3908003037764152318299/3745238040129732013403*c_0110_6^5 + 7204333741589566019999/3745238040129732013403*c_0110_6^4 + 368295845648506173880/3745238040129732013403*c_0110_6^3 - 3331662476916156646245/3745238040129732013403*c_0110_6^2 - 1769503170323092793948/3745238040129732013403*c_0110_6 - 2378107360156645805041/3745238040129732013403, c_0101_1 + 87516542656409063/27337503942552788419*c_0110_6^12 + 131595372373988750/27337503942552788419*c_0110_6^11 + 3549759784155720790/27337503942552788419*c_0110_6^10 + 12246892597453276030/27337503942552788419*c_0110_6^9 + 7334630754215513113/27337503942552788419*c_0110_6^8 - 60500246861551877993/27337503942552788419*c_0110_6^7 - 64535127971517010804/27337503942552788419*c_0110_6^6 + 18290682266901024212/27337503942552788419*c_0110_6^5 + 75868703559235674038/27337503942552788419*c_0110_6^4 + 98740480478260744240/27337503942552788419*c_0110_6^3 + 50274022884287154699/27337503942552788419*c_0110_6^2 + 18416900556745699201/27337503942552788419*c_0110_6 + 19956407866347886192/27337503942552788419, c_0101_3 - 206497465479879277/27337503942552788419*c_0110_6^12 - 179138121150677906/27337503942552788419*c_0110_6^11 - 8157062047701999902/27337503942552788419*c_0110_6^10 - 23560023585302421901/27337503942552788419*c_0110_6^9 + 1939517158476078706/27337503942552788419*c_0110_6^8 + 156122118152863544687/27337503942552788419*c_0110_6^7 + 61939186675141807457/27337503942552788419*c_0110_6^6 - 138787007467713792463/27337503942552788419*c_0110_6^5 - 110036693224017850563/27337503942552788419*c_0110_6^4 - 75780906048587251979/27337503942552788419*c_0110_6^3 - 85973093940716672228/27337503942552788419*c_0110_6^2 + 4935744173152027556/27337503942552788419*c_0110_6 + 7962717862592797369/27337503942552788419, c_0101_4 + 39147039968072451906/3745238040129732013403*c_0110_6^12 + 36540106141701300181/3745238040129732013403*c_0110_6^11 + 1579768089613555221632/3745238040129732013403*c_0110_6^10 + 4606944477475105302180/3745238040129732013403*c_0110_6^9 + 1212695524504077291125/3745238040129732013403*c_0110_6^8 - 25498521292120160905422/3745238040129732013403*c_0110_6^7 - 10678874489173162163391/3745238040129732013403*c_0110_6^6 + 10256241634625276316234/3745238040129732013403*c_0110_6^5 + 17203559124127403077718/3745238040129732013403*c_0110_6^4 + 20737220514950855845764/3745238040129732013403*c_0110_6^3 + 11481610968477109531344/3745238040129732013403*c_0110_6^2 - 120062061637135521424/3745238040129732013403*c_0110_6 + 1450662674722021525118/3745238040129732013403, c_0110_6^13 + c_0110_6^12 + 40*c_0110_6^11 + 120*c_0110_6^10 + 22*c_0110_6^9 - 698*c_0110_6^8 - 328*c_0110_6^7 + 498*c_0110_6^6 + 495*c_0110_6^5 + 367*c_0110_6^4 + 314*c_0110_6^3 - 35*c_0110_6^2 - 39*c_0110_6 + 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB