Magma V2.19-8 Tue Aug 20 2013 17:56:09 on localhost [Seed = 2749502569] Type ? for help. Type -D to quit. Loading file "11_542__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_542 geometric_solution 9.03328411 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 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 1 -1 0 1 0 -14 13 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.223169472337 1.658617796930 0 3 5 5 0132 3120 2103 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 -1 0 0 1 -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.778229684777 0.723784461939 6 0 7 6 0132 0132 0132 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 -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.466682743228 0.670857130312 8 1 7 0 0132 3120 3120 0132 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 -1 0 1 -14 0 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.805034366382 0.728527739787 8 7 0 7 2103 2103 0132 3120 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 0 0 0 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.101501910514 0.556829025399 1 8 1 6 2103 2103 0132 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 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.310999582708 0.640797705434 2 2 5 9 0132 1302 2031 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 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.301207931168 1.004514627516 4 4 3 2 3120 2103 3120 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.487914814946 0.891910383023 3 5 4 9 0132 2103 2103 3120 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 0 0 0 14 0 -13 -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.125766374657 0.512589432772 8 9 6 9 3120 1302 0132 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 1 0 -1 1 0 0 -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.195651591566 1.093700233675 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : d['c_0011_4'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0011_7'], 'c_1001_9' : d['c_0101_3'], 'c_1001_8' : d['c_0011_4'], 's_2_8' : d['1'], 's_2_9' : 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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : 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_9' : negation(d['c_0011_9']), 'c_1100_8' : negation(d['c_0101_2']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : negation(d['c_0011_9']), 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : negation(d['c_0101_7']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : negation(d['c_0101_3']), 'c_1010_7' : d['c_0011_7'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0011_9'], 'c_1010_4' : negation(d['c_0011_7']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0011_7'], 'c_1010_9' : d['c_0011_9'], 'c_1010_8' : negation(d['c_0011_9']), 's_3_1' : d['1'], 's_3_0' : 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_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : 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_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : d['c_0101_0'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_7, c_0011_9, c_0101_0, c_0101_2, c_0101_3, c_0101_6, c_0101_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 5251130396621002991/8541546989868860275*c_0101_7^22 + 576479622566753572/1708309397973772055*c_0101_7^21 + 66090895595810507707/8541546989868860275*c_0101_7^20 + 42895173886791156023/8541546989868860275*c_0101_7^19 + 328116529781664830274/8541546989868860275*c_0101_7^18 + 282932428523795956372/8541546989868860275*c_0101_7^17 + 632303627675548310344/8541546989868860275*c_0101_7^16 + 1009405001722342335907/8541546989868860275*c_0101_7^15 - 187599139907012789933/1708309397973772055*c_0101_7^14 + 1938862113097581599101/8541546989868860275*c_0101_7^13 - 8449566390432625057128/8541546989868860275*c_0101_7^12 + 1292810506850828511702/8541546989868860275*c_0101_7^11 - 22589522243569128123891/8541546989868860275*c_0101_7^10 - 2430716056625906061371/8541546989868860275*c_0101_7^9 - 6730351934263195383587/1708309397973772055*c_0101_7^8 - 6644854545873720932667/8541546989868860275*c_0101_7^7 - 29608750947584988650516/8541546989868860275*c_0101_7^6 - 618214654617561556942/776504271806260025*c_0101_7^5 - 1295219197118860118748/776504271806260025*c_0101_7^4 - 697895490578030609388/1708309397973772055*c_0101_7^3 - 2793484963876293377077/8541546989868860275*c_0101_7^2 - 772519309625019172808/8541546989868860275*c_0101_7 + 54098980060176793684/8541546989868860275, c_0011_0 - 1, c_0011_3 + 3147741710/14160464107*c_0101_7^22 + 5016770218/14160464107*c_0101_7^21 + 42038007093/14160464107*c_0101_7^20 + 74592563104/14160464107*c_0101_7^19 + 212841559599/14160464107*c_0101_7^18 + 494134989448/14160464107*c_0101_7^17 + 328189973042/14160464107*c_0101_7^16 + 1850091138530/14160464107*c_0101_7^15 - 1551322076764/14160464107*c_0101_7^14 + 4086363812794/14160464107*c_0101_7^13 - 10137478433467/14160464107*c_0101_7^12 + 4728049320555/14160464107*c_0101_7^11 - 27700952728958/14160464107*c_0101_7^10 + 431603420319/14160464107*c_0101_7^9 - 44134586204991/14160464107*c_0101_7^8 - 6713163716830/14160464107*c_0101_7^7 - 42229090170595/14160464107*c_0101_7^6 - 9223178901979/14160464107*c_0101_7^5 - 22254963072617/14160464107*c_0101_7^4 - 5315975094611/14160464107*c_0101_7^3 - 4726839441246/14160464107*c_0101_7^2 - 1206717762137/14160464107*c_0101_7 + 150553236703/14160464107, c_0011_4 - 3330351417/14160464107*c_0101_7^22 - 2908909853/14160464107*c_0101_7^21 - 46863751695/14160464107*c_0101_7^20 - 41989715179/14160464107*c_0101_7^19 - 266040575200/14160464107*c_0101_7^18 - 268439429562/14160464107*c_0101_7^17 - 658219879408/14160464107*c_0101_7^16 - 944546243740/14160464107*c_0101_7^15 + 245513001543/14160464107*c_0101_7^14 - 1805680224727/14160464107*c_0101_7^13 + 6652375536501/14160464107*c_0101_7^12 - 1100310033155/14160464107*c_0101_7^11 + 21307027229521/14160464107*c_0101_7^10 + 2961581717380/14160464107*c_0101_7^9 + 36167324444489/14160464107*c_0101_7^8 + 8067338241335/14160464107*c_0101_7^7 + 35825031950851/14160464107*c_0101_7^6 + 8808696062222/14160464107*c_0101_7^5 + 19345649629315/14160464107*c_0101_7^4 + 4760567933989/14160464107*c_0101_7^3 + 4232190671221/14160464107*c_0101_7^2 + 1077943588605/14160464107*c_0101_7 - 116672787390/14160464107, c_0011_7 - 1828603515/14160464107*c_0101_7^22 - 28040432/14160464107*c_0101_7^21 - 27414969091/14160464107*c_0101_7^20 + 1633333061/14160464107*c_0101_7^19 - 175135212085/14160464107*c_0101_7^18 + 26501985121/14160464107*c_0101_7^17 - 584594360650/14160464107*c_0101_7^16 + 191649485393/14160464107*c_0101_7^15 - 873238105705/14160464107*c_0101_7^14 + 832837172869/14160464107*c_0101_7^13 + 703239032803/14160464107*c_0101_7^12 + 2366417148866/14160464107*c_0101_7^11 + 5918369570682/14160464107*c_0101_7^10 + 4493049643414/14160464107*c_0101_7^9 + 12307180090572/14160464107*c_0101_7^8 + 5634439825095/14160464107*c_0101_7^7 + 13380950684414/14160464107*c_0101_7^6 + 4466361587198/14160464107*c_0101_7^5 + 7651110708259/14160464107*c_0101_7^4 + 2041884766782/14160464107*c_0101_7^3 + 1759297387943/14160464107*c_0101_7^2 + 429717285560/14160464107*c_0101_7 - 44748797652/14160464107, c_0011_9 - 724156142/14160464107*c_0101_7^22 + 4260111907/14160464107*c_0101_7^21 - 12197398759/14160464107*c_0101_7^20 + 63219284261/14160464107*c_0101_7^19 - 98445406660/14160464107*c_0101_7^18 + 412740529676/14160464107*c_0101_7^17 - 500838071770/14160464107*c_0101_7^16 + 1528993532590/14160464107*c_0101_7^15 - 1803912606685/14160464107*c_0101_7^14 + 3420767373368/14160464107*c_0101_7^13 - 4818762236087/14160464107*c_0101_7^12 + 4383663108777/14160464107*c_0101_7^11 - 9523867949999/14160464107*c_0101_7^10 + 2102370073299/14160464107*c_0101_7^9 - 13389183685781/14160464107*c_0101_7^8 - 2223952881854/14160464107*c_0101_7^7 - 12458963678805/14160464107*c_0101_7^6 - 4041712220696/14160464107*c_0101_7^5 - 6750812495413/14160464107*c_0101_7^4 - 2277163140878/14160464107*c_0101_7^3 - 1587960068263/14160464107*c_0101_7^2 - 436728433299/14160464107*c_0101_7 - 11445660185/14160464107, c_0101_0 - 2780757595/14160464107*c_0101_7^22 + 4609361110/14160464107*c_0101_7^21 - 47244838683/14160464107*c_0101_7^20 + 80249363396/14160464107*c_0101_7^19 - 365912578006/14160464107*c_0101_7^18 + 625617942475/14160464107*c_0101_7^17 - 1686614269336/14160464107*c_0101_7^16 + 2870377103740/14160464107*c_0101_7^15 - 5094125125378/14160464107*c_0101_7^14 + 8517540734360/14160464107*c_0101_7^13 - 10484846785114/14160464107*c_0101_7^12 + 16857245179622/14160464107*c_0101_7^11 - 14829772689656/14160464107*c_0101_7^10 + 22014340471093/14160464107*c_0101_7^9 - 14172866831609/14160464107*c_0101_7^8 + 17869601330368/14160464107*c_0101_7^7 - 8709957725165/14160464107*c_0101_7^6 + 7602646127456/14160464107*c_0101_7^5 - 3059298244128/14160464107*c_0101_7^4 + 696723591931/14160464107*c_0101_7^3 - 423483846492/14160464107*c_0101_7^2 - 394202084930/14160464107*c_0101_7 + 9642414450/14160464107, c_0101_2 - 665070207/14160464107*c_0101_7^22 + 1019839416/14160464107*c_0101_7^21 - 11008568394/14160464107*c_0101_7^20 + 17161231828/14160464107*c_0101_7^19 - 82624390036/14160464107*c_0101_7^18 + 129630409892/14160464107*c_0101_7^17 - 365401948469/14160464107*c_0101_7^16 + 577988139734/14160464107*c_0101_7^15 - 1042201737643/14160464107*c_0101_7^14 + 1673928177276/14160464107*c_0101_7^13 - 1971881788056/14160464107*c_0101_7^12 + 3260409763280/14160464107*c_0101_7^11 - 2439234307779/14160464107*c_0101_7^10 + 4269058218764/14160464107*c_0101_7^9 - 1832550366487/14160464107*c_0101_7^8 + 3645773850245/14160464107*c_0101_7^7 - 648324044767/14160464107*c_0101_7^6 + 1888644784003/14160464107*c_0101_7^5 + 53864883032/14160464107*c_0101_7^4 + 494937531055/14160464107*c_0101_7^3 + 95773397403/14160464107*c_0101_7^2 + 19842579482/14160464107*c_0101_7 + 10625748993/14160464107, c_0101_3 - 5124710892/14160464107*c_0101_7^22 + 6946009837/14160464107*c_0101_7^21 - 84028680346/14160464107*c_0101_7^20 + 120586957827/14160464107*c_0101_7^19 - 624600164801/14160464107*c_0101_7^18 + 936488290575/14160464107*c_0101_7^17 - 2741170837884/14160464107*c_0101_7^16 + 4288614534988/14160464107*c_0101_7^15 - 7787451150337/14160464107*c_0101_7^14 + 12752458450801/14160464107*c_0101_7^13 - 14789440485392/14160464107*c_0101_7^12 + 25469221002126/14160464107*c_0101_7^11 - 18705630490497/14160464107*c_0101_7^10 + 34004801300366/14160464107*c_0101_7^9 - 15142511543044/14160464107*c_0101_7^8 + 29020449863368/14160464107*c_0101_7^7 - 7090369173110/14160464107*c_0101_7^6 + 14071395626117/14160464107*c_0101_7^5 - 1408667132769/14160464107*c_0101_7^4 + 2691394255432/14160464107*c_0101_7^3 + 110908906484/14160464107*c_0101_7^2 - 187478294670/14160464107*c_0101_7 + 46080717568/14160464107, c_0101_6 - 2534390027/14160464107*c_0101_7^22 + 4204790838/14160464107*c_0101_7^21 - 43886848460/14160464107*c_0101_7^20 + 74148582015/14160464107*c_0101_7^19 - 345862987413/14160464107*c_0101_7^18 + 585845969396/14160464107*c_0101_7^17 - 1620329173779/14160464107*c_0101_7^16 + 2726758233474/14160464107*c_0101_7^15 - 4966559909170/14160464107*c_0101_7^14 + 8227265669556/14160464107*c_0101_7^13 - 10342999709641/14160464107*c_0101_7^12 + 16633342446183/14160464107*c_0101_7^11 - 14707525551834/14160464107*c_0101_7^10 + 22404145711167/14160464107*c_0101_7^9 - 13937467192416/14160464107*c_0101_7^8 + 19172584129321/14160464107*c_0101_7^7 - 8234500817122/14160464107*c_0101_7^6 + 9181036887070/14160464107*c_0101_7^5 - 2566133516837/14160464107*c_0101_7^4 + 1595529104878/14160464107*c_0101_7^3 - 204213079123/14160464107*c_0101_7^2 - 202292758545/14160464107*c_0101_7 + 37463675352/14160464107, c_0101_7^23 - c_0101_7^22 + 17*c_0101_7^21 - 19*c_0101_7^20 + 131*c_0101_7^19 - 162*c_0101_7^18 + 597*c_0101_7^17 - 822*c_0101_7^16 + 1763*c_0101_7^15 - 2749*c_0101_7^14 + 3471*c_0101_7^13 - 6315*c_0101_7^12 + 4482*c_0101_7^11 - 10045*c_0101_7^10 + 3481*c_0101_7^9 - 10852*c_0101_7^8 + 1106*c_0101_7^7 - 7546*c_0101_7^6 - 506*c_0101_7^5 - 3002*c_0101_7^4 - 582*c_0101_7^3 - 496*c_0101_7^2 - 158*c_0101_7 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.290 seconds, Total memory usage: 32.09MB