Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 4004475432] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0281 geometric_solution 4.32427835 oriented_manifold CS_known -0.0000000000000002 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 -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 0.796934109046 0.084508884828 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 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 0 0 0 0 0 0.640384470435 0.310266723656 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 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.847946173296 0.045070138838 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 -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.715264997732 1.895035784454 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 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.190597986204 1.170639405483 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 -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.190597986204 1.170639405483 5 4 6 6 2310 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 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.389593575670 0.252057634691 ==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' : negation(d['1']), 's_3_4' : negation(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' : 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' : negation(d['1']), 's_0_5' : negation(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_6' : d['c_0101_4'], '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: 23 Groebner basis: [ t + 3177878100716215520382300887549494601/72370051567015605402632383013\ 594848*c_0101_5^22 + 16617913502579694020887860395185549567/1085550\ 77350523408103948574520392272*c_0101_5^21 - 17070062297488379751813707447102956165/3618502578350780270131619150\ 6797424*c_0101_5^20 - 20536956315794528477761044631297604311/361850\ 25783507802701316191506797424*c_0101_5^19 + 218452371969500697983061540221111611763/542775386752617040519742872\ 60196136*c_0101_5^18 + 1558657090568188717969440859677880158013/217\ 110154701046816207897149040784544*c_0101_5^17 - 2366321323225288585376581897319108675665/21711015470104681620789714\ 9040784544*c_0101_5^16 - 616485310727887180115908799296136222917/27\ 138769337630852025987143630098068*c_0101_5^15 + 5715596117494405577226916583130137893781/21711015470104681620789714\ 9040784544*c_0101_5^14 + 1630444476471455828268096983453049359593/2\ 7138769337630852025987143630098068*c_0101_5^13 - 3849474036186541378085029270769560409371/10855507735052340810394857\ 4520392272*c_0101_5^12 - 23201705495917817100033714452903324653903/\ 217110154701046816207897149040784544*c_0101_5^11 + 5733912100411282291261800092365893740627/21711015470104681620789714\ 9040784544*c_0101_5^10 + 2385813072710010236552722268834139320669/1\ 8092512891753901350658095753398712*c_0101_5^9 - 18315697817259362608496641667212838989/4523128222938475337664523938\ 349678*c_0101_5^8 - 592961135409927893950014002321456663815/4934321\ 697751064004724935205472376*c_0101_5^7 - 4774845966038884430688186476032860485975/21711015470104681620789714\ 9040784544*c_0101_5^6 + 173058095848405760629394860577178917683/246\ 7160848875532002362467602736188*c_0101_5^5 + 1875449557025240639383437305962019578409/72370051567015605402632383\ 013594848*c_0101_5^4 - 4491619901831200681582706859327766397269/217\ 110154701046816207897149040784544*c_0101_5^3 - 2360825862961364089460974388202186169687/21711015470104681620789714\ 9040784544*c_0101_5^2 + 444784591805445224319333959146630276045/217\ 110154701046816207897149040784544*c_0101_5 + 160082442352958141894677440938458452877/108555077350523408103948574\ 520392272, c_0011_0 - 1, c_0011_5 + 14150475871313623199182361973597289/452312822293847533766452\ 3938349678*c_0101_5^22 + 54398616353690015468051509599623588/678469\ 2334407713006496785907524517*c_0101_5^21 - 94109290481558436273169488322690926/2261564111469237668832261969174\ 839*c_0101_5^20 - 22580662663868748082752424812351703/6784692334407\ 713006496785907524517*c_0101_5^19 + 675043439399851726405884688672363617/226156411146923766883226196917\ 4839*c_0101_5^18 + 3173995862613806741537965251300076979/1356938466\ 8815426012993571815049034*c_0101_5^17 - 4754440458673381255100987244379706139/45231282229384753376645239383\ 49678*c_0101_5^16 - 4561724550677662654227941182738144391/678469233\ 4407713006496785907524517*c_0101_5^15 + 12322316566086247503051495456406698889/4523128222938475337664523938\ 349678*c_0101_5^14 + 12448481939231408118912894608123732657/6784692\ 334407713006496785907524517*c_0101_5^13 - 32660776393922526578642612906052969355/6784692334407713006496785907\ 524517*c_0101_5^12 - 15234213214417226613625323030329371905/4523128\ 222938475337664523938349678*c_0101_5^11 + 82801517927760674622316696828583648171/1356938466881542601299357181\ 5049034*c_0101_5^10 + 28331063356651985754673792206376319783/678469\ 2334407713006496785907524517*c_0101_5^9 - 38127915056539237410048934985682699290/6784692334407713006496785907\ 524517*c_0101_5^8 - 2414470846943284519839324335298451699/616790212\ 218883000590616900684047*c_0101_5^7 + 15696992848241864594537053781863266023/4523128222938475337664523938\ 349678*c_0101_5^6 + 481009372266978643683737749978053522/2055967374\ 06294333530205633561349*c_0101_5^5 - 5730793553993946953757253561900335615/45231282229384753376645239383\ 49678*c_0101_5^4 - 9007643028146360277852089690851227505/1356938466\ 8815426012993571815049034*c_0101_5^3 + 974666561800472412325306237478127645/452312822293847533766452393834\ 9678*c_0101_5^2 + 233228792023280653942746958795388007/452312822293\ 8475337664523938349678*c_0101_5 - 360445565767526463381385576862029\ 16/6784692334407713006496785907524517, c_0101_0 - 5954703297564312677210192875624897/2261564111469237668832261\ 969174839*c_0101_5^22 - 45722422264107972410994790949361055/6784692\ 334407713006496785907524517*c_0101_5^21 + 238184107158209228202007984168653755/678469233440771300649678590752\ 4517*c_0101_5^20 + 19274650149867966442951050231071557/678469233440\ 7713006496785907524517*c_0101_5^19 - 1709672117833336116747410401215763618/67846923344077130064967859075\ 24517*c_0101_5^18 - 1329874239897139158466390346655281527/678469233\ 4407713006496785907524517*c_0101_5^17 + 6043096731207857540554590979544689247/67846923344077130064967859075\ 24517*c_0101_5^16 + 3851020609430771026566101278773776633/678469233\ 4407713006496785907524517*c_0101_5^15 - 15684311490219543500563610392422603772/6784692334407713006496785907\ 524517*c_0101_5^14 - 3499057042267853064268085402621304893/22615641\ 11469237668832261969174839*c_0101_5^13 + 27807964635190148709346576301961498623/6784692334407713006496785907\ 524517*c_0101_5^12 + 19339490277822595743511679128376308990/6784692\ 334407713006496785907524517*c_0101_5^11 - 35353688675932255445219593318146492737/6784692334407713006496785907\ 524517*c_0101_5^10 - 24042833245284988424048908209407369690/6784692\ 334407713006496785907524517*c_0101_5^9 + 10888252659471903519912757755157688737/2261564111469237668832261969\ 174839*c_0101_5^8 + 683920108629509939028063362181738252/2055967374\ 06294333530205633561349*c_0101_5^7 - 6758778270437206338789640628855209606/22615641114692376688322619691\ 74839*c_0101_5^6 - 1231427073164981163934629760190495524/6167902122\ 18883000590616900684047*c_0101_5^5 + 7444906570819321679679420095901580766/67846923344077130064967859075\ 24517*c_0101_5^4 + 1285383641903246808996364414485100314/2261564111\ 469237668832261969174839*c_0101_5^3 - 1270451076146702111730647059431306146/67846923344077130064967859075\ 24517*c_0101_5^2 - 93013005375149112052086504524234640/226156411146\ 9237668832261969174839*c_0101_5 + 312746664195561782890276405981201\ 04/6784692334407713006496785907524517, c_0101_1 + 31986344998345203394613393701012549/226156411146923766883226\ 1969174839*c_0101_5^22 + 241248425371986171637740613967954473/67846\ 92334407713006496785907524517*c_0101_5^21 - 1289867060805325101956689142306804876/67846923344077130064967859075\ 24517*c_0101_5^20 - 15331157293162409689442676453171589/22615641114\ 69237668832261969174839*c_0101_5^19 + 3057904085445416051196364183965127957/22615641114692376688322619691\ 74839*c_0101_5^18 + 6757984760792095446072223091839198501/678469233\ 4407713006496785907524517*c_0101_5^17 - 10909326182508935121647098130896965480/2261564111469237668832261969\ 174839*c_0101_5^16 - 19368715876405043919120840174208312190/6784692\ 334407713006496785907524517*c_0101_5^15 + 28281646000091146910383439327786436850/2261564111469237668832261969\ 174839*c_0101_5^14 + 17717343912493441503817868579280387968/2261564\ 111469237668832261969174839*c_0101_5^13 - 50377672456700805105851666311001968296/2261564111469237668832261969\ 174839*c_0101_5^12 - 98543184802108644143051094103926789881/6784692\ 334407713006496785907524517*c_0101_5^11 + 64315539995090122390531873239573143172/2261564111469237668832261969\ 174839*c_0101_5^10 + 40981382871893840960358606645862015837/2261564\ 111469237668832261969174839*c_0101_5^9 - 178963524440768438197159618912944034132/678469233440771300649678590\ 7524517*c_0101_5^8 - 3522852541243224612381427027094114510/20559673\ 7406294333530205633561349*c_0101_5^7 + 112096787995369638244112546131045391797/678469233440771300649678590\ 7524517*c_0101_5^6 + 2132653965330904179107238141507368853/20559673\ 7406294333530205633561349*c_0101_5^5 - 41547922706793552959664854895958211330/6784692334407713006496785907\ 524517*c_0101_5^4 - 20352281900688471275209305214042497338/67846923\ 34407713006496785907524517*c_0101_5^3 + 7082879328630906451665729812572538218/67846923344077130064967859075\ 24517*c_0101_5^2 + 1637334362284915649604342427663790698/6784692334\ 407713006496785907524517*c_0101_5 - 175359306026492863423293361417129201/678469233440771300649678590752\ 4517, c_0101_2 + 27993511838395223866262093425311081/452312822293847533766452\ 3938349678*c_0101_5^22 + 34819359746389190611245273505859050/226156\ 4111469237668832261969174839*c_0101_5^21 - 571728446822644812657716874522320971/678469233440771300649678590752\ 4517*c_0101_5^20 - 5972558662159533935833499714489644/2261564111469\ 237668832261969174839*c_0101_5^19 + 4068884023313132880987949463610501793/67846923344077130064967859075\ 24517*c_0101_5^18 + 5724673081902704158292057655376256033/135693846\ 68815426012993571815049034*c_0101_5^17 - 29583446877364585305868615103024192365/1356938466881542601299357181\ 5049034*c_0101_5^16 - 8535160978252356725817719049281304485/6784692\ 334407713006496785907524517*c_0101_5^15 + 77029541226926821689831770217099595169/1356938466881542601299357181\ 5049034*c_0101_5^14 + 23330495131629579937268151984637548811/678469\ 2334407713006496785907524517*c_0101_5^13 - 69634856804361261618586232789014820140/6784692334407713006496785907\ 524517*c_0101_5^12 - 29528221271926446862097041253638044987/4523128\ 222938475337664523938349678*c_0101_5^11 + 179736485218008909874350034284064682141/135693846688154260129935718\ 15049034*c_0101_5^10 + 18727892081347664509856043336215964951/22615\ 64111469237668832261969174839*c_0101_5^9 - 84346579153930913353687958852602842035/6784692334407713006496785907\ 524517*c_0101_5^8 - 4899418373195429371494141084580906172/616790212\ 218883000590616900684047*c_0101_5^7 + 107574764625764461146582892573397572751/135693846688154260129935718\ 15049034*c_0101_5^6 + 3064523515056988946794692991578491971/6167902\ 12218883000590616900684047*c_0101_5^5 - 40422263159855867146236883562637543071/1356938466881542601299357181\ 5049034*c_0101_5^4 - 6790363464771735459656803863577349855/45231282\ 22938475337664523938349678*c_0101_5^3 + 2293289699852765409954979381492483267/45231282229384753376645239383\ 49678*c_0101_5^2 + 1705302914088294659436457508893006811/1356938466\ 8815426012993571815049034*c_0101_5 - 82377220499403069815910982090443436/6784692334407713006496785907524\ 517, c_0101_4 + 12571023954083622993115845420313839/226156411146923766883226\ 1969174839*c_0101_5^22 + 32000524545826215886579130364434616/226156\ 4111469237668832261969174839*c_0101_5^21 - 503577267363712172381110771125894538/678469233440771300649678590752\ 4517*c_0101_5^20 - 32338974442423685175579884963028203/678469233440\ 7713006496785907524517*c_0101_5^19 + 1200668469722078495044029042530053055/22615641114692376688322619691\ 74839*c_0101_5^18 + 2759966666063032878006858572526873346/678469233\ 4407713006496785907524517*c_0101_5^17 - 4248409506762384056819683700170957316/22615641114692376688322619691\ 74839*c_0101_5^16 - 7923507719026466575607343027827234426/678469233\ 4407713006496785907524517*c_0101_5^15 + 11017594631150055674170017756573112549/2261564111469237668832261969\ 174839*c_0101_5^14 + 21660814839221633668346301302429207311/6784692\ 334407713006496785907524517*c_0101_5^13 - 58592078188216821655379423716917323552/6784692334407713006496785907\ 524517*c_0101_5^12 - 39890866493579234984827972136933676154/6784692\ 334407713006496785907524517*c_0101_5^11 + 74523936575486341323205716548421854726/6784692334407713006496785907\ 524517*c_0101_5^10 + 49567854787207328574288468349884965341/6784692\ 334407713006496785907524517*c_0101_5^9 - 22957029886422112559648816549775923387/2261564111469237668832261969\ 174839*c_0101_5^8 - 4237866389425786658552328896716607450/616790212\ 218883000590616900684047*c_0101_5^7 + 42811218308721928392520906626341624288/6784692334407713006496785907\ 524517*c_0101_5^6 + 848403047516901954222225804342092537/2055967374\ 06294333530205633561349*c_0101_5^5 - 15770201846832168604509583543182060478/6784692334407713006496785907\ 524517*c_0101_5^4 - 8024515521167428399484972211931213310/678469233\ 4407713006496785907524517*c_0101_5^3 + 2684851359456783351536902336793604308/67846923344077130064967859075\ 24517*c_0101_5^2 + 638142943633655357311598969908870790/67846923344\ 07713006496785907524517*c_0101_5 - 19542654174139909227173557257839957/2261564111469237668832261969174\ 839, c_0101_5^23 + 10/3*c_0101_5^22 - 34/3*c_0101_5^21 - 34/3*c_0101_5^20 + 284/3*c_0101_5^19 + 445/3*c_0101_5^18 - 279*c_0101_5^17 - 1424/3*c_0101_5^16 + 707*c_0101_5^15 + 1260*c_0101_5^14 - 3274/3*c_0101_5^13 - 2269*c_0101_5^12 + 3383/3*c_0101_5^11 + 8548/3*c_0101_5^10 - 2324/3*c_0101_5^9 - 7948/3*c_0101_5^8 + 449/3*c_0101_5^7 + 4844/3*c_0101_5^6 + 511/3*c_0101_5^5 - 531*c_0101_5^4 - 287/3*c_0101_5^3 + 71*c_0101_5^2 + 34/3*c_0101_5 - 4/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB