Magma V2.19-8 Tue Aug 20 2013 16:16:24 on localhost [Seed = 2648441202] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0678 geometric_solution 4.64869720 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.321613330188 0.230525209698 0 2 2 0 0132 0132 3201 1023 0 0 0 0 0 1 0 -1 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 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.813748500772 0.714963863970 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 1 1 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 1 0 -1 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.106216314001 0.250721638941 4 2 5 2 0132 2310 0132 0132 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 -1 1 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.830052425821 1.550077159545 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 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.318722487617 1.137625366586 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 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.318722487617 1.137625366586 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 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.202456600804 0.410208173591 ==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' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : 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_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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(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_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), '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_2'], '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_3']), 'c_0011_6' : 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' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_2'], '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_2'], 'c_0110_2' : negation(d['c_0101_1']), '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_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 7261309698591151581034820241149739/354757540818781406656298027183*c\ _0101_5^25 + 26616457659320591069186917689483203/354757540818781406\ 656298027183*c_0101_5^24 + 447084719224848292658629657277028770/354\ 757540818781406656298027183*c_0101_5^23 - 43638996736922194020127903840602612/354757540818781406656298027183*\ c_0101_5^22 - 597465011121544146652464649359947479/2728904160144472\ 3588946002091*c_0101_5^21 - 8541751915995776008643655708284631449/3\ 54757540818781406656298027183*c_0101_5^20 + 57319549068201361784672898728164182072/3547575408187814066562980271\ 83*c_0101_5^19 + 8048991106369804631938437364470592518/272890416014\ 44723588946002091*c_0101_5^18 - 20448037609867999611293811324766691\ 3098/354757540818781406656298027183*c_0101_5^17 - 583637035027344238951737260141973703232/354757540818781406656298027\ 183*c_0101_5^16 + 137530876830694468383041715654288271631/354757540\ 818781406656298027183*c_0101_5^15 + 1421969641780347146076652065689962341677/35475754081878140665629802\ 7183*c_0101_5^14 + 777702772406329150485527914407724976508/35475754\ 0818781406656298027183*c_0101_5^13 - 1249646987511491000079388607727086094970/35475754081878140665629802\ 7183*c_0101_5^12 - 1363277847829397947955546778898060397687/3547575\ 40818781406656298027183*c_0101_5^11 + 186183559216157913744017015008748286262/354757540818781406656298027\ 183*c_0101_5^10 + 668279778535064469239653881511290952757/354757540\ 818781406656298027183*c_0101_5^9 + 81778283799133275788794770368084842684/3547575408187814066562980271\ 83*c_0101_5^8 - 160171827663777853366815944048828310008/35475754081\ 8781406656298027183*c_0101_5^7 - 2804498924015630737756351189524387\ 6063/354757540818781406656298027183*c_0101_5^6 + 24345720770021994736474596374845325459/3547575408187814066562980271\ 83*c_0101_5^5 + 230693969561011469205896875427319385/27289041601444\ 723588946002091*c_0101_5^4 - 187316792417823633934170679211780982/2\ 7289041601444723588946002091*c_0101_5^3 - 40297741559794636772421750324900416/354757540818781406656298027183*\ c_0101_5^2 + 120228364784187679701225506116462582/35475754081878140\ 6656298027183*c_0101_5 - 11440839052558646257016291890766507/354757\ 540818781406656298027183, c_0011_0 - 1, c_0011_3 - 31012464644656708255120218941722/272890416014447235889460020\ 91*c_0101_5^25 + 113320625780204843842533427771019/2728904160144472\ 3588946002091*c_0101_5^24 + 1910731544667335601608077212445938/2728\ 9041601444723588946002091*c_0101_5^23 - 164458349916899672245385181796549/27289041601444723588946002091*c_0\ 101_5^22 - 33171740747207722168564592221005938/27289041601444723588\ 946002091*c_0101_5^21 - 36854064461715818658723073999660150/2728904\ 1601444723588946002091*c_0101_5^20 + 244344313061994879659842211978726481/27289041601444723588946002091*\ c_0101_5^19 + 449520389371982507807933526188449216/2728904160144472\ 3588946002091*c_0101_5^18 - 867988075787000343895381211376462785/27\ 289041601444723588946002091*c_0101_5^17 - 2501065346759057176332560857455584575/27289041601444723588946002091\ *c_0101_5^16 + 559117249692020383336286402486307040/272890416014447\ 23588946002091*c_0101_5^15 + 6072569134289721684438770688314761538/\ 27289041601444723588946002091*c_0101_5^14 + 3383511405664643091365815571937790885/27289041601444723588946002091\ *c_0101_5^13 - 5285787674854628991471520013321416141/27289041601444\ 723588946002091*c_0101_5^12 - 5858239953423697904584495491986454551\ /27289041601444723588946002091*c_0101_5^11 + 726547199675005809738686181469898407/27289041601444723588946002091*\ c_0101_5^10 + 2835953159569422067066590216163146519/272890416014447\ 23588946002091*c_0101_5^9 + 369905906214951425678230840413870775/27\ 289041601444723588946002091*c_0101_5^8 - 671412110632971315178333060109523119/27289041601444723588946002091*\ c_0101_5^7 - 121517757879494630990039937455941929/27289041601444723\ 588946002091*c_0101_5^6 + 101421213603671508485052730663784848/2728\ 9041601444723588946002091*c_0101_5^5 + 12856762186584653775960325373406694/27289041601444723588946002091*c\ _0101_5^4 - 10106567459900236146348206621180522/2728904160144472358\ 8946002091*c_0101_5^3 - 183207178360600382926713966443267/272890416\ 01444723588946002091*c_0101_5^2 + 495618071701178326059261823373925\ /27289041601444723588946002091*c_0101_5 - 47154967788538387024653916446039/27289041601444723588946002091, c_0011_5 + 14041640926478037819185771973501/272890416014447235889460020\ 91*c_0101_5^25 - 51712199717544628647889943268307/27289041601444723\ 588946002091*c_0101_5^24 - 863480840912542973864532108496055/272890\ 41601444723588946002091*c_0101_5^23 + 98627860441172485904541337167644/27289041601444723588946002091*c_01\ 01_5^22 + 15006657052283420353140182741296893/272890416014447235889\ 46002091*c_0101_5^21 + 16259603407005423039498579397822582/27289041\ 601444723588946002091*c_0101_5^20 - 110926773673747347239914630021278649/27289041601444723588946002091*\ c_0101_5^19 - 200210835842096928092985399011569685/2728904160144472\ 3588946002091*c_0101_5^18 + 397415321796964651298518342441803841/27\ 289041601444723588946002091*c_0101_5^17 + 1119102861042340701437906265606346079/27289041601444723588946002091\ *c_0101_5^16 - 279997411181768718505392212984047951/272890416014447\ 23588946002091*c_0101_5^15 - 2730116426399394365256828156767932889/\ 27289041601444723588946002091*c_0101_5^14 - 1460852805619865833426620162690758938/27289041601444723588946002091\ *c_0101_5^13 + 2405442020813459525897331137775548728/27289041601444\ 723588946002091*c_0101_5^12 + 2576946970662506702719895207056767447\ /27289041601444723588946002091*c_0101_5^11 - 371567636976596111494487407582825471/27289041601444723588946002091*\ c_0101_5^10 - 1254359887273434307027400721274590782/272890416014447\ 23588946002091*c_0101_5^9 - 143672555933111404454111515135009111/27\ 289041601444723588946002091*c_0101_5^8 + 297576344146405942714011530605938997/27289041601444723588946002091*\ c_0101_5^7 + 49113910327847070094144557277063794/272890416014447235\ 88946002091*c_0101_5^6 - 44686872940425904291729731110970648/272890\ 41601444723588946002091*c_0101_5^5 - 5066500570749183647194681594449046/27289041601444723588946002091*c_\ 0101_5^4 + 4377127682565503865227060020841163/272890416014447235889\ 46002091*c_0101_5^3 + 46978357849057799766574459062799/272890416014\ 44723588946002091*c_0101_5^2 - 208987341200811317282235943849241/27\ 289041601444723588946002091*c_0101_5 + 20129865420827002869791602763965/27289041601444723588946002091, c_0101_0 - 23016324643292312540975775691888/272890416014447235889460020\ 91*c_0101_5^25 + 83946027503321030739909548667126/27289041601444723\ 588946002091*c_0101_5^24 + 1418599182684056587207968304795182/27289\ 041601444723588946002091*c_0101_5^23 - 112122128157138062261693724450679/27289041601444723588946002091*c_0\ 101_5^22 - 24617302631511492538026994432331591/27289041601444723588\ 946002091*c_0101_5^21 - 27526146858158006045457318859628747/2728904\ 1601444723588946002091*c_0101_5^20 + 181114254378215733162741483945452988/27289041601444723588946002091*\ c_0101_5^19 + 334914594132975409725592853306797636/2728904160144472\ 3588946002091*c_0101_5^18 - 641531115828025019793785331397246655/27\ 289041601444723588946002091*c_0101_5^17 - 1860865972607394487674028012643546935/27289041601444723588946002091\ *c_0101_5^16 + 400296601986428356908605387478101836/272890416014447\ 23588946002091*c_0101_5^15 + 4510083354712857157147470359419881597/\ 27289041601444723588946002091*c_0101_5^14 + 2547873071938032176741024230579417028/27289041601444723588946002091\ *c_0101_5^13 - 3905012209917403494816118730499316958/27289041601444\ 723588946002091*c_0101_5^12 - 4384529207101317186610401875421522792\ /27289041601444723588946002091*c_0101_5^11 + 506371767243662422992460514668604635/27289041601444723588946002091*\ c_0101_5^10 + 2117205678145571295070461565565200355/272890416014447\ 23588946002091*c_0101_5^9 + 292265174626605074757117110237725752/27\ 289041601444723588946002091*c_0101_5^8 - 500444166822345788954098305842014464/27289041601444723588946002091*\ c_0101_5^7 - 94823140174460666265524675320651156/272890416014447235\ 88946002091*c_0101_5^6 + 75781566815794024087839672760665503/272890\ 41601444723588946002091*c_0101_5^5 + 10196285337564250149247328801062062/27289041601444723588946002091*c\ _0101_5^4 - 7626606669657376069485765081288218/27289041601444723588\ 946002091*c_0101_5^3 - 173313221344494937364203300118156/2728904160\ 1444723588946002091*c_0101_5^2 + 380441778026957533428982664772753/\ 27289041601444723588946002091*c_0101_5 - 35885330153737806172212769034717/27289041601444723588946002091, c_0101_1 + 18286126466835298097291398206341/272890416014447235889460020\ 91*c_0101_5^25 - 66823938019282279904496207856146/27289041601444723\ 588946002091*c_0101_5^24 - 1126626886957535917307986912872798/27289\ 041601444723588946002091*c_0101_5^23 + 97348647972562649761084721311843/27289041601444723588946002091*c_01\ 01_5^22 + 19559834514210447775540671366972894/272890416014447235889\ 46002091*c_0101_5^21 + 21724847634066262380842614347198059/27289041\ 601444723588946002091*c_0101_5^20 - 144090858673566121068677336401783324/27289041601444723588946002091*\ c_0101_5^19 - 265027801259118420475977031977346145/2728904160144472\ 3588946002091*c_0101_5^18 + 511944583000788771656967469598884044/27\ 289041601444723588946002091*c_0101_5^17 + 1474754353233546090322431914447065496/27289041601444723588946002091\ *c_0101_5^16 - 330306072607764027058659407586915467/272890416014447\ 23588946002091*c_0101_5^15 - 3581486406772774186015056307517633592/\ 27289041601444723588946002091*c_0101_5^14 - 1994220695751279478457009939403665091/27289041601444723588946002091\ *c_0101_5^13 + 3119486425576577691992634960781899950/27289041601444\ 723588946002091*c_0101_5^12 + 3455384681040238374418161614926202612\ /27289041601444723588946002091*c_0101_5^11 - 430989340092332357447436949822502612/27289041601444723588946002091*\ c_0101_5^10 - 1674863247627353748923641564868657723/272890416014447\ 23588946002091*c_0101_5^9 - 217807682679882299558552079967145794/27\ 289041601444723588946002091*c_0101_5^8 + 397131302515241617763292353403884015/27289041601444723588946002091*\ c_0101_5^7 + 71796688728994786334331670034052649/272890416014447235\ 88946002091*c_0101_5^6 - 60071280849469989525730720272819737/272890\ 41601444723588946002091*c_0101_5^5 - 7609024630927124868736094440063060/27289041601444723588946002091*c_\ 0101_5^4 + 5996024660609155503135718173974814/272890416014447235889\ 46002091*c_0101_5^3 + 107961437298387631576189206685209/27289041601\ 444723588946002091*c_0101_5^2 - 294769803034260605179488521751435/2\ 7289041601444723588946002091*c_0101_5 + 28097184664015721421386911313029/27289041601444723588946002091, c_0101_2 + 6264038265965676308405520531606/2728904160144472358894600209\ 1*c_0101_5^25 - 23327385896881309095005214704114/272890416014447235\ 88946002091*c_0101_5^24 - 383957790044687286196606157094034/2728904\ 1601444723588946002091*c_0101_5^23 + 58546548034953984026002258382653/27289041601444723588946002091*c_01\ 01_5^22 + 6675837093660238002770843594239864/2728904160144472358894\ 6002091*c_0101_5^21 + 6994370656568609754976090905325098/2728904160\ 1444723588946002091*c_0101_5^20 - 494844558327867362035672547504315\ 49/27289041601444723588946002091*c_0101_5^19 - 87199072506614890539948818145766913/27289041601444723588946002091*c\ _0101_5^18 + 178571152512782329156027404842859010/27289041601444723\ 588946002091*c_0101_5^17 + 489854635546731859542112183363396289/272\ 89041601444723588946002091*c_0101_5^16 - 135231265881011189729085156686134810/27289041601444723588946002091*\ c_0101_5^15 - 1198341200615995415240935489465750180/272890416014447\ 23588946002091*c_0101_5^14 - 620634875988256481346776741751882451/2\ 7289041601444723588946002091*c_0101_5^13 + 1059168293967468896622059334726798918/27289041601444723588946002091\ *c_0101_5^12 + 1112065995568689782509049355043119999/27289041601444\ 723588946002091*c_0101_5^11 - 166975201295747102649177312317138037/\ 27289041601444723588946002091*c_0101_5^10 - 540723760565832997005411863321522289/27289041601444723588946002091*\ c_0101_5^9 - 61626600546301102580303097974756353/272890416014447235\ 88946002091*c_0101_5^8 + 127601949687115590096561788621026855/27289\ 041601444723588946002091*c_0101_5^7 + 21461834706398279899927718364264939/27289041601444723588946002091*c\ _0101_5^6 - 19093959684706379291570814136840496/2728904160144472358\ 8946002091*c_0101_5^5 - 2274992916894285940256403787882263/27289041\ 601444723588946002091*c_0101_5^4 + 1881709600324454508390448321219538/27289041601444723588946002091*c_\ 0101_5^3 + 29505471510692056698305517989403/27289041601444723588946\ 002091*c_0101_5^2 - 91681558828463413739429003774910/27289041601444\ 723588946002091*c_0101_5 + 8746618778589624361806618855318/27289041\ 601444723588946002091, c_0101_5^26 - 3*c_0101_5^25 - 64*c_0101_5^24 - 35*c_0101_5^23 + 1073*c_0101_5^22 + 1888*c_0101_5^21 - 7100*c_0101_5^20 - 19647*c_0101_5^19 + 18495*c_0101_5^18 + 98937*c_0101_5^17 + 34772*c_0101_5^16 - 207504*c_0101_5^15 - 237259*c_0101_5^14 + 98816*c_0101_5^13 + 300362*c_0101_5^12 + 100421*c_0101_5^11 - 106636*c_0101_5^10 - 71872*c_0101_5^9 + 13766*c_0101_5^8 + 18112*c_0101_5^7 - 686*c_0101_5^6 - 2560*c_0101_5^5 + 52*c_0101_5^4 + 220*c_0101_5^3 - 12*c_0101_5^2 - 9*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB