Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 2067457978] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0393 geometric_solution 4.45930187 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.749302297596 0.123030553868 0 0 2 2 0132 3201 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 -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.643274648009 0.554581207041 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.042268129231 0.250723035715 2 4 5 2 0132 0132 0132 1023 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 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.744672697690 0.275008883071 5 3 5 6 2031 0132 1302 0132 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 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.610041302235 0.411774713056 4 6 4 3 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 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.610041302235 0.411774713056 6 6 4 5 1302 2031 0132 3201 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 -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.621703229057 0.612378424539 ==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' : 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' : 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_0011_2']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0110_6']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 43720554262746465645336953163578955131824232906/1150286099399046372\ 683650628141587759795144105*c_0110_6^20 + 72730784829708418706613923002684410687609558006/1150286099399046372\ 683650628141587759795144105*c_0110_6^19 - 279413334946753128583542631782305087528370210956/115028609939904637\ 2683650628141587759795144105*c_0110_6^18 + 2524759132251051848833331792574306248160177463659/11502860993990463\ 72683650628141587759795144105*c_0110_6^17 - 2326501416341729443533449586927715322016603735629/11502860993990463\ 72683650628141587759795144105*c_0110_6^16 + 2519161888632363935327719998822268130477907402053/23005721987980927\ 4536730125628317551959028821*c_0110_6^15 - 11027416388457995915479526305016031506735342426803/1150286099399046\ 372683650628141587759795144105*c_0110_6^14 - 79294647590180158376170192642370118056844924754446/1150286099399046\ 372683650628141587759795144105*c_0110_6^13 - 57899827337528382379909099648615318565984797877669/1150286099399046\ 372683650628141587759795144105*c_0110_6^12 - 263759420266459175875775523367446561908089290887733/115028609939904\ 6372683650628141587759795144105*c_0110_6^11 - 8296703175969937726821963804029170151827718266684/23005721987980927\ 4536730125628317551959028821*c_0110_6^10 + 795162742238975272211072241727490828681204948217602/115028609939904\ 6372683650628141587759795144105*c_0110_6^9 + 43925876291083319515829676894398512032534433244994/2300572198798092\ 74536730125628317551959028821*c_0110_6^8 - 600688052835785890944272160072255931627477543411266/115028609939904\ 6372683650628141587759795144105*c_0110_6^7 + 17958871530375221757365674309729321118005203866672/2300572198798092\ 74536730125628317551959028821*c_0110_6^6 + 6969599525295565392685054604421291603271587599451/28055758521927960\ 309357332393697262434027905*c_0110_6^5 - 192057613804925434313993890212938450642063272534523/115028609939904\ 6372683650628141587759795144105*c_0110_6^4 - 30612029528058346797017006939920338108585598281604/2300572198798092\ 74536730125628317551959028821*c_0110_6^3 + 2574177148075684524795265193521812358349398897808/11502860993990463\ 72683650628141587759795144105*c_0110_6^2 + 8719602599182399417391624554764200828962159220384/11502860993990463\ 72683650628141587759795144105*c_0110_6 + 1670247623039262220908809527918913197275751020116/11502860993990463\ 72683650628141587759795144105, c_0011_0 - 1, c_0011_2 - 66434931302190380014464270837021197024849/510104700398690187\ 442860588976313862436871*c_0110_6^20 + 116125075017014084892318829740923215914191/510104700398690187442860\ 588976313862436871*c_0110_6^19 - 4378270298893839316636174777828637\ 76556479/510104700398690187442860588976313862436871*c_0110_6^18 + 3880308296608466557298135477966995288176896/51010470039869018744286\ 0588976313862436871*c_0110_6^17 - 388710555809128446030229320216249\ 4872577010/510104700398690187442860588976313862436871*c_0110_6^16 + 19674445053100323835824480849322827610577731/5101047003986901874428\ 60588976313862436871*c_0110_6^15 - 18667789833643277851348639786997630566030157/5101047003986901874428\ 60588976313862436871*c_0110_6^14 - 117845592950254456247403114837749728999759909/510104700398690187442\ 860588976313862436871*c_0110_6^13 - 79210269522538246226282349410171970217054851/5101047003986901874428\ 60588976313862436871*c_0110_6^12 - 400082222244216205430132385977218763882777756/510104700398690187442\ 860588976313862436871*c_0110_6^11 - 31433129992913993232343048536913282251797119/5101047003986901874428\ 60588976313862436871*c_0110_6^10 + 1190019012495452128486682674348313999051927525/51010470039869018744\ 2860588976313862436871*c_0110_6^9 + 237089994290408992531070110785369901724346687/510104700398690187442\ 860588976313862436871*c_0110_6^8 - 871913486966161605959137836012880745141703794/510104700398690187442\ 860588976313862436871*c_0110_6^7 + 203631481217926830209790930108114169545744493/510104700398690187442\ 860588976313862436871*c_0110_6^6 + 378303699929120052770301187809792701841993125/510104700398690187442\ 860588976313862436871*c_0110_6^5 - 300952422852238908575372653981428042566603112/510104700398690187442\ 860588976313862436871*c_0110_6^4 - 198168326772509308186563439497306692703291078/510104700398690187442\ 860588976313862436871*c_0110_6^3 + 4332234122534253676392395158660642750300018/51010470039869018744286\ 0588976313862436871*c_0110_6^2 + 8146294651258341744104488897435175\ 265449878/510104700398690187442860588976313862436871*c_0110_6 + 2303241194374905161717686700787916020480869/51010470039869018744286\ 0588976313862436871, c_0011_6 - 77823986315841708531965714679499116680673/510104700398690187\ 442860588976313862436871*c_0110_6^20 + 130701232176506282412367652299796022554285/510104700398690187442860\ 588976313862436871*c_0110_6^19 - 4991786207927999362096334826057965\ 99364514/510104700398690187442860588976313862436871*c_0110_6^18 + 4499602902768687947446139565524606155779527/51010470039869018744286\ 0588976313862436871*c_0110_6^17 - 420545218175753590982354449436834\ 4042734765/510104700398690187442860588976313862436871*c_0110_6^16 + 22453187122651242950774611735813115516848091/5101047003986901874428\ 60588976313862436871*c_0110_6^15 - 19832684493691721678191598550598473875713009/5101047003986901874428\ 60588976313862436871*c_0110_6^14 - 141171171454600040455595739420594792731667580/510104700398690187442\ 860588976313862436871*c_0110_6^13 - 99873027476187723296443859123323890564330624/5101047003986901874428\ 60588976313862436871*c_0110_6^12 - 468909762322066827264485309056146609114180816/510104700398690187442\ 860588976313862436871*c_0110_6^11 - 68134638661886804382976168374856777569278661/5101047003986901874428\ 60588976313862436871*c_0110_6^10 + 1417776817402277281441228942390960762681728960/51010470039869018744\ 2860588976313862436871*c_0110_6^9 + 356718362009363212905738597249690886705587345/510104700398690187442\ 860588976313862436871*c_0110_6^8 - 1068597017310890101717747940103721798471788810/51010470039869018744\ 2860588976313862436871*c_0110_6^7 + 200834988632516354050410881962045332384340318/510104700398690187442\ 860588976313862436871*c_0110_6^6 + 490586840195242806541672853036354766098741410/510104700398690187442\ 860588976313862436871*c_0110_6^5 - 358671583628526427439388173295254779174696359/510104700398690187442\ 860588976313862436871*c_0110_6^4 - 252837187725163953360376345550854321970618639/510104700398690187442\ 860588976313862436871*c_0110_6^3 + 5691020218043455486743918915382952544084174/51010470039869018744286\ 0588976313862436871*c_0110_6^2 + 1004403073350077687639529775352744\ 5323192321/510104700398690187442860588976313862436871*c_0110_6 + 3113327230291967318284100919095433329855691/51010470039869018744286\ 0588976313862436871, c_0101_0 + 421195267152141750912865183523496810661/19848431922128022857\ 69885560219120087303*c_0110_6^20 - 757817787657438684945805402592300896454/198484319221280228576988556\ 0219120087303*c_0110_6^19 + 284424096346415394634167591558188470837\ 8/1984843192212802285769885560219120087303*c_0110_6^18 - 24832252997731502372053683148056563052873/1984843192212802285769885\ 560219120087303*c_0110_6^17 + 2621113824109427177629503683501848421\ 0201/1984843192212802285769885560219120087303*c_0110_6^16 - 128147194592894531379489859742611947684425/198484319221280228576988\ 5560219120087303*c_0110_6^15 + 129028552098578296555296770822380261\ 438746/1984843192212802285769885560219120087303*c_0110_6^14 + 726953779585693120723394640138787329249419/198484319221280228576988\ 5560219120087303*c_0110_6^13 + 488942898169694203769607898722231987\ 249689/1984843192212802285769885560219120087303*c_0110_6^12 + 2535692718134450391115980484671146180570654/19848431922128022857698\ 85560219120087303*c_0110_6^11 + 78323163071046385717082738821968240\ 262636/1984843192212802285769885560219120087303*c_0110_6^10 - 7379456706644840124711977388006034813357296/19848431922128022857698\ 85560219120087303*c_0110_6^9 - 130229718686743418626671723659281399\ 8405486/1984843192212802285769885560219120087303*c_0110_6^8 + 5279781524071591218485537430629196613638717/19848431922128022857698\ 85560219120087303*c_0110_6^7 - 131306423545193581435193738824488406\ 1530405/1984843192212802285769885560219120087303*c_0110_6^6 - 2235461779666620092295372112067655977416727/19848431922128022857698\ 85560219120087303*c_0110_6^5 + 183958130157962499440431826805715838\ 9948658/1984843192212802285769885560219120087303*c_0110_6^4 + 1197956182980472491567341500028896742392984/19848431922128022857698\ 85560219120087303*c_0110_6^3 - 127007137395434144868860824973814117\ 38282/1984843192212802285769885560219120087303*c_0110_6^2 - 46376556279326121881755097709219830153420/1984843192212802285769885\ 560219120087303*c_0110_6 - 1520025469597306008642140510828156550809\ 5/1984843192212802285769885560219120087303, c_0101_1 - 170290913419263519406728455219290390161356/51010470039869018\ 7442860588976313862436871*c_0110_6^20 + 298561618636934509223042683641709523398402/510104700398690187442860\ 588976313862436871*c_0110_6^19 - 1127658963106622276030191459147269\ 585271137/510104700398690187442860588976313862436871*c_0110_6^18 + 9966855310409160317474756839349964041435721/51010470039869018744286\ 0588976313862436871*c_0110_6^17 - 100665441542757646600565500015477\ 17215982715/510104700398690187442860588976313862436871*c_0110_6^16 + 50793272303627096139245739939605026514079283/5101047003986901874428\ 60588976313862436871*c_0110_6^15 - 48923862867081691534889220258566040982877678/5101047003986901874428\ 60588976313862436871*c_0110_6^14 - 299416728546114003292779432867258358981867217/510104700398690187442\ 860588976313862436871*c_0110_6^13 - 206583801060853274900277024945496690481111420/510104700398690187442\ 860588976313862436871*c_0110_6^12 - 1023459639278779578166283067456682043086340990/51010470039869018744\ 2860588976313862436871*c_0110_6^11 - 75881090679524368510140746046820994131213747/5101047003986901874428\ 60588976313862436871*c_0110_6^10 + 3030693300203967201736312437279161904680035271/51010470039869018744\ 2860588976313862436871*c_0110_6^9 + 634482936673706681754039719933646028462005411/510104700398690187442\ 860588976313862436871*c_0110_6^8 - 2228787735630571191632881183669044289737801650/51010470039869018744\ 2860588976313862436871*c_0110_6^7 + 483817097470924309466867073878960337025803262/510104700398690187442\ 860588976313862436871*c_0110_6^6 + 988413588312572610350312070243252388380819933/510104700398690187442\ 860588976313862436871*c_0110_6^5 - 764008450217782358400139579667846416223986576/510104700398690187442\ 860588976313862436871*c_0110_6^4 - 520317858357127029930551748610109925482096359/510104700398690187442\ 860588976313862436871*c_0110_6^3 + 13555326551477023614156472855635165408219456/5101047003986901874428\ 60588976313862436871*c_0110_6^2 + 222238842996582150988892455986953\ 32814904256/510104700398690187442860588976313862436871*c_0110_6 + 6176713482356846907564697739257005314230934/51010470039869018744286\ 0588976313862436871, c_0101_3 + 96187217248940473752531492602506468731071/510104700398690187\ 442860588976313862436871*c_0110_6^20 - 163691656992030536791237478321239928769888/510104700398690187442860\ 588976313862436871*c_0110_6^19 + 6233632785510641839907554893432347\ 99635313/510104700398690187442860588976313862436871*c_0110_6^18 - 5583073590826758288806237479834973877642164/51010470039869018744286\ 0588976313862436871*c_0110_6^17 + 534946925482391426016723695703010\ 2227414291/510104700398690187442860588976313862436871*c_0110_6^16 - 28061001934030185843085363823836571827751175/5101047003986901874428\ 60588976313862436871*c_0110_6^15 + 25512039316577118505345454501536309839576942/5101047003986901874428\ 60588976313862436871*c_0110_6^14 + 172675141849286280119342932473428721173275300/510104700398690187442\ 860588976313862436871*c_0110_6^13 + 121736892484674488460740735485968715468322650/510104700398690187442\ 860588976313862436871*c_0110_6^12 + 579214024453195261390662070768544669551495948/510104700398690187442\ 860588976313862436871*c_0110_6^11 + 72038543472203056643231280515039276121899330/5101047003986901874428\ 60588976313862436871*c_0110_6^10 - 1738138167278749212815681016146005003592215040/51010470039869018744\ 2860588976313862436871*c_0110_6^9 - 417878211605393569156184448130461622430640730/510104700398690187442\ 860588976313862436871*c_0110_6^8 + 1299872026173388677052447941408241305752199281/51010470039869018744\ 2860588976313862436871*c_0110_6^7 - 253998680535670451264019955867031336256555700/510104700398690187442\ 860588976313862436871*c_0110_6^6 - 591503648971633468029009931593704568701158578/510104700398690187442\ 860588976313862436871*c_0110_6^5 + 438491873786234918255176959116719059920681260/510104700398690187442\ 860588976313862436871*c_0110_6^4 + 307600921887022574651129501160429934628031942/510104700398690187442\ 860588976313862436871*c_0110_6^3 - 6737825212183748937698029061447855173450258/51010470039869018744286\ 0588976313862436871*c_0110_6^2 - 1307141681856570831311897324237705\ 2067772422/510104700398690187442860588976313862436871*c_0110_6 - 3695011867884675924928921737801110594142019/51010470039869018744286\ 0588976313862436871, c_0110_6^21 - 2*c_0110_6^20 + 7*c_0110_6^19 - 60*c_0110_6^18 + 73*c_0110_6^17 - 309*c_0110_6^16 + 353*c_0110_6^15 + 1713*c_0110_6^14 + 733*c_0110_6^13 + 5669*c_0110_6^12 - 1048*c_0110_6^11 - 18222*c_0110_6^10 + 1027*c_0110_6^9 + 14561*c_0110_6^8 - 6581*c_0110_6^7 - 5206*c_0110_6^6 + 6249*c_0110_6^5 + 1832*c_0110_6^4 - 953*c_0110_6^3 - 111*c_0110_6^2 - 2*c_0110_6 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB