Magma V2.19-8 Tue Aug 20 2013 16:17:17 on localhost [Seed = 2867541629] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1515 geometric_solution 5.31673151 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 1 0 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 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 1.747513330714 0.435794382383 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 0 -1 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 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.767043654762 0.791816510799 4 1 5 3 0132 0132 0132 3201 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 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.129735870404 0.825270488563 5 2 4 1 1023 2310 2310 0132 0 0 0 0 0 -1 0 1 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 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.129735870404 0.825270488563 2 3 4 4 0132 3201 2031 1302 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 -1 1 0 0 -1 1 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363133588163 0.544666565772 6 3 6 2 0132 1023 2310 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.599648145463 1.663946432459 5 5 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425372662681 0.169861200332 ==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' : negation(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' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(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_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(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_3, 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: 23 Groebner basis: [ t + 2231434371804370533743601900207343420784/16775005560252617408952222\ 761276370311*c_0101_5^22 - 1294010712034705146371732797547972415553\ 2/16775005560252617408952222761276370311*c_0101_5^21 + 31289814887843214958075073769728212609401/1677500556025261740895222\ 2761276370311*c_0101_5^20 - 669569756704661469476072055182241305268\ 43/16775005560252617408952222761276370311*c_0101_5^19 + 131678150145768114757199489590640690823955/167750055602526174089522\ 22761276370311*c_0101_5^18 - 18019998026429529195138626197160528109\ 1764/16775005560252617408952222761276370311*c_0101_5^17 + 229176526966847226427871677221729638920972/167750055602526174089522\ 22761276370311*c_0101_5^16 - 19401908629637032806689783020181485691\ 0932/16775005560252617408952222761276370311*c_0101_5^15 + 150759653156529979857985182280662481399144/167750055602526174089522\ 22761276370311*c_0101_5^14 - 40063048097546693264522417266391662704\ 691/16775005560252617408952222761276370311*c_0101_5^13 - 154238326357593252677397202506264252550841/167750055602526174089522\ 22761276370311*c_0101_5^12 + 70376643045365120238933058764561673413\ 861/16775005560252617408952222761276370311*c_0101_5^11 - 155647294104008792880054377312244263868871/167750055602526174089522\ 22761276370311*c_0101_5^10 - 10046450530611672191936366439278498245\ 700/16775005560252617408952222761276370311*c_0101_5^9 - 32378897324555968166558661189229487866902/1677500556025261740895222\ 2761276370311*c_0101_5^8 - 2640176181551521059225858653526236965493\ 4/16775005560252617408952222761276370311*c_0101_5^7 + 46363795403044674433761531190720563197389/1677500556025261740895222\ 2761276370311*c_0101_5^6 - 1170870224270085540907573042982473580549\ 5/16775005560252617408952222761276370311*c_0101_5^5 - 1991845952021673416098155007588249285908/16775005560252617408952222\ 761276370311*c_0101_5^4 + 12526771713977062263580599171054979195896\ /16775005560252617408952222761276370311*c_0101_5^3 - 78568935181184554197035598853058567694/9867650329560363181736601624\ 28021783*c_0101_5^2 - 2512251620345530060450963758350347128371/1677\ 5005560252617408952222761276370311*c_0101_5 - 444546598363750231192519342007629902175/167750055602526174089522227\ 61276370311, c_0011_0 - 1, c_0011_3 - 25708764567206806931978469676636137664/986765032956036318173\ 660162428021783*c_0101_5^22 + 1420858857233964617138393005632144553\ 60/986765032956036318173660162428021783*c_0101_5^21 - 320746362794509723025142671252781746088/986765032956036318173660162\ 428021783*c_0101_5^20 + 676880116272063911402068212086614556907/986\ 765032956036318173660162428021783*c_0101_5^19 - 1312138745291796426787317025622917890392/98676503295603631817366016\ 2428021783*c_0101_5^18 + 1674015732344165282127219238291463283950/9\ 86765032956036318173660162428021783*c_0101_5^17 - 2094295578709470692706808710713980462114/98676503295603631817366016\ 2428021783*c_0101_5^16 + 1525475751189494858121097977442341943527/9\ 86765032956036318173660162428021783*c_0101_5^15 - 1142982973387347697178443347228623151189/98676503295603631817366016\ 2428021783*c_0101_5^14 - 31131083875814890101291057348371898423/986\ 765032956036318173660162428021783*c_0101_5^13 + 1909854618066369479425587848253801613523/98676503295603631817366016\ 2428021783*c_0101_5^12 - 368218411954066069160183577437585397473/98\ 6765032956036318173660162428021783*c_0101_5^11 + 1633037304417302315809063768713642652414/98676503295603631817366016\ 2428021783*c_0101_5^10 + 655470498764574835913522640973307254646/98\ 6765032956036318173660162428021783*c_0101_5^9 + 477664572392772265645672434897081444047/986765032956036318173660162\ 428021783*c_0101_5^8 + 488771500642811808930079159442316437414/9867\ 65032956036318173660162428021783*c_0101_5^7 - 386417608187102080368967346347842114251/986765032956036318173660162\ 428021783*c_0101_5^6 + 35527641478986335561304835540650377730/98676\ 5032956036318173660162428021783*c_0101_5^5 + 74042467537159461727276338863510472964/9867650329560363181736601624\ 28021783*c_0101_5^4 - 146701688304151925260585845606021204649/98676\ 5032956036318173660162428021783*c_0101_5^3 - 24553990912301515009704452890498303269/9867650329560363181736601624\ 28021783*c_0101_5^2 + 30693011776131910246741909002020904857/986765\ 032956036318173660162428021783*c_0101_5 + 7034514582416109345439310789996147590/98676503295603631817366016242\ 8021783, c_0101_0 + 11263261779914659543711747083005858128/986765032956036318173\ 660162428021783*c_0101_5^22 - 6539014928778643991626501831956647723\ 6/986765032956036318173660162428021783*c_0101_5^21 + 159682740662622088357206081160350281199/986765032956036318173660162\ 428021783*c_0101_5^20 - 346445980122879380920743081273432414568/986\ 765032956036318173660162428021783*c_0101_5^19 + 684408416207089666171174172636589327373/986765032956036318173660162\ 428021783*c_0101_5^18 - 951712127525158662312732653582262287208/986\ 765032956036318173660162428021783*c_0101_5^17 + 1236610927523858902764657234126870477507/98676503295603631817366016\ 2428021783*c_0101_5^16 - 1085860189517875916850433712937089485018/9\ 86765032956036318173660162428021783*c_0101_5^15 + 894151909462523078554736424370167929743/986765032956036318173660162\ 428021783*c_0101_5^14 - 308851036350534091381372884844407804691/986\ 765032956036318173660162428021783*c_0101_5^13 - 698096943313042292578799856002808777018/986765032956036318173660162\ 428021783*c_0101_5^12 + 351897644122023955068960517663370818454/986\ 765032956036318173660162428021783*c_0101_5^11 - 889713495678144320149000156414687201724/986765032956036318173660162\ 428021783*c_0101_5^10 + 1691003908616700523329931189108537047/98676\ 5032956036318173660162428021783*c_0101_5^9 - 278947951050514572400910937282369365584/986765032956036318173660162\ 428021783*c_0101_5^8 - 138806764013151315529577212307562623554/9867\ 65032956036318173660162428021783*c_0101_5^7 + 193113333578051512418837246251857065498/986765032956036318173660162\ 428021783*c_0101_5^6 - 87204407644595736940202366330789995649/98676\ 5032956036318173660162428021783*c_0101_5^5 + 10659121992069525524594970131658920934/9867650329560363181736601624\ 28021783*c_0101_5^4 + 51459533084666602950418604026703227938/986765\ 032956036318173660162428021783*c_0101_5^3 - 4761026128476797560906204711749002487/98676503295603631817366016242\ 8021783*c_0101_5^2 - 6997363991473043692112719736867711117/98676503\ 2956036318173660162428021783*c_0101_5 - 1525509439981131509099043546360448509/98676503295603631817366016242\ 8021783, c_0101_1 + 2371125665037321333808385563415542272/9867650329560363181736\ 60162428021783*c_0101_5^22 - 13804357155754475380252332131931022656\ /986765032956036318173660162428021783*c_0101_5^21 + 33562461184396092256803145845111253008/9867650329560363181736601624\ 28021783*c_0101_5^20 - 71922784125725647932134977164180831348/98676\ 5032956036318173660162428021783*c_0101_5^19 + 141677663409071943879906184294403159452/986765032956036318173660162\ 428021783*c_0101_5^18 - 195126715203582156841143318234221718409/986\ 765032956036318173660162428021783*c_0101_5^17 + 248902143139174764357555493324221261289/986765032956036318173660162\ 428021783*c_0101_5^16 - 213760648077173102023484853675004328304/986\ 765032956036318173660162428021783*c_0101_5^15 + 168282202232976376706833690795513555904/986765032956036318173660162\ 428021783*c_0101_5^14 - 50472909982491567212156503900995438487/9867\ 65032956036318173660162428021783*c_0101_5^13 - 158685538602522578244655954834948136681/986765032956036318173660162\ 428021783*c_0101_5^12 + 75972773878249531507728572377339653277/9867\ 65032956036318173660162428021783*c_0101_5^11 - 167015583779430991221731995187192146472/986765032956036318173660162\ 428021783*c_0101_5^10 - 2611232474817356979169322567786887908/98676\ 5032956036318173660162428021783*c_0101_5^9 - 41729900912074189770561011025293888731/9867650329560363181736601624\ 28021783*c_0101_5^8 - 20763311697836546026421717708254729605/986765\ 032956036318173660162428021783*c_0101_5^7 + 44190703090577700547203340772130626458/9867650329560363181736601624\ 28021783*c_0101_5^6 - 11074655843206186020398752609622295355/986765\ 032956036318173660162428021783*c_0101_5^5 - 2744378207704112061790774648891427501/98676503295603631817366016242\ 8021783*c_0101_5^4 + 10731787592765701342215341412393170011/9867650\ 32956036318173660162428021783*c_0101_5^3 - 330603584752697065460546066890789307/986765032956036318173660162428\ 021783*c_0101_5^2 - 3800700881841689603865188959524515413/986765032\ 956036318173660162428021783*c_0101_5 - 257931811033424854441597532072205495/986765032956036318173660162428\ 021783, c_0101_2 - 23632669052575556927171763875732494688/986765032956036318173\ 660162428021783*c_0101_5^22 + 1297765992740174370429681394100124678\ 64/986765032956036318173660162428021783*c_0101_5^21 - 289687061461524493825472162123193824498/986765032956036318173660162\ 428021783*c_0101_5^20 + 608509010751016760715404722211746513316/986\ 765032956036318173660162428021783*c_0101_5^19 - 1175634360196029322381439723341570159585/98676503295603631817366016\ 2428021783*c_0101_5^18 + 1477257274239632738066955626427617808451/9\ 86765032956036318173660162428021783*c_0101_5^17 - 1832659663284362282558692311665332993278/98676503295603631817366016\ 2428021783*c_0101_5^16 + 1277846214520673680744436378407780973471/9\ 86765032956036318173660162428021783*c_0101_5^15 - 925504824309525496844049983303928602994/986765032956036318173660162\ 428021783*c_0101_5^14 - 140721642594102607298547039614538339424/986\ 765032956036318173660162428021783*c_0101_5^13 + 1821749863569469707223864954431071310191/98676503295603631817366016\ 2428021783*c_0101_5^12 - 315710205375224214056467215349894297546/98\ 6765032956036318173660162428021783*c_0101_5^11 + 1473347100440334385205425207641536873723/98676503295603631817366016\ 2428021783*c_0101_5^10 + 668519658222818395092580446809422475884/98\ 6765032956036318173660162428021783*c_0101_5^9 + 421265396855210608081611476345650877653/986765032956036318173660162\ 428021783*c_0101_5^8 + 473156215426430946997225333612080862398/9867\ 65032956036318173660162428021783*c_0101_5^7 - 352964558944044638744212692695643398585/986765032956036318173660162\ 428021783*c_0101_5^6 + 20441198963074009244069501379285741061/98676\ 5032956036318173660162428021783*c_0101_5^5 + 78305911860166792280046780184928210168/9867650329560363181736601624\ 28021783*c_0101_5^4 - 135119803655452835752561374462766635457/98676\ 5032956036318173660162428021783*c_0101_5^3 - 26183643463182921096171310099053791435/9867650329560363181736601624\ 28021783*c_0101_5^2 + 29140400013713547323102216750411284792/986765\ 032956036318173660162428021783*c_0101_5 + 6885813498606490161684619857393615052/98676503295603631817366016242\ 8021783, c_0101_4 + 2987962769025927649886774247719444704/9867650329560363181736\ 60162428021783*c_0101_5^22 - 15519352548840263099725580907093186536\ /986765032956036318173660162428021783*c_0101_5^21 + 31456500496054803358777472343785682166/9867650329560363181736601624\ 28021783*c_0101_5^20 - 64493116621253735685018695282989884721/98676\ 5032956036318173660162428021783*c_0101_5^19 + 122415067498748335151129408248040511951/986765032956036318173660162\ 428021783*c_0101_5^18 - 135546496938482182901747113828614694603/986\ 765032956036318173660162428021783*c_0101_5^17 + 162711746576513626765177164792839154759/986765032956036318173660162\ 428021783*c_0101_5^16 - 76449950884976634109006130449414483258/9867\ 65032956036318173660162428021783*c_0101_5^15 + 48992217397646777030799909267881527363/9867650329560363181736601624\ 28021783*c_0101_5^14 + 64608153789623591991404423671286609025/98676\ 5032956036318173660162428021783*c_0101_5^13 - 232757060203596897161325968963386500241/986765032956036318173660162\ 428021783*c_0101_5^12 - 34943112862384711387424926847451441170/9867\ 65032956036318173660162428021783*c_0101_5^11 - 147764093068652974424405984469444483637/986765032956036318173660162\ 428021783*c_0101_5^10 - 146697464487080224466657066691101021713/986\ 765032956036318173660162428021783*c_0101_5^9 - 54159917031906054135237684808708310579/9867650329560363181736601624\ 28021783*c_0101_5^8 - 69493936799188684476353302132682186946/986765\ 032956036318173660162428021783*c_0101_5^7 + 36418285459401829575366630069715559976/9867650329560363181736601624\ 28021783*c_0101_5^6 + 16586356226759343256084077661808844689/986765\ 032956036318173660162428021783*c_0101_5^5 - 14530408082418859917921190504347098469/9867650329560363181736601624\ 28021783*c_0101_5^4 + 14732199629886976469874489731634415186/986765\ 032956036318173660162428021783*c_0101_5^3 + 8250256989793697085178791504179703286/98676503295603631817366016242\ 8021783*c_0101_5^2 - 3888291905889043802635161488919386728/98676503\ 2956036318173660162428021783*c_0101_5 - 2099347335035255028965805363236402779/98676503295603631817366016242\ 8021783, c_0101_5^23 - 21/4*c_0101_5^22 + 175/16*c_0101_5^21 - 365/16*c_0101_5^20 + 697/16*c_0101_5^19 - 809/16*c_0101_5^18 + 1001/16*c_0101_5^17 - 283/8*c_0101_5^16 + 209/8*c_0101_5^15 + 125/8*c_0101_5^14 - 1213/16*c_0101_5^13 - 79/16*c_0101_5^12 - 119/2*c_0101_5^11 - 175/4*c_0101_5^10 - 397/16*c_0101_5^9 - 25*c_0101_5^8 + 159/16*c_0101_5^7 + 39/16*c_0101_5^6 - 57/16*c_0101_5^5 + 5*c_0101_5^4 + 39/16*c_0101_5^3 - 15/16*c_0101_5^2 - 9/16*c_0101_5 - 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB