Magma V2.19-8 Tue Aug 20 2013 16:18:30 on localhost [Seed = 3718004974] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2692 geometric_solution 5.94883427 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 0132 0 0 0 0 0 -1 1 0 0 0 1 -1 0 -1 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 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.474993128312 1.082150618405 0 3 4 4 0132 0132 3012 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.436127963869 0.309478045356 3 4 0 3 3120 1023 0132 2310 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 -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.015970774793 0.838599586258 2 1 5 2 3201 0132 0132 3120 0 0 0 0 0 0 1 -1 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.931846602168 1.261587347819 2 1 1 5 1023 1230 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462999032580 1.163634186609 4 6 6 3 3120 0132 3201 0132 0 0 0 0 0 1 0 -1 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 0 -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.388284758860 0.437723941142 5 5 6 6 2310 0132 1230 3012 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 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.758755288574 0.842512383175 ==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' : 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_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' : negation(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' : negation(d['c_0101_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0101_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_5']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], '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_6']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_5']), 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : 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_2, c_0011_5, c_0101_0, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 5440626360298257025249159/1256810183926148215850*c_0101_6^15 + 900377599243005705080887/50272407357045928634*c_0101_6^14 + 16013353766709956339012772/125681018392614821585*c_0101_6^13 - 479020621087179757306777051/1256810183926148215850*c_0101_6^12 - 323105010546548644415572607/251362036785229643170*c_0101_6^11 + 1979632065245486947445421967/1256810183926148215850*c_0101_6^10 + 1695592933696475604278233873/251362036785229643170*c_0101_6^9 + 498401346905108898790497039/1256810183926148215850*c_0101_6^8 - 15265178249985241322621891997/1256810183926148215850*c_0101_6^7 - 1342324168722664085836410299/125681018392614821585*c_0101_6^6 - 853933581131152413492615117/1256810183926148215850*c_0101_6^5 + 1531920742145929366859458313/1256810183926148215850*c_0101_6^4 - 280567793851011977779043137/628405091963074107925*c_0101_6^3 - 217109343480866303923950657/1256810183926148215850*c_0101_6^2 + 30027615460780447430696609/251362036785229643170*c_0101_6 + 39081931561832038665852979/1256810183926148215850, c_0011_0 - 1, c_0011_2 - 18270093533424130470/25136203678522964317*c_0101_6^15 + 73461100834041320261/25136203678522964317*c_0101_6^14 + 548570387467147642150/25136203678522964317*c_0101_6^13 - 1555640441336545417215/25136203678522964317*c_0101_6^12 - 5665962372635743422989/25136203678522964317*c_0101_6^11 + 6228742235084222719340/25136203678522964317*c_0101_6^10 + 29712575842197198565508/25136203678522964317*c_0101_6^9 + 3947184579059376099478/25136203678522964317*c_0101_6^8 - 53580944062801866511095/25136203678522964317*c_0101_6^7 - 49604441903380363930661/25136203678522964317*c_0101_6^6 - 3270878782033466663908/25136203678522964317*c_0101_6^5 + 6675764153204194953702/25136203678522964317*c_0101_6^4 - 2261274421305118317803/25136203678522964317*c_0101_6^3 - 822407841922509715779/25136203678522964317*c_0101_6^2 + 667496106542576482718/25136203678522964317*c_0101_6 + 106060802359724611103/25136203678522964317, c_0011_5 + 63494511488077127754/25136203678522964317*c_0101_6^15 - 278261271685445755625/25136203678522964317*c_0101_6^14 - 1797445964547818502645/25136203678522964317*c_0101_6^13 + 6016142238462904635234/25136203678522964317*c_0101_6^12 + 17294240999937816775367/25136203678522964317*c_0101_6^11 - 27015771767177129090312/25136203678522964317*c_0101_6^10 - 91563103791775012326533/25136203678522964317*c_0101_6^9 + 15043120826259207860367/25136203678522964317*c_0101_6^8 + 170419522796775441057801/25136203678522964317*c_0101_6^7 + 116910352813298839606295/25136203678522964317*c_0101_6^6 - 10900374692250030969394/25136203678522964317*c_0101_6^5 - 11847048363099906863728/25136203678522964317*c_0101_6^4 + 7935531900422062611907/25136203678522964317*c_0101_6^3 + 509090922632193220263/25136203678522964317*c_0101_6^2 - 1482677797056628828349/25136203678522964317*c_0101_6 - 194361209296088004216/25136203678522964317, c_0101_0 - 27239493836227945846/25136203678522964317*c_0101_6^15 + 112220628770941479630/25136203678522964317*c_0101_6^14 + 805108451167237694588/25136203678522964317*c_0101_6^13 - 2391183917687802988217/25136203678522964317*c_0101_6^12 - 8166020440993179909425/25136203678522964317*c_0101_6^11 + 9922413109612490215523/25136203678522964317*c_0101_6^10 + 42913456931210483599107/25136203678522964317*c_0101_6^9 + 2477236316992937953740/25136203678522964317*c_0101_6^8 - 77964240962839614962382/25136203678522964317*c_0101_6^7 - 67316006985372181509131/25136203678522964317*c_0101_6^6 - 2406595260785179800191/25136203678522964317*c_0101_6^5 + 8439307899183165390622/25136203678522964317*c_0101_6^4 - 3377803903826650663743/25136203678522964317*c_0101_6^3 - 979930303008899213737/25136203678522964317*c_0101_6^2 + 818981233178969803096/25136203678522964317*c_0101_6 + 145705515877985903577/25136203678522964317, c_0101_3 - 29149072423039842912/25136203678522964317*c_0101_6^15 + 130645509181512574466/25136203678522964317*c_0101_6^14 + 810897946251188220839/25136203678522964317*c_0101_6^13 - 2836808283328333951066/25136203678522964317*c_0101_6^12 - 7622289751136432848005/25136203678522964317*c_0101_6^11 + 13035022018066533780792/25136203678522964317*c_0101_6^10 + 40417766076822424693338/25136203678522964317*c_0101_6^9 - 10342243705881508196717/25136203678522964317*c_0101_6^8 - 75518672085853125673033/25136203678522964317*c_0101_6^7 - 46715642179605207812415/25136203678522964317*c_0101_6^6 + 6537674997503600266761/25136203678522964317*c_0101_6^5 + 3017382357697175332650/25136203678522964317*c_0101_6^4 - 3725380768850379479753/25136203678522964317*c_0101_6^3 + 108433612014451196758/25136203678522964317*c_0101_6^2 + 548650722154922456489/25136203678522964317*c_0101_6 + 58899306299817277744/25136203678522964317, c_0101_5 + 51538915260933215444/25136203678522964317*c_0101_6^15 - 223690902176393254603/25136203678522964317*c_0101_6^14 - 1469111731484286523482/25136203678522964317*c_0101_6^13 + 4824557876215941467897/25136203678522964317*c_0101_6^12 + 14259081019528910735880/25136203678522964317*c_0101_6^11 - 21398282786323268561360/25136203678522964317*c_0101_6^10 - 75377132404974631874492/25136203678522964317*c_0101_6^9 + 9383022637261960417107/25136203678522964317*c_0101_6^8 + 139538112808954338180276/25136203678522964317*c_0101_6^7 + 100255780723098506366031/25136203678522964317*c_0101_6^6 - 6201225611154050619189/25136203678522964317*c_0101_6^5 - 10383253087760855050221/25136203678522964317*c_0101_6^4 + 6412522039850406895447/25136203678522964317*c_0101_6^3 + 684555866344546300968/25136203678522964317*c_0101_6^2 - 1264788013214178305761/25136203678522964317*c_0101_6 - 174371122294884890538/25136203678522964317, c_0101_6^16 - 4*c_0101_6^15 - 30*c_0101_6^14 + 84*c_0101_6^13 + 309*c_0101_6^12 - 323*c_0101_6^11 - 1608*c_0101_6^10 - 306*c_0101_6^9 + 2792*c_0101_6^8 + 2853*c_0101_6^7 + 498*c_0101_6^6 - 259*c_0101_6^5 + 64*c_0101_6^4 + 54*c_0101_6^3 - 22*c_0101_6^2 - 11*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB