Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 3953817355] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0669 geometric_solution 4.64469370 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 0 0 -1 1 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 1 -1 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.802497348374 0.096001379395 0 3 0 3 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 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 -1 1 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.680728756735 0.336794569845 2 0 2 0 2310 0132 3201 1023 0 0 0 0 0 1 0 -1 0 0 1 -1 -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 -1 1 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.849551571189 0.051686532778 4 1 5 1 0132 0132 0132 1023 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 0 0 1 -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 1.844575452407 1.475605278918 3 6 5 5 0132 0132 2310 1230 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 -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.345922062216 1.128004167148 4 4 6 3 3012 3201 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 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 1 -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.345922062216 1.128004167148 5 4 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.210268266054 0.422204413245 ==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' : negation(d['c_0101_5']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], '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_4'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_4'], '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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 2682032873850872909411765/1099236090878561309221*c_0101_5^26 + 27453811546764524854881099/1099236090878561309221*c_0101_5^25 + 272387911904547681617840726/3297708272635683927663*c_0101_5^24 - 107892033625606356939080656/3297708272635683927663*c_0101_5^23 - 1002551652588833626883280874/1099236090878561309221*c_0101_5^22 - 2290228425133328295123219031/1099236090878561309221*c_0101_5^21 + 31708572298777600407812165/3297708272635683927663*c_0101_5^20 + 7213894538639425886775900832/1099236090878561309221*c_0101_5^19 + 7674903991936207472469723426/1099236090878561309221*c_0101_5^18 - 7368663590354778621691448359/1099236090878561309221*c_0101_5^17 - 45464510137082149446776676229/3297708272635683927663*c_0101_5^16 + 4909741202425108623429969772/1099236090878561309221*c_0101_5^15 + 18368929665127356181981606479/1099236090878561309221*c_0101_5^14 - 9858125474037413883295155901/3297708272635683927663*c_0101_5^13 - 16472372770059801512335038793/1099236090878561309221*c_0101_5^12 + 9518706466565782289537295820/3297708272635683927663*c_0101_5^11 + 31770362170772297041256714944/3297708272635683927663*c_0101_5^10 - 10884567190937447506926040099/3297708272635683927663*c_0101_5^9 - 4497715429134575252891695318/1099236090878561309221*c_0101_5^8 + 8499943456765231776987990509/3297708272635683927663*c_0101_5^7 + 820386270626337941028794669/1099236090878561309221*c_0101_5^6 - 3609548952345442916111023687/3297708272635683927663*c_0101_5^5 + 231667952207875330086837130/1099236090878561309221*c_0101_5^4 + 519864576975214933969554301/3297708272635683927663*c_0101_5^3 - 343638980928554634230766049/3297708272635683927663*c_0101_5^2 + 82566190994249102288276140/3297708272635683927663*c_0101_5 - 2473662284273601930656513/1099236090878561309221, c_0011_0 - 1, c_0011_5 + 651197759861207900042343/1099236090878561309221*c_0101_5^26 + 6793084311699785508346665/1099236090878561309221*c_0101_5^25 + 23359078815746239339038981/1099236090878561309221*c_0101_5^24 - 4254149645615025094190204/1099236090878561309221*c_0101_5^23 - 244192140795757243211660716/1099236090878561309221*c_0101_5^22 - 602050809293507910632293364/1099236090878561309221*c_0101_5^21 - 111434315518235221767413332/1099236090878561309221*c_0101_5^20 + 1722512414376365059055855496/1099236090878561309221*c_0101_5^19 + 2164551477773009338129331606/1099236090878561309221*c_0101_5^18 - 1387467426154797946343233106/1099236090878561309221*c_0101_5^17 - 3865822341724297548706724288/1099236090878561309221*c_0101_5^16 + 556851797602039217691331330/1099236090878561309221*c_0101_5^15 + 4489040020897478752066695378/1099236090878561309221*c_0101_5^14 - 119572681349044132768233876/1099236090878561309221*c_0101_5^13 - 3959149487199101499273366881/1099236090878561309221*c_0101_5^12 + 216402320277905957719199099/1099236090878561309221*c_0101_5^11 + 2550122327633363169931754915/1099236090878561309221*c_0101_5^10 - 557670660447540628031367167/1099236090878561309221*c_0101_5^9 - 1133155160002174334980462194/1099236090878561309221*c_0101_5^8 + 556300363685773498222978666/1099236090878561309221*c_0101_5^7 + 248870179472807155196724693/1099236090878561309221*c_0101_5^6 - 264296519579215326252351310/1099236090878561309221*c_0101_5^5 + 34821907976717506094780538/1099236090878561309221*c_0101_5^4 + 43432107936480092943667137/1099236090878561309221*c_0101_5^3 - 24822340060615276010797837/1099236090878561309221*c_0101_5^2 + 5528078318452896612697587/1099236090878561309221*c_0101_5 - 468523091874187624078755/1099236090878561309221, c_0101_0 - 505757932951072862125056/1099236090878561309221*c_0101_5^26 - 5275025185151589431349798/1099236090878561309221*c_0101_5^25 - 18141521827545626773837993/1099236090878561309221*c_0101_5^24 + 3249322660857393413122034/1099236090878561309221*c_0101_5^23 + 189372401291324266677334892/1099236090878561309221*c_0101_5^22 + 467384253247904435150678011/1099236090878561309221*c_0101_5^21 + 88726364823695123508043482/1099236090878561309221*c_0101_5^20 - 1331253786169809966711924006/1099236090878561309221*c_0101_5^19 - 1678302243916423741305048523/1099236090878561309221*c_0101_5^18 + 1061978624142437178360007093/1099236090878561309221*c_0101_5^17 + 2980082537895312887525844430/1099236090878561309221*c_0101_5^16 - 423409766463634915661467547/1099236090878561309221*c_0101_5^15 - 3453848794264916077693139904/1099236090878561309221*c_0101_5^14 + 89891713497256928475902940/1099236090878561309221*c_0101_5^13 + 3041120017058770651166394945/1099236090878561309221*c_0101_5^12 - 167090214725038586575366163/1099236090878561309221*c_0101_5^11 - 1954359616751209637155891905/1099236090878561309221*c_0101_5^10 + 430931612524881524211196016/1099236090878561309221*c_0101_5^9 + 866352740216007637008042624/1099236090878561309221*c_0101_5^8 - 427977058020364465457704976/1099236090878561309221*c_0101_5^7 - 188802934679386477243702975/1099236090878561309221*c_0101_5^6 + 202496440235928912372387441/1099236090878561309221*c_0101_5^5 - 27390846816219143804943078/1099236090878561309221*c_0101_5^4 - 33006163126794833916518900/1099236090878561309221*c_0101_5^3 + 19056205071894991016070977/1099236090878561309221*c_0101_5^2 - 4289524499368937773703188/1099236090878561309221*c_0101_5 + 370235668404157440895972/1099236090878561309221, c_0101_1 - 240722946264783301905486/1099236090878561309221*c_0101_5^26 - 2502904086693556209575511/1099236090878561309221*c_0101_5^25 - 8514662099664646185027559/1099236090878561309221*c_0101_5^24 + 2194383004977424075950210/1099236090878561309221*c_0101_5^23 + 91148615975271967532465932/1099236090878561309221*c_0101_5^22 + 218425986156276057217869511/1099236090878561309221*c_0101_5^21 + 21800215855176989144060401/1099236090878561309221*c_0101_5^20 - 659233769780193181668849353/1099236090878561309221*c_0101_5^19 - 766667314656266926936491926/1099236090878561309221*c_0101_5^18 + 617667963511713507633295907/1099236090878561309221*c_0101_5^17 + 1458422641695522292681379577/1099236090878561309221*c_0101_5^16 - 357608532364129922378388877/1099236090878561309221*c_0101_5^15 - 1759870775991215519830683593/1099236090878561309221*c_0101_5^14 + 203670711396203082966381165/1099236090878561309221*c_0101_5^13 + 1590475304662700662629576198/1099236090878561309221*c_0101_5^12 - 224206645946022542133282682/1099236090878561309221*c_0101_5^11 - 1042826601258719252770730089/1099236090878561309221*c_0101_5^10 + 314390880722408721707389008/1099236090878561309221*c_0101_5^9 + 460843462895860659366874503/1099236090878561309221*c_0101_5^8 - 270311316824878066456656826/1099236090878561309221*c_0101_5^7 - 92329347932433835037710429/1099236090878561309221*c_0101_5^6 + 122534786202244300165681945/1099236090878561309221*c_0101_5^5 - 21752678756268771121413778/1099236090878561309221*c_0101_5^4 - 19050481428075864287620376/1099236090878561309221*c_0101_5^3 + 12309558922021869264538299/1099236090878561309221*c_0101_5^2 - 2992735423866283134265096/1099236090878561309221*c_0101_5 + 279429178551072630502974/1099236090878561309221, c_0101_2 + 1425596915856013712055936/1099236090878561309221*c_0101_5^26 + 14758783868399335550850762/1099236090878561309221*c_0101_5^25 + 50015203656053138139519036/1099236090878561309221*c_0101_5^24 - 12890567021405876010555660/1099236090878561309221*c_0101_5^23 - 532756821096894925458556764/1099236090878561309221*c_0101_5^22 - 1278313493971418648876659563/1099236090878561309221*c_0101_5^21 - 156750376501444588542503188/1099236090878561309221*c_0101_5^20 + 3770002749515613958878239051/1099236090878561309221*c_0101_5^19 + 4480199780748439755844202133/1099236090878561309221*c_0101_5^18 - 3305101526654074979431623397/1099236090878561309221*c_0101_5^17 - 8230326206354849239319832708/1099236090878561309221*c_0101_5^16 + 1681393995158429212912175466/1099236090878561309221*c_0101_5^15 + 9670873480229903093854182007/1099236090878561309221*c_0101_5^14 - 770282976843354206234322764/1099236090878561309221*c_0101_5^13 - 8554151723475983671250045820/1099236090878561309221*c_0101_5^12 + 882548765088520788055163219/1099236090878561309221*c_0101_5^11 + 5484024365070483429054385216/1099236090878561309221*c_0101_5^10 - 1440302859489763144759648675/1099236090878561309221*c_0101_5^9 - 2387864563109353782077768927/1099236090878561309221*c_0101_5^8 + 1287346441672148875357316964/1099236090878561309221*c_0101_5^7 + 489980285088228667664496700/1099236090878561309221*c_0101_5^6 - 582083778698887302094131214/1099236090878561309221*c_0101_5^5 + 90828589198442194193931325/1099236090878561309221*c_0101_5^4 + 90377644351476160553913552/1099236090878561309221*c_0101_5^3 - 54597136202822009518872020/1099236090878561309221*c_0101_5^2 + 12547914306304959237812408/1099236090878561309221*c_0101_5 - 1095286591638183499653657/1099236090878561309221, c_0101_4 - 473264802673648464270687/1099236090878561309221*c_0101_5^26 - 4958923864291992643012761/1099236090878561309221*c_0101_5^25 - 17185909140841898159288531/1099236090878561309221*c_0101_5^24 + 2482442326682609884180623/1099236090878561309221*c_0101_5^23 + 178067100537898770493266773/1099236090878561309221*c_0101_5^22 + 444960427297876220131029682/1099236090878561309221*c_0101_5^21 + 94835191285752483349658209/1099236090878561309221*c_0101_5^20 - 1257233937707157954734891175/1099236090878561309221*c_0101_5^19 - 1619611068773914965583190475/1099236090878561309221*c_0101_5^18 + 976033853567690413390734744/1099236090878561309221*c_0101_5^17 + 2864454745368087096458470108/1099236090878561309221*c_0101_5^16 - 342034927629172847221441983/1099236090878561309221*c_0101_5^15 - 3316375336948695921694458088/1099236090878561309221*c_0101_5^14 + 16150392548945548799331568/1099236090878561309221*c_0101_5^13 + 2926905377273801893767229095/1099236090878561309221*c_0101_5^12 - 103564998922167010588798854/1099236090878561309221*c_0101_5^11 - 1893330710799306413795843849/1099236090878561309221*c_0101_5^10 + 382450386489520548494989367/1099236090878561309221*c_0101_5^9 + 850027038653703862763675727/1099236090878561309221*c_0101_5^8 - 402712230674726990667787217/1099236090878561309221*c_0101_5^7 - 191554058632949676594368120/1099236090878561309221*c_0101_5^6 + 195842122530986050160494049/1099236090878561309221*c_0101_5^5 - 24124381102723235238527243/1099236090878561309221*c_0101_5^4 - 32941868129835090161421643/1099236090878561309221*c_0101_5^3 + 18514172702500908785680243/1099236090878561309221*c_0101_5^2 - 4093605327605412330583263/1099236090878561309221*c_0101_5 + 345655955957806533645447/1099236090878561309221, c_0101_5^27 + 10*c_0101_5^26 + 94/3*c_0101_5^25 - 67/3*c_0101_5^24 - 373*c_0101_5^23 - 2284/3*c_0101_5^22 + 718/3*c_0101_5^21 + 8209/3*c_0101_5^20 + 6494/3*c_0101_5^19 - 3637*c_0101_5^18 - 15119/3*c_0101_5^17 + 10585/3*c_0101_5^16 + 19784/3*c_0101_5^15 - 9860/3*c_0101_5^14 - 18263/3*c_0101_5^13 + 9244/3*c_0101_5^12 + 11509/3*c_0101_5^11 - 7937/3*c_0101_5^10 - 4168/3*c_0101_5^9 + 1664*c_0101_5^8 + 10/3*c_0101_5^7 - 591*c_0101_5^6 + 721/3*c_0101_5^5 + 133/3*c_0101_5^4 - 70*c_0101_5^3 + 79/3*c_0101_5^2 - 14/3*c_0101_5 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB