Magma V2.19-8 Tue Aug 20 2013 16:14:41 on localhost [Seed = 1242289749] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s665 geometric_solution 5.15747714 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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 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 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440352911069 0.549101935746 0 1 1 4 0132 1230 3012 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.111158831752 1.108348312881 4 0 5 5 3012 0132 3201 0132 0 0 0 0 0 1 -1 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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.714894123325 0.906658365414 3 4 3 0 2310 2103 3201 0132 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 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.666530417885 0.489096193873 1 3 0 2 3012 2103 0132 1230 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.910413020318 0.893258558246 2 5 2 5 2310 1302 0132 2031 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.035430621793 1.159907163419 ==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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : 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' : negation(d['1']), 's_1_0' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0011_3'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : negation(d['c_0011_0']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 2859000528771018894188541649190927905363776303/11565938626107577543\ 4951452498351341040091498*c_0101_2^20 - 15966984510749457058540606358034172402267687290/5782969313053788771\ 7475726249175670520045749*c_0101_2^19 - 1274276565438465773657478305792404680983930153/57829693130537887717\ 475726249175670520045749*c_0101_2^18 + 16622012314559574742118213642971209055766351159/2360395637981138274\ 182682704047986551838602*c_0101_2^17 + 363514175206990511933098623888454198967669160816/578296931305378877\ 17475726249175670520045749*c_0101_2^16 - 4016603278455199540499451244760591210601985611528/57829693130537887\ 717475726249175670520045749*c_0101_2^15 - 2159447624932171167039025374347784101806049982541/57829693130537887\ 717475726249175670520045749*c_0101_2^14 + 33812392354887824880178919305820125082322667638533/1156593862610757\ 75434951452498351341040091498*c_0101_2^13 + 5437945540794259753911343093462792543509671544523/11565938626107577\ 5434951452498351341040091498*c_0101_2^12 - 50582397197815948125217081509258422314831064498219/1156593862610757\ 75434951452498351341040091498*c_0101_2^11 - 2023722985681531430651468114987881528867524283340/82613847329339839\ 59639389464167952931435107*c_0101_2^10 + 33156677140242457626436042444239719826075459892870/5782969313053788\ 7717475726249175670520045749*c_0101_2^9 + 7903879141826763779750069573564803952339778055847/57829693130537887\ 717475726249175670520045749*c_0101_2^8 - 24603579297538692427757207095452330163943954930283/5782969313053788\ 7717475726249175670520045749*c_0101_2^7 + 3873166188322208070594394735084500657901629432763/57829693130537887\ 717475726249175670520045749*c_0101_2^6 + 8258079991382378767067166458289413934513952777444/57829693130537887\ 717475726249175670520045749*c_0101_2^5 + 13708772572133763116533449694665913146782234416/5782969313053788771\ 7475726249175670520045749*c_0101_2^4 - 6483843177454381874043663337079476897315453640999/11565938626107577\ 5434951452498351341040091498*c_0101_2^3 + 759879021114978834430381246164896241801770165914/578296931305378877\ 17475726249175670520045749*c_0101_2^2 + 295522058936448957742995563108880462345636657183/115659386261075775\ 434951452498351341040091498*c_0101_2 - 20142924194184368191537161194755349390186366481/1652276946586796791\ 9278778928335905862870214, c_0011_0 - 1, c_0011_3 + 2886450328209169635976144992807918505/2376077751138653386533\ 80582247633033203*c_0101_2^20 + 32695266372928343747122279770917971\ 821/237607775113865338653380582247633033203*c_0101_2^19 + 7961470787098561740774913682370862840/23760777511386533865338058224\ 7633033203*c_0101_2^18 - 818173017521425577175096541093291165152/23\ 7607775113865338653380582247633033203*c_0101_2^17 - 860229911328550543349666229202761352154/237607775113865338653380582\ 247633033203*c_0101_2^16 + 7908050915695145759721132289326246098698\ /237607775113865338653380582247633033203*c_0101_2^15 + 5484709375170213815685037875234328807471/23760777511386533865338058\ 2247633033203*c_0101_2^14 - 326817923578793072169242288652309220562\ 19/237607775113865338653380582247633033203*c_0101_2^13 - 9694856409233805001990096979854183902575/23760777511386533865338058\ 2247633033203*c_0101_2^12 + 472975458968333049779260209132525964644\ 26/237607775113865338653380582247633033203*c_0101_2^11 + 33170611578555400927633559370988713082321/2376077751138653386533805\ 82247633033203*c_0101_2^10 - 59046886690230104841249520976284284450\ 269/237607775113865338653380582247633033203*c_0101_2^9 - 19263517507166091780370720981762493227293/2376077751138653386533805\ 82247633033203*c_0101_2^8 + 450697790833617715550396527714856668298\ 44/237607775113865338653380582247633033203*c_0101_2^7 - 5878254106288568294264475624661621110193/23760777511386533865338058\ 2247633033203*c_0101_2^6 - 1686214144095145991427890333529573831059\ 7/237607775113865338653380582247633033203*c_0101_2^5 - 591255001933740570892664062245406353451/237607775113865338653380582\ 247633033203*c_0101_2^4 + 5895863587396335176500148876324403609565/\ 237607775113865338653380582247633033203*c_0101_2^3 - 1822904867198845050930127216072771076225/23760777511386533865338058\ 2247633033203*c_0101_2^2 - 508292561218473980840964219348869740489/\ 237607775113865338653380582247633033203*c_0101_2 + 174767492717401527307743104029396570530/237607775113865338653380582\ 247633033203, c_0011_4 + 351847954363362565713200572487060152753112/57829693130537887\ 717475726249175670520045749*c_0101_2^20 + 3882813887171545183359801196173426078390683/57829693130537887717475\ 726249175670520045749*c_0101_2^19 - 313700922245666931479668784369926043097358/578296931305378877174757\ 26249175670520045749*c_0101_2^18 - 14495797921261178416305383401985552456631282/8261384732933983959639\ 389464167952931435107*c_0101_2^17 - 77013300795139555139048510347759048884307171/5782969313053788771747\ 5726249175670520045749*c_0101_2^16 + 1028304655558664018256373936512315433841814955/57829693130537887717\ 475726249175670520045749*c_0101_2^15 + 444859558840962151786933636819311443399224959/578296931305378877174\ 75726249175670520045749*c_0101_2^14 - 4476965121911363839278482040403146267396149294/57829693130537887717\ 475726249175670520045749*c_0101_2^13 - 440629592438600570191825553875338642720796313/578296931305378877174\ 75726249175670520045749*c_0101_2^12 + 7229791562168110655845820225284202111458723509/57829693130537887717\ 475726249175670520045749*c_0101_2^11 + 71596635241780847146591196154397051833949130/1180197818990569137091\ 341352023993275919301*c_0101_2^10 - 9678746272046453591386470901383286655906077007/57829693130537887717\ 475726249175670520045749*c_0101_2^9 - 2638491737446183723468460428126582213759055375/57829693130537887717\ 475726249175670520045749*c_0101_2^8 + 7249794419700609314257507878681995103682972663/57829693130537887717\ 475726249175670520045749*c_0101_2^7 - 540134608595918245461992729282761520730444762/578296931305378877174\ 75726249175670520045749*c_0101_2^6 - 2577696996941943035666915938229928431473127520/57829693130537887717\ 475726249175670520045749*c_0101_2^5 - 65378789264805896168280895214649211919226332/5782969313053788771747\ 5726249175670520045749*c_0101_2^4 + 1080429853539796239050194840817046603417577286/57829693130537887717\ 475726249175670520045749*c_0101_2^3 + 16338129709370555940795467398442969605126612/5782969313053788771747\ 5726249175670520045749*c_0101_2^2 - 36290974684131598646570606376856340003048595/5782969313053788771747\ 5726249175670520045749*c_0101_2 + 341847884154986571734436771384583\ 9917293494/8261384732933983959639389464167952931435107, c_0011_5 + 1707712154269140993785207796196281107/2376077751138653386533\ 80582247633033203*c_0101_2^20 + 20373226875136214306434461069989953\ 283/237607775113865338653380582247633033203*c_0101_2^19 + 16901646110761855092949681299906244309/2376077751138653386533805822\ 47633033203*c_0101_2^18 - 475124876875963206435392988504651216002/2\ 37607775113865338653380582247633033203*c_0101_2^17 - 798016172710021558613706385443922723437/237607775113865338653380582\ 247633033203*c_0101_2^16 + 4223205347859406242885503116058113121310\ /237607775113865338653380582247633033203*c_0101_2^15 + 5877857521801671260832346311397608250574/23760777511386533865338058\ 2247633033203*c_0101_2^14 - 159803114005616146988286878339216290332\ 98/237607775113865338653380582247633033203*c_0101_2^13 - 16117650413723137104524466855603876931108/2376077751138653386533805\ 82247633033203*c_0101_2^12 + 18850608115587108827098784511380404612\ 607/237607775113865338653380582247633033203*c_0101_2^11 + 33664063393637446216458953119498655896602/2376077751138653386533805\ 82247633033203*c_0101_2^10 - 15023657652976017551815190836892773619\ 070/237607775113865338653380582247633033203*c_0101_2^9 - 24920616346129505404346951467812029514081/2376077751138653386533805\ 82247633033203*c_0101_2^8 + 102165053526000889283494669162251955424\ 40/237607775113865338653380582247633033203*c_0101_2^7 + 7013160741923696105476462816624641699423/23760777511386533865338058\ 2247633033203*c_0101_2^6 - 4745351407433350360472143862976819260593\ /237607775113865338653380582247633033203*c_0101_2^5 - 5589833374694636429835321089813640869581/23760777511386533865338058\ 2247633033203*c_0101_2^4 + 444203405824694826883665130146526139894/\ 237607775113865338653380582247633033203*c_0101_2^3 + 387985107095441549242925908622675293993/237607775113865338653380582\ 247633033203*c_0101_2^2 + 12708633443404384659532976199974756545/23\ 7607775113865338653380582247633033203*c_0101_2 - 25235446595580874256326305864086605132/2376077751138653386533805822\ 47633033203, c_0101_1 - 3477818919331218837115100105484780086253720/5782969313053788\ 7717475726249175670520045749*c_0101_2^20 - 38071307526601275100171633378559525271343761/5782969313053788771747\ 5726249175670520045749*c_0101_2^19 + 5831700946615732675709447815383768223039424/57829693130537887717475\ 726249175670520045749*c_0101_2^18 + 142106960871402076555656876442243892749719057/826138473293398395963\ 9389464167952931435107*c_0101_2^17 + 665872931075791835079340215905174467829511366/578296931305378877174\ 75726249175670520045749*c_0101_2^16 - 10047891676609281373920261131193525440266049979/5782969313053788771\ 7475726249175670520045749*c_0101_2^15 - 3195620129156914530796273318428799165563428755/57829693130537887717\ 475726249175670520045749*c_0101_2^14 + 43030733228348189429707515293288736285836315955/5782969313053788771\ 7475726249175670520045749*c_0101_2^13 - 1670405137312932230238591049088729933300055237/57829693130537887717\ 475726249175670520045749*c_0101_2^12 - 65930105300981499232415767408037282795322000451/5782969313053788771\ 7475726249175670520045749*c_0101_2^11 - 472630161154837572639942508230182485994606257/118019781899056913709\ 1341352023993275919301*c_0101_2^10 + 92451714506933324607434523046250718488374814795/5782969313053788771\ 7475726249175670520045749*c_0101_2^9 + 6742127298513455500277155502954138341186921573/57829693130537887717\ 475726249175670520045749*c_0101_2^8 - 68255438921804231143921304304907570855489997787/5782969313053788771\ 7475726249175670520045749*c_0101_2^7 + 18032325338539863558859928773775196675158328957/5782969313053788771\ 7475726249175670520045749*c_0101_2^6 + 21071629146537478731093878171246906840251956135/5782969313053788771\ 7475726249175670520045749*c_0101_2^5 - 2793725571503188039435669960909105005337482665/57829693130537887717\ 475726249175670520045749*c_0101_2^4 - 9345140536350237811621750710435295514598745483/57829693130537887717\ 475726249175670520045749*c_0101_2^3 + 2703639310630354913621245172151172012835592719/57829693130537887717\ 475726249175670520045749*c_0101_2^2 + 330927597372311003910912328890444291165645212/578296931305378877174\ 75726249175670520045749*c_0101_2 - 21506161284045169318171886942903576937222798/8261384732933983959639\ 389464167952931435107, c_0101_2^21 + 11*c_0101_2^20 - c_0101_2^19 - 285*c_0101_2^18 - 206*c_0101_2^17 + 2852*c_0101_2^16 + 1034*c_0101_2^15 - 12073*c_0101_2^14 + 101*c_0101_2^13 + 17972*c_0101_2^12 + 6936*c_0101_2^11 - 24812*c_0101_2^10 - 1612*c_0101_2^9 + 18045*c_0101_2^8 - 5583*c_0101_2^7 - 5245*c_0101_2^6 + 914*c_0101_2^5 + 2259*c_0101_2^4 - 902*c_0101_2^3 - 5*c_0101_2^2 + 59*c_0101_2 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB