Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 694728168] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0398 geometric_solution 4.46284001 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 1 -1 0 -1 0 1 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 -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.795586235943 0.802332640559 3 2 2 0 0132 3012 1230 0132 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 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 1.112811416854 0.770700637992 1 3 0 1 1230 3201 0132 3012 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 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 1.112811416854 0.770700637992 1 4 2 4 0132 0132 2310 2310 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 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 1.201469304649 0.438982273206 3 3 5 5 3201 0132 3201 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.362368610291 0.324687536926 4 6 4 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3.120511559914 1.752467407116 5 5 6 6 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.153630045616 0.046313435630 ==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' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_5, c_0101_0, c_0101_1, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 360513917421866792741605232919808/1420379176512392210339743325357*c\ _0110_6^21 - 465015262272400446415248228730830/14203791765123922103\ 39743325357*c_0110_6^20 + 13197544188974922382819536099745325/14203\ 79176512392210339743325357*c_0110_6^19 - 2317858460277823459446496702811922/1420379176512392210339743325357*\ c_0110_6^18 - 135626043788472652462482626834127295/1420379176512392\ 210339743325357*c_0110_6^17 + 89931486978272772569751225606367832/1\ 420379176512392210339743325357*c_0110_6^16 + 510862597213811858224161165441383189/142037917651239221033974332535\ 7*c_0110_6^15 - 422853293981107705415123942128670755/14203791765123\ 92210339743325357*c_0110_6^14 - 66679060918606609506669582942767911\ 8/1420379176512392210339743325357*c_0110_6^13 + 635489238148420038639859786560088839/142037917651239221033974332535\ 7*c_0110_6^12 + 284176604510350516922790885646769643/14203791765123\ 92210339743325357*c_0110_6^11 - 71776256843606648436334990962851535\ 0/1420379176512392210339743325357*c_0110_6^10 - 30295907888506114843036828169832069/1420379176512392210339743325357\ *c_0110_6^9 + 740572408669474797694602917064797807/1420379176512392\ 210339743325357*c_0110_6^8 + 100625964422642049100554256604393975/1\ 420379176512392210339743325357*c_0110_6^7 - 404435753884835331395615014674036218/142037917651239221033974332535\ 7*c_0110_6^6 - 127110059702655916741481460112228339/142037917651239\ 2210339743325357*c_0110_6^5 + 67672099215589916145436370786462828/1\ 420379176512392210339743325357*c_0110_6^4 + 29709891812767190077566547251118073/1420379176512392210339743325357\ *c_0110_6^3 - 598184427737104800119213930664210/1420379176512392210\ 339743325357*c_0110_6^2 - 1773681303972361665530979462201562/142037\ 9176512392210339743325357*c_0110_6 - 551469339153742124567920398220154/1420379176512392210339743325357, c_0011_0 - 1, c_0011_1 - 123639236093000999487202002844/12912537968294474639452212048\ 7*c_0110_6^21 - 126159696550642381855347476328/12912537968294474639\ 4522120487*c_0110_6^20 + 4550988756813127355732050669074/1291253796\ 82944746394522120487*c_0110_6^19 - 2025222018883955602601259027517/129125379682944746394522120487*c_01\ 10_6^18 - 45625045577342136466669416801244/129125379682944746394522\ 120487*c_0110_6^17 + 42787746456987767528311736706049/1291253796829\ 44746394522120487*c_0110_6^16 + 160370102483358741077088941248250/1\ 29125379682944746394522120487*c_0110_6^15 - 183047670557820761851351318009543/129125379682944746394522120487*c_\ 0110_6^14 - 169219631178184232850158458804491/129125379682944746394\ 522120487*c_0110_6^13 + 242701536127169015629586152865425/129125379\ 682944746394522120487*c_0110_6^12 + 27168224945598821417877766631074/129125379682944746394522120487*c_0\ 110_6^11 - 227148516704023837851786296103297/1291253796829447463945\ 22120487*c_0110_6^10 + 42188418996769317059006523414554/12912537968\ 2944746394522120487*c_0110_6^9 + 223770440562200851552165306966107/\ 129125379682944746394522120487*c_0110_6^8 - 12149242695886738000864361336839/129125379682944746394522120487*c_0\ 110_6^7 - 120428540977403546857049616430489/12912537968294474639452\ 2120487*c_0110_6^6 - 22377654681741210200184295534268/1291253796829\ 44746394522120487*c_0110_6^5 + 20372934974714931268152586461498/129\ 125379682944746394522120487*c_0110_6^4 + 8550656447142877373675981704705/129125379682944746394522120487*c_01\ 10_6^3 + 242476064000696839048670782632/129125379682944746394522120\ 487*c_0110_6^2 - 842381181724264444692861718454/1291253796829447463\ 94522120487*c_0110_6 - 232419415557644585033627578980/1291253796829\ 44746394522120487, c_0011_5 - 119720443730813860521389487149/12912537968294474639452212048\ 7*c_0110_6^21 - 161041117113514572252010044366/12912537968294474639\ 4522120487*c_0110_6^20 + 4376039436988952539214624965218/1291253796\ 82944746394522120487*c_0110_6^19 - 526251057216083173371696450282/129125379682944746394522120487*c_011\ 0_6^18 - 45151515535218198880776736835904/1291253796829447463945221\ 20487*c_0110_6^17 + 27433362408517179504989487568777/12912537968294\ 4746394522120487*c_0110_6^16 + 171961213782764029187277934171573/12\ 9125379682944746394522120487*c_0110_6^15 - 131949445556187422832070928602796/129125379682944746394522120487*c_\ 0110_6^14 - 231133441914983138127776503736934/129125379682944746394\ 522120487*c_0110_6^13 + 202210589344062796598840314373324/129125379\ 682944746394522120487*c_0110_6^12 + 106633971578664350598443182144946/129125379682944746394522120487*c_\ 0110_6^11 - 236401008527466378554580700888090/129125379682944746394\ 522120487*c_0110_6^10 - 21420963114973699004017010486010/1291253796\ 82944746394522120487*c_0110_6^9 + 246921520532443551545138865159857\ /129125379682944746394522120487*c_0110_6^8 + 45436117477655400064001062499386/129125379682944746394522120487*c_0\ 110_6^7 - 134128123881780522303088063967436/12912537968294474639452\ 2120487*c_0110_6^6 - 48998798525811224783748111704705/1291253796829\ 44746394522120487*c_0110_6^5 + 20739530895106983493835755704066/129\ 125379682944746394522120487*c_0110_6^4 + 11415049762458492337789521185848/129125379682944746394522120487*c_0\ 110_6^3 + 692804579307353697349494670656/12912537968294474639452212\ 0487*c_0110_6^2 - 900488128849080196115352792373/129125379682944746\ 394522120487*c_0110_6 - 267004531421534859450553728412/129125379682\ 944746394522120487, c_0101_0 + 421397257623456157853643319733/12912537968294474639452212048\ 7*c_0110_6^21 + 563237884759816541112601756501/12912537968294474639\ 4522120487*c_0110_6^20 - 15384784162755598614484556811862/129125379\ 682944746394522120487*c_0110_6^19 + 2000075314896176106194961424365/129125379682944746394522120487*c_01\ 10_6^18 + 158056272662452193910452124590326/12912537968294474639452\ 2120487*c_0110_6^17 - 97268029341436382988206413443267/129125379682\ 944746394522120487*c_0110_6^16 - 596120154295851271764441524252323/\ 129125379682944746394522120487*c_0110_6^15 + 458917503169544953969291238887365/129125379682944746394522120487*c_\ 0110_6^14 + 782791709463777341629549270682141/129125379682944746394\ 522120487*c_0110_6^13 - 675338520908959684102309786026245/129125379\ 682944746394522120487*c_0110_6^12 - 350903065556288241698707930074488/129125379682944746394522120487*c_\ 0110_6^11 + 781931147504204186989002705561663/129125379682944746394\ 522120487*c_0110_6^10 + 81342708163279971009772756292133/1291253796\ 82944746394522120487*c_0110_6^9 - 829888052391903170681775024602348\ /129125379682944746394522120487*c_0110_6^8 - 175659792017069910393991139449129/129125379682944746394522120487*c_\ 0110_6^7 + 438306774527231684566150341382612/1291253796829447463945\ 22120487*c_0110_6^6 + 183957359976006564800734872844104/12912537968\ 2944746394522120487*c_0110_6^5 - 56454933216751203266470015019361/1\ 29125379682944746394522120487*c_0110_6^4 - 42214489666141205545120625538787/129125379682944746394522120487*c_0\ 110_6^3 - 4306509241101511075248779760029/1291253796829447463945221\ 20487*c_0110_6^2 + 2740124768326543933533282721766/1291253796829447\ 46394522120487*c_0110_6 + 900530458154770670990066738342/1291253796\ 82944746394522120487, c_0101_1 + 263784361197970160252907581440/12912537968294474639452212048\ 7*c_0110_6^21 + 406892700213783884239525171894/12912537968294474639\ 4522120487*c_0110_6^20 - 9585196032157661091382638255788/1291253796\ 82944746394522120487*c_0110_6^19 - 750529542045949790225082900476/129125379682944746394522120487*c_011\ 0_6^18 + 100208328445969867931269996560959/129125379682944746394522\ 120487*c_0110_6^17 - 41273927969938485833451622329459/1291253796829\ 44746394522120487*c_0110_6^16 - 395540335623876766375977270669161/1\ 29125379682944746394522120487*c_0110_6^15 + 222917326247603550209992446555913/129125379682944746394522120487*c_\ 0110_6^14 + 580784398581746339503459993404335/129125379682944746394\ 522120487*c_0110_6^13 - 371942794293274079519011371033447/129125379\ 682944746394522120487*c_0110_6^12 - 328981311301788232533538040303853/129125379682944746394522120487*c_\ 0110_6^11 + 504393527591520143929571928102372/129125379682944746394\ 522120487*c_0110_6^10 + 140032069681335635102510440572989/129125379\ 682944746394522120487*c_0110_6^9 - 555554325546322839235285806563887/129125379682944746394522120487*c_\ 0110_6^8 - 193715304768160706647551287810688/1291253796829447463945\ 22120487*c_0110_6^7 + 294509840772934912768918932384987/12912537968\ 2944746394522120487*c_0110_6^6 + 155960199094022684466053232946798/\ 129125379682944746394522120487*c_0110_6^5 - 33585983154295962307765945020887/129125379682944746394522120487*c_0\ 110_6^4 - 32300915796034349938850384754423/129125379682944746394522\ 120487*c_0110_6^3 - 4172373537185522540848775580834/129125379682944\ 746394522120487*c_0110_6^2 + 1804024736245959950633502786734/129125\ 379682944746394522120487*c_0110_6 + 768740931149456311277256822866/129125379682944746394522120487, c_0101_5 - 179667042383939973691200726444/12912537968294474639452212048\ 7*c_0110_6^21 - 267912931817167690642992979546/12912537968294474639\ 4522120487*c_0110_6^20 + 6537726307216544994688542340748/1291253796\ 82944746394522120487*c_0110_6^19 + 173020854216228011055739254604/129125379682944746394522120487*c_011\ 0_6^18 - 68089579888167627260852470156247/1291253796829447463945221\ 20487*c_0110_6^17 + 31448304458106189965481805994136/12912537968294\ 4746394522120487*c_0110_6^16 + 266138807351805237763948564183181/12\ 9125379682944746394522120487*c_0110_6^15 - 163082749754823203693981076423789/129125379682944746394522120487*c_\ 0110_6^14 - 382141253564898243272801017076236/129125379682944746394\ 522120487*c_0110_6^13 + 263571684058746939009881724396731/129125379\ 682944746394522120487*c_0110_6^12 + 207731875334639743298773807392206/129125379682944746394522120487*c_\ 0110_6^11 - 343450007639105360626322915206957/129125379682944746394\ 522120487*c_0110_6^10 - 80013808623248202637661860251358/1291253796\ 82944746394522120487*c_0110_6^9 + 374227904775418736812247597961541\ /129125379682944746394522120487*c_0110_6^8 + 117146167550268529567410042823322/129125379682944746394522120487*c_\ 0110_6^7 - 198992070039541875308988297966935/1291253796829447463945\ 22120487*c_0110_6^6 - 99860962352042193175460552327591/129125379682\ 944746394522120487*c_0110_6^5 + 23974938755223944470473913279131/12\ 9125379682944746394522120487*c_0110_6^4 + 21290366044802693104517262866240/129125379682944746394522120487*c_0\ 110_6^3 + 2905841547001201158564195271300/1291253796829447463945221\ 20487*c_0110_6^2 - 1243451518891873493830253817589/1291253796829447\ 46394522120487*c_0110_6 - 525879584251832652945760931894/1291253796\ 82944746394522120487, c_0110_6^22 + c_0110_6^21 - 37*c_0110_6^20 + 17*c_0110_6^19 + 375*c_0110_6^18 - 358*c_0110_6^17 - 1352*c_0110_6^16 + 1582*c_0110_6^15 + 1542*c_0110_6^14 - 2298*c_0110_6^13 - 339*c_0110_6^12 + 2227*c_0110_6^11 - 438*c_0110_6^10 - 2112*c_0110_6^9 + 276*c_0110_6^8 + 1251*c_0110_6^7 + 68*c_0110_6^6 - 318*c_0110_6^5 - 55*c_0110_6^4 + 30*c_0110_6^3 + 11*c_0110_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB