Magma V2.19-8 Tue Aug 20 2013 16:18:27 on localhost [Seed = 678016287] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2647 geometric_solution 5.91834399 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 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.423926815501 0.396580034918 0 1 5 1 0132 2310 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 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.753408082001 0.999882502000 2 0 2 5 2310 0132 3201 0132 0 0 0 0 0 1 -1 0 1 0 -1 0 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 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.146051593090 1.368178846035 6 5 6 0 0132 0132 1023 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.113437083591 0.892798688014 5 4 0 4 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734078391441 1.384114445697 4 3 2 1 0132 0132 0132 0132 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 -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.423926815501 0.396580034918 3 6 3 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515855622257 0.225677891935 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : 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_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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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_0101_2']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0101_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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 192388817237961649915/23163953865527871738*c_1001_0^16 - 463470061248879087841/7721317955175957246*c_1001_0^15 - 528639861731696271338/3860658977587978623*c_1001_0^14 - 2968135215092259354629/11581976932763935869*c_1001_0^13 - 170961050688024752921/11581976932763935869*c_1001_0^12 + 3223313612947332504037/3860658977587978623*c_1001_0^11 + 14092525361922315849395/7721317955175957246*c_1001_0^10 + 70285042435716242396527/23163953865527871738*c_1001_0^9 + 18497416633002496101841/11581976932763935869*c_1001_0^8 - 16312136762607290115691/11581976932763935869*c_1001_0^7 - 33198362199941095607513/23163953865527871738*c_1001_0^6 - 48400653477698590417097/23163953865527871738*c_1001_0^5 - 9729214154839249283645/3860658977587978623*c_1001_0^4 - 18009436135850182919414/11581976932763935869*c_1001_0^3 - 1352918395692834958799/1362585521501639514*c_1001_0^2 - 2228355187616825080210/11581976932763935869*c_1001_0 + 1827937767342412695107/23163953865527871738, c_0011_0 - 1, c_0011_3 - 805995055344575591/7721317955175957246*c_1001_0^16 - 1752808668339213193/2573772651725319082*c_1001_0^15 - 1640641783855282414/1286886325862659541*c_1001_0^14 - 9761741511849619924/3860658977587978623*c_1001_0^13 + 4714844832636271388/3860658977587978623*c_1001_0^12 + 11314292397530977593/1286886325862659541*c_1001_0^11 + 44312535537462217001/2573772651725319082*c_1001_0^10 + 217871300890268387903/7721317955175957246*c_1001_0^9 + 23350284891671100857/3860658977587978623*c_1001_0^8 - 50913571163248464635/3860658977587978623*c_1001_0^7 - 49188583946383337695/7721317955175957246*c_1001_0^6 - 179109618808328724817/7721317955175957246*c_1001_0^5 - 27714630456243511001/1286886325862659541*c_1001_0^4 - 45545130851575973047/3860658977587978623*c_1001_0^3 - 4572924774709763443/454195173833879838*c_1001_0^2 - 3093848855006985533/3860658977587978623*c_1001_0 - 4857275137286091881/7721317955175957246, c_0101_0 - 1686174644203355339/11581976932763935869*c_1001_0^16 - 4271789957273250866/3860658977587978623*c_1001_0^15 - 10714403507673284669/3860658977587978623*c_1001_0^14 - 60906814444393875713/11581976932763935869*c_1001_0^13 - 19120579081307482226/11581976932763935869*c_1001_0^12 + 57920660708104237375/3860658977587978623*c_1001_0^11 + 144443389540646866867/3860658977587978623*c_1001_0^10 + 729925501622778065030/11581976932763935869*c_1001_0^9 + 514299538918477954318/11581976932763935869*c_1001_0^8 - 230875751239574049073/11581976932763935869*c_1001_0^7 - 418903724495582925817/11581976932763935869*c_1001_0^6 - 468495970643707227481/11581976932763935869*c_1001_0^5 - 219907377878039363243/3860658977587978623*c_1001_0^4 - 467126765907098477540/11581976932763935869*c_1001_0^3 - 15699515991227970301/681292760750819757*c_1001_0^2 - 96600355020459204370/11581976932763935869*c_1001_0 + 22276850447960682316/11581976932763935869, c_0101_1 - 416040875696412037/3860658977587978623*c_1001_0^16 - 851065944524137340/1286886325862659541*c_1001_0^15 - 1292059146359188341/1286886325862659541*c_1001_0^14 - 7172079882302746969/3860658977587978623*c_1001_0^13 + 10274805438433654520/3860658977587978623*c_1001_0^12 + 12088300881925438572/1286886325862659541*c_1001_0^11 + 17131377987428548102/1286886325862659541*c_1001_0^10 + 74242974553321201582/3860658977587978623*c_1001_0^9 - 42796134619370200741/3860658977587978623*c_1001_0^8 - 90408265373519256494/3860658977587978623*c_1001_0^7 + 1697853795098767261/3860658977587978623*c_1001_0^6 - 56143741003788445064/3860658977587978623*c_1001_0^5 - 11264836272367731239/1286886325862659541*c_1001_0^4 - 3638973812077824952/3860658977587978623*c_1001_0^3 - 22825244044205492/227097586916939919*c_1001_0^2 + 15742604208638035885/3860658977587978623*c_1001_0 - 468859104148348696/3860658977587978623, c_0101_2 - 26572990076/136091078469*c_1001_0^16 - 126781101313/90727385646*c_1001_0^15 - 143782975619/45363692823*c_1001_0^14 - 825047973731/136091078469*c_1001_0^13 - 28998873086/136091078469*c_1001_0^12 + 851356561369/45363692823*c_1001_0^11 + 1956203702653/45363692823*c_1001_0^10 + 19172516657635/272182156938*c_1001_0^9 + 5195578461934/136091078469*c_1001_0^8 - 3905744177773/136091078469*c_1001_0^7 - 4933277841181/136091078469*c_1001_0^6 - 12449982354605/272182156938*c_1001_0^5 - 2721214754957/45363692823*c_1001_0^4 - 5382993617942/136091078469*c_1001_0^3 - 183071722861/8005357557*c_1001_0^2 - 1757990295221/272182156938*c_1001_0 + 495105026459/272182156938, c_0101_3 + 7834234184218585135/23163953865527871738*c_1001_0^16 + 8648371781983882106/3860658977587978623*c_1001_0^15 + 16616833623753792893/3860658977587978623*c_1001_0^14 + 96110636183140441913/11581976932763935869*c_1001_0^13 - 43685761294789907371/11581976932763935869*c_1001_0^12 - 116583821461718053891/3860658977587978623*c_1001_0^11 - 449648359896336655259/7721317955175957246*c_1001_0^10 - 1080994602650784562379/11581976932763935869*c_1001_0^9 - 219855384857383664965/11581976932763935869*c_1001_0^8 + 634102583485897376527/11581976932763935869*c_1001_0^7 + 720250021901790413267/23163953865527871738*c_1001_0^6 + 830296232425765681675/11581976932763935869*c_1001_0^5 + 252958239354796401200/3860658977587978623*c_1001_0^4 + 415858350206389621700/11581976932763935869*c_1001_0^3 + 33475099814296031933/1362585521501639514*c_1001_0^2 - 17045365358990569489/23163953865527871738*c_1001_0 - 15747864112710990676/11581976932763935869, c_1001_0^17 + 7*c_1001_0^16 + 15*c_1001_0^15 + 28*c_1001_0^14 - 4*c_1001_0^13 - 98*c_1001_0^12 - 201*c_1001_0^11 - 325*c_1001_0^10 - 129*c_1001_0^9 + 186*c_1001_0^8 + 145*c_1001_0^7 + 223*c_1001_0^6 + 257*c_1001_0^5 + 142*c_1001_0^4 + 89*c_1001_0^3 + 6*c_1001_0^2 - 12*c_1001_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB