Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 3566553101] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1826 geometric_solution 5.48380937 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 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.207954789632 0.225250212755 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 -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 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.579356584032 2.171465846183 1 4 3 5 0132 0132 0213 0132 0 0 0 0 0 0 0 0 1 0 -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 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 0.345699523117 0.504750542678 5 2 4 1 0132 0213 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 0 0 0.345699523117 0.504750542678 3 2 4 4 2310 0132 1230 3012 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 0 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.076364354147 1.348586163143 3 6 2 6 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.247294803031 0.786947764867 5 5 6 6 3201 0132 2031 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 -1 1 0 0 -1 1 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.530194863840 0.252504245229 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(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' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), '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' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), '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_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], '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' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_3'], '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_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_0011_3, c_0101_1, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 18573775988524335635545405606505659/4494615665342109527324048585009\ 62432*c_0110_6^16 + 47130614249398428473938840403288537/22473078326\ 7105476366202429250481216*c_0110_6^15 + 266952703534516732698693573553101773/449461566534210952732404858500\ 962432*c_0110_6^14 - 41953774613073583466664373707168843/1123653916\ 33552738183101214625240608*c_0110_6^13 - 1860441051868193927728417011792945283/44946156653421095273240485850\ 0962432*c_0110_6^12 - 2358955766611325599637968431019778607/2247307\ 83267105476366202429250481216*c_0110_6^11 - 3046309256548568428075284265544274235/11236539163355273818310121462\ 5240608*c_0110_6^10 - 479353602535387529653200287664468019/86434916\ 64119441398700093432710816*c_0110_6^9 - 4840753281722752074334495561420524605/22473078326710547636620242925\ 0481216*c_0110_6^8 - 9052230745521413645422115702267486405/44946156\ 6534210952732404858500962432*c_0110_6^7 + 220287802303660388563125938922915559/561826958167763690915506073126\ 20304*c_0110_6^6 + 24200268752418800590763946357116165247/449461566\ 534210952732404858500962432*c_0110_6^5 + 17917807717152267980800414001226053853/4494615665342109527324048585\ 00962432*c_0110_6^4 + 17162561549747712416746773720186353771/224730\ 783267105476366202429250481216*c_0110_6^3 + 14574830834654772946498385718668904163/4494615665342109527324048585\ 00962432*c_0110_6^2 + 545552292256885997553596515188716047/17286983\ 328238882797400186865421632*c_0110_6 + 5731214111539591895240873010798366717/44946156653421095273240485850\ 0962432, c_0011_0 - 1, c_0011_1 - 625067693019081972463/166713159367296501164992*c_0110_6^16 + 1782083988208314307301/83356579683648250582496*c_0110_6^15 + 4353244555691293530201/166713159367296501164992*c_0110_6^14 + 2457141551231303081217/41678289841824125291248*c_0110_6^13 - 76521644055915967891799/166713159367296501164992*c_0110_6^12 - 68234734543374126829603/83356579683648250582496*c_0110_6^11 - 131449724263244222587783/41678289841824125291248*c_0110_6^10 - 140333928492155843044035/41678289841824125291248*c_0110_6^9 - 516349461968293114316985/83356579683648250582496*c_0110_6^8 + 350770122369598791351759/166713159367296501164992*c_0110_6^7 + 58715888387988474833211/20839144920912062645624*c_0110_6^6 - 9364563887534168675229/166713159367296501164992*c_0110_6^5 + 1363290929772590259936617/166713159367296501164992*c_0110_6^4 + 110069587315946950668959/83356579683648250582496*c_0110_6^3 + 902017947786574388631607/166713159367296501164992*c_0110_6^2 - 78601368638282952921465/83356579683648250582496*c_0110_6 + 237771124538087204332809/166713159367296501164992, c_0011_3 - 1310047025572755986866219/163566448484238779705502776*c_0110\ _6^16 + 8913519181621153868790127/163566448484238779705502776*c_011\ 0_6^15 + 1179426072266571123853421/40891612121059694926375694*c_011\ 0_6^14 - 3355306008451416327372631/20445806060529847463187847*c_011\ 0_6^13 - 104812852647142367486868755/163566448484238779705502776*c_\ 0110_6^12 - 117583436323317924818723649/163566448484238779705502776\ *c_0110_6^11 - 530005272770808157500637645/163566448484238779705502\ 776*c_0110_6^10 - 561835777293046401519733113/163566448484238779705\ 502776*c_0110_6^9 + 853236327768250560979047693/1635664484842387797\ 05502776*c_0110_6^8 - 84651058011018347479817833/204458060605298474\ 63187847*c_0110_6^7 + 51272883566770051648247736/204458060605298474\ 63187847*c_0110_6^6 + 1028070663396841251467238055/1635664484842387\ 79705502776*c_0110_6^5 - 106127283543871622480964225/40891612121059\ 694926375694*c_0110_6^4 + 491568222477883542829438625/8178322424211\ 9389852751388*c_0110_6^3 - 700547773609483522757583939/163566448484\ 238779705502776*c_0110_6^2 + 471516184775417498494586827/1635664484\ 84238779705502776*c_0110_6 - 23163447841880347167668086/20445806060\ 529847463187847, c_0101_1 + 202074385806004082703/20839144920912062645624*c_0110_6^16 - 1496979694299989798193/20839144920912062645624*c_0110_6^15 + 159394450074916476949/10419572460456031322812*c_0110_6^14 + 308203620950739615833/2604893115114007830703*c_0110_6^13 + 18262112952059163662191/20839144920912062645624*c_0110_6^12 + 6726452272455197002863/20839144920912062645624*c_0110_6^11 + 86025687462339834161231/20839144920912062645624*c_0110_6^10 + 4560797575786945043867/20839144920912062645624*c_0110_6^9 - 74863861278942741130347/20839144920912062645624*c_0110_6^8 - 15970894047445763730395/10419572460456031322812*c_0110_6^7 - 6134473779027758813321/2604893115114007830703*c_0110_6^6 - 19432181128052548804243/20839144920912062645624*c_0110_6^5 - 34371841291310179827331/10419572460456031322812*c_0110_6^4 + 29305405053573576856011/10419572460456031322812*c_0110_6^3 + 22434687421888921928499/20839144920912062645624*c_0110_6^2 + 58895314004166492610723/20839144920912062645624*c_0110_6 - 2584177235803232131933/10419572460456031322812, c_0101_3 - 6387878527314696098648589/1308531587873910237644022208*c_011\ 0_6^16 + 23011637782683394611795407/654265793936955118822011104*c_0\ 110_6^15 - 8489157880258135014337653/1308531587873910237644022208*c\ _0110_6^14 - 6502913819593388427022541/327132896968477559411005552*\ c_0110_6^13 - 568470583924539503346106693/1308531587873910237644022\ 208*c_0110_6^12 - 208970395157504587266310697/654265793936955118822\ 011104*c_0110_6^11 - 876588538385104105032848741/327132896968477559\ 411005552*c_0110_6^10 - 380175327551228002012530233/327132896968477\ 559411005552*c_0110_6^9 - 823529309771545431843162411/6542657939369\ 55118822011104*c_0110_6^8 - 1802541034259454282766780819/1308531587\ 873910237644022208*c_0110_6^7 + 347645717871617121272352081/1635664\ 48484238779705502776*c_0110_6^6 + 529367078154805343907725609/13085\ 31587873910237644022208*c_0110_6^5 + 5392105216959193782414008059/1308531587873910237644022208*c_0110_6^\ 4 + 732082048606365021738225949/654265793936955118822011104*c_0110_\ 6^3 + 1559750930955346452514601573/1308531587873910237644022208*c_0\ 110_6^2 + 329022644545961513629187765/654265793936955118822011104*c\ _0110_6 - 95916136977021216932971173/1308531587873910237644022208, c_0101_4 + 1362773473362024482935161/654265793936955118822011104*c_0110\ _6^16 - 4888377013713796885067395/327132896968477559411005552*c_011\ 0_6^15 + 1957369671764129349389089/654265793936955118822011104*c_01\ 10_6^14 + 1411590575948794559151833/163566448484238779705502776*c_0\ 110_6^13 + 96982427428641654057891185/654265793936955118822011104*c\ _0110_6^12 + 53083516777397126489745477/327132896968477559411005552\ *c_0110_6^11 + 208254500948625089059889033/163566448484238779705502\ 776*c_0110_6^10 + 160941815940447123734654685/163566448484238779705\ 502776*c_0110_6^9 + 323665608839426415429349503/3271328969684775594\ 11005552*c_0110_6^8 + 1845552384116073362886467367/6542657939369551\ 18822011104*c_0110_6^7 - 76539667946416748727672581/817832242421193\ 89852751388*c_0110_6^6 - 1406828877822155796016564005/6542657939369\ 55118822011104*c_0110_6^5 - 652932385641131210700231471/65426579393\ 6955118822011104*c_0110_6^4 - 767207332075889060267575385/327132896\ 968477559411005552*c_0110_6^3 - 873406736045440573316071345/6542657\ 93936955118822011104*c_0110_6^2 - 375535004078848841818271441/32713\ 2896968477559411005552*c_0110_6 - 11199875417552784553664047/654265\ 793936955118822011104, c_0110_6^17 - 7*c_0110_6^16 - c_0110_6^15 + 11*c_0110_6^14 + 85*c_0110_6^13 + 81*c_0110_6^12 + 490*c_0110_6^11 + 336*c_0110_6^10 - 134*c_0110_6^9 + 401*c_0110_6^8 - 471*c_0110_6^7 - 357*c_0110_6^6 - 234*c_0110_6^5 - 555*c_0110_6^4 + 73*c_0110_6^3 - 297*c_0110_6^2 + 107*c_0110_6 - 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB