Magma V2.19-8 Tue Aug 20 2013 16:18:48 on localhost [Seed = 3187417282] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2965 geometric_solution 6.14860050 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 0 0 0 0 0 -1 0 1 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 1 1 -2 0 0 0 0 1 0 0 -1 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.025657998442 1.134769262119 0 3 5 4 0132 0132 0132 0132 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 -1 1 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.746003770296 0.731515498079 4 5 3 0 1023 1023 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.746003770296 0.731515498079 3 1 2 3 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542193169465 0.376852432389 6 2 1 6 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641499522899 0.314909638026 2 5 5 1 1023 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 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.166503650552 1.111857355896 4 6 6 4 0132 3201 2310 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 0 0 0 0 0 0 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.052504814929 0.558036718068 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_1_6' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : 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' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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_2'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], '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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 80149360529580191731756205270246030057172951/1446612293110867604888\ 86172190026388457521152*c_0101_6^21 - 83359638253648776859847773633541128301632879/7233061465554338024444\ 3086095013194228760576*c_0101_6^20 - 718210548168743187386126083225042997520335159/361653073277716901222\ 21543047506597114380288*c_0101_6^19 + 16824339829479118509582713259390995873381061529/1446612293110867604\ 88886172190026388457521152*c_0101_6^18 - 40673982132598998042919359721040566958876670253/1446612293110867604\ 88886172190026388457521152*c_0101_6^17 + 64023327771152237066142294850296619208235928623/1446612293110867604\ 88886172190026388457521152*c_0101_6^16 - 8804811588076506360775141097588399758055041079/11127786870083596960\ 683551706925106804424704*c_0101_6^15 + 246760256440589852681358512049348135619863017987/144661229311086760\ 488886172190026388457521152*c_0101_6^14 - 385267116956175773763837740937832715160123734523/144661229311086760\ 488886172190026388457521152*c_0101_6^13 + 152929684315159622871987647422500490506356132799/723306146555433802\ 44443086095013194228760576*c_0101_6^12 - 192081294842397603726507728908505143709359241091/144661229311086760\ 488886172190026388457521152*c_0101_6^11 + 4200032089963509031560035607726348538412082291/11301658539928653163\ 19423220234581159824384*c_0101_6^10 - 83004386523642439521730850600344361285416661475/1808265366388584506\ 1110771523753298557190144*c_0101_6^9 + 443152159124195114026763612585553488959990333/124707956302661000421\ 4535967155399900495872*c_0101_6^8 + 17772376858513377428651024642012574773393194937/1808265366388584506\ 1110771523753298557190144*c_0101_6^7 - 23345960758592160068010757610814482969353764789/7233061465554338024\ 4443086095013194228760576*c_0101_6^6 + 4350313170496310766130587092834273027805261709/49883182521064400168\ 58143868621599601983488*c_0101_6^5 - 59710394570034658880645956826743866957824620821/1446612293110867604\ 88886172190026388457521152*c_0101_6^4 + 31757450446555978520245896583612622276765796175/1446612293110867604\ 88886172190026388457521152*c_0101_6^3 + 30619376622709275329296128283235099825203109737/1446612293110867604\ 88886172190026388457521152*c_0101_6^2 + 296547183059255127720958370213131387652637539/278194671752089924017\ 0887926731276701106176*c_0101_6 + 100225320399818899589844786209705\ 08635344662699/144661229311086760488886172190026388457521152, c_0011_0 - 1, c_0011_2 + 5215271644824940745039240294960813/4141379331294212140593571\ 251445903054*c_0101_6^21 - 11341385364442831849177539160044132/2070\ 689665647106070296785625722951527*c_0101_6^20 - 146310844878546950646508356274374349/414137933129421214059357125144\ 5903054*c_0101_6^19 + 754265089798501262939967843832213417/20706896\ 65647106070296785625722951527*c_0101_6^18 - 5704813494628123193491906650976970731/41413793312942121405935712514\ 45903054*c_0101_6^17 + 12699978036656229496522629486040553569/41413\ 79331294212140593571251445903054*c_0101_6^16 - 10966484032177089994839085774058737313/2070689665647106070296785625\ 722951527*c_0101_6^15 + 40909005763933047361013466335190962753/4141\ 379331294212140593571251445903054*c_0101_6^14 - 77822431579962949441643901390006294231/4141379331294212140593571251\ 445903054*c_0101_6^13 + 110438874635081945814473180412435015771/414\ 1379331294212140593571251445903054*c_0101_6^12 - 101870159101492807310994686831158469471/414137933129421214059357125\ 1445903054*c_0101_6^11 + 93060174017219612053224148513864888567/414\ 1379331294212140593571251445903054*c_0101_6^10 - 80922115847563410880779392978854699755/2070689665647106070296785625\ 722951527*c_0101_6^9 + 6326453946711469875186945078471359055/142806\ 183837731453123916250049858726*c_0101_6^8 - 50609335008086726608013248405792106485/4141379331294212140593571251\ 445903054*c_0101_6^7 - 6114341541455813008478610179318824475/207068\ 9665647106070296785625722951527*c_0101_6^6 + 6482889423536146213884346027851525/71403091918865726561958125024929\ 363*c_0101_6^5 - 15615875865498294943089934278137158471/20706896656\ 47106070296785625722951527*c_0101_6^4 + 9717727595628445934175251720611926403/20706896656471060702967856257\ 22951527*c_0101_6^3 - 2515534064462486889040452572169013079/2070689\ 665647106070296785625722951527*c_0101_6^2 - 4027174002601401362340562573869459521/41413793312942121405935712514\ 45903054*c_0101_6 - 781626547415067541616986349604882376/2070689665\ 647106070296785625722951527, c_0101_0 - 20779639935119827550229459130560335/414137933129421214059357\ 1251445903054*c_0101_6^21 + 20942373786679644227036127448628722/207\ 0689665647106070296785625722951527*c_0101_6^20 + 725442915565643292277223700151665853/414137933129421214059357125144\ 5903054*c_0101_6^19 - 2158887552470322396870257112317902996/2070689\ 665647106070296785625722951527*c_0101_6^18 + 11063374937216043992213737760087413543/4141379331294212140593571251\ 445903054*c_0101_6^17 - 18787624690607514166150252119160915193/4141\ 379331294212140593571251445903054*c_0101_6^16 + 16449994999802820861218029115271633661/2070689665647106070296785625\ 722951527*c_0101_6^15 - 67542818992542806853771345616522964857/4141\ 379331294212140593571251445903054*c_0101_6^14 + 109092730519063996571974347104492489557/414137933129421214059357125\ 1445903054*c_0101_6^13 - 101165414987214840085345902752568328033/41\ 41379331294212140593571251445903054*c_0101_6^12 + 69236753480206877141195821893002601701/4141379331294212140593571251\ 445903054*c_0101_6^11 - 127820425315499839777535325764540335387/414\ 1379331294212140593571251445903054*c_0101_6^10 + 89163725362889793841651024276066382611/2070689665647106070296785625\ 722951527*c_0101_6^9 - 2375335767299209009369082687855908931/142806\ 183837731453123916250049858726*c_0101_6^8 - 43971733495279633619317402068693641851/4141379331294212140593571251\ 445903054*c_0101_6^7 + 30050299678118244813369081609460456290/20706\ 89665647106070296785625722951527*c_0101_6^6 - 774563521729834834570107026087257185/714030919188657265619581250249\ 29363*c_0101_6^5 + 10265827298112874502319305040527817112/207068966\ 5647106070296785625722951527*c_0101_6^4 - 4501050765510422455234583976623218397/20706896656471060702967856257\ 22951527*c_0101_6^3 - 4047358621732202811339179540586571757/2070689\ 665647106070296785625722951527*c_0101_6^2 + 9658656162451943349816406992215727843/41413793312942121405935712514\ 45903054*c_0101_6 - 115144320456492061119442832729974808/2070689665\ 647106070296785625722951527, c_0101_1 - 35704014675154358791121618712922455/414137933129421214059357\ 1251445903054*c_0101_6^21 + 63572946492007285009578787548871705/414\ 1379331294212140593571251445903054*c_0101_6^20 + 632686629730901229584783449729448530/207068966564710607029678562572\ 2951527*c_0101_6^19 - 3536487014343032108213593709433821972/2070689\ 665647106070296785625722951527*c_0101_6^18 + 17161700400904857118847248241894841893/4141379331294212140593571251\ 445903054*c_0101_6^17 - 14718611196039554781200758239460765396/2070\ 689665647106070296785625722951527*c_0101_6^16 + 28405289471037034025012779058194857722/2070689665647106070296785625\ 722951527*c_0101_6^15 - 118486670683167810346548058698704066315/414\ 1379331294212140593571251445903054*c_0101_6^14 + 91696311945615854043161212647932282055/2070689665647106070296785625\ 722951527*c_0101_6^13 - 176236473466726582594203561488224619835/414\ 1379331294212140593571251445903054*c_0101_6^12 + 89588363872673919898110161626067220660/2070689665647106070296785625\ 722951527*c_0101_6^11 - 325839293327334122210632634345032439487/414\ 1379331294212140593571251445903054*c_0101_6^10 + 326409618849164894896992510904186691261/414137933129421214059357125\ 1445903054*c_0101_6^9 - 2178900908684624583265830487998703878/71403\ 091918865726561958125024929363*c_0101_6^8 + 128461756935024736353718847027175125263/414137933129421214059357125\ 1445903054*c_0101_6^7 - 78248123230501207599128990119945011951/4141\ 379331294212140593571251445903054*c_0101_6^6 - 2476594310671479015091808273575342133/14280618383773145312391625004\ 9858726*c_0101_6^5 + 64669550941802838950224928237028345041/4141379\ 331294212140593571251445903054*c_0101_6^4 - 31622990513748656587703146712687584595/4141379331294212140593571251\ 445903054*c_0101_6^3 - 2705611295222325432008295482356313787/414137\ 9331294212140593571251445903054*c_0101_6^2 - 6186132802484504048055752514565756520/20706896656471060702967856257\ 22951527*c_0101_6 - 3451698336652680530509924474043414273/207068966\ 5647106070296785625722951527, c_0101_2 + 1560975976019429358159625773934710/7140309191886572656195812\ 5024929363*c_0101_6^21 - 4022749897096868619130911067675142/7140309\ 1918865726561958125024929363*c_0101_6^20 - 55096498496038108698361405104155116/7140309191886572656195812502492\ 9363*c_0101_6^19 + 355879057751062832023231180345978102/71403091918\ 865726561958125024929363*c_0101_6^18 - 928309039732441134560161240937429066/714030919188657265619581250249\ 29363*c_0101_6^17 + 1523138833257414816995485444783881841/714030919\ 18865726561958125024929363*c_0101_6^16 - 2604244598047408244444311101853371554/71403091918865726561958125024\ 929363*c_0101_6^15 + 5507497607213242675254777776528789714/71403091\ 918865726561958125024929363*c_0101_6^14 - 9091002329381712048013019106502029216/71403091918865726561958125024\ 929363*c_0101_6^13 + 8077686478084868643549042006687437394/71403091\ 918865726561958125024929363*c_0101_6^12 - 4512883798682841805340197533032024514/71403091918865726561958125024\ 929363*c_0101_6^11 + 10643425199290718448771304423811825032/7140309\ 1918865726561958125024929363*c_0101_6^10 - 16175674510475102754990120954455664785/7140309191886572656195812502\ 4929363*c_0101_6^9 + 4024373924322342870070749618941475196/71403091\ 918865726561958125024929363*c_0101_6^8 + 4883586130256276509873526276709373770/71403091918865726561958125024\ 929363*c_0101_6^7 - 3508045638050399284611075110776234922/714030919\ 18865726561958125024929363*c_0101_6^6 + 2746655280078020055871244356353533129/71403091918865726561958125024\ 929363*c_0101_6^5 - 1189374879727628351657631220358520671/714030919\ 18865726561958125024929363*c_0101_6^4 + 629536632347222836646265617370748826/714030919188657265619581250249\ 29363*c_0101_6^3 + 839298487975382186163405674276154721/71403091918\ 865726561958125024929363*c_0101_6^2 + 30915769603775562759701731752941197/7140309191886572656195812502492\ 9363*c_0101_6 + 37478546196975524647618593083949248/714030919188657\ 26561958125024929363, c_0101_3 + 404486655741316966254481775701431/71403091918865726561958125\ 024929363*c_0101_6^21 - 1652105726515845303302270713547678/71403091\ 918865726561958125024929363*c_0101_6^20 - 12654220316805335445235265296997054/7140309191886572656195812502492\ 9363*c_0101_6^19 + 112938904321577589926953841677596460/71403091918\ 865726561958125024929363*c_0101_6^18 - 381231141426788094309946859571514683/714030919188657265619581250249\ 29363*c_0101_6^17 + 792802675360000670665107792082958354/7140309191\ 8865726561958125024929363*c_0101_6^16 - 1395527013022712045409759790661794876/71403091918865726561958125024\ 929363*c_0101_6^15 + 2664540338816168765077186201565207563/71403091\ 918865726561958125024929363*c_0101_6^14 - 4841954203174982255083832630340620589/71403091918865726561958125024\ 929363*c_0101_6^13 + 6364366245430890507270880065467777892/71403091\ 918865726561958125024929363*c_0101_6^12 - 5754105594652436895609293766686552081/71403091918865726561958125024\ 929363*c_0101_6^11 + 6094999639265361649095981540892512515/71403091\ 918865726561958125024929363*c_0101_6^10 - 9025579384860816741219646495061663899/71403091918865726561958125024\ 929363*c_0101_6^9 + 8745656416952789207991717414475962967/714030919\ 18865726561958125024929363*c_0101_6^8 - 3563664555632974282827946011933258095/71403091918865726561958125024\ 929363*c_0101_6^7 - 1507001267899821031311497720710753683/714030919\ 18865726561958125024929363*c_0101_6^6 + 2834553977515080194716620433180391916/71403091918865726561958125024\ 929363*c_0101_6^5 - 1550478863072277342221251263637440632/714030919\ 18865726561958125024929363*c_0101_6^4 + 834442427556630062251271200954487156/714030919188657265619581250249\ 29363*c_0101_6^3 - 244614309460576799612246627222499253/71403091918\ 865726561958125024929363*c_0101_6^2 - 57864988013967439696693310198049907/7140309191886572656195812502492\ 9363*c_0101_6 + 91968333040503897646302655926916933/714030919188657\ 26561958125024929363, c_0101_6^22 - 2*c_0101_6^21 - 36*c_0101_6^20 + 207*c_0101_6^19 - 491*c_0101_6^18 + 761*c_0101_6^17 - 1373*c_0101_6^16 + 2981*c_0101_6^15 - 4589*c_0101_6^14 + 3490*c_0101_6^13 - 2197*c_0101_6^12 + 6640*c_0101_6^11 - 7848*c_0101_6^10 + 124*c_0101_6^9 + 1592*c_0101_6^8 - 294*c_0101_6^7 + 1487*c_0101_6^6 - 579*c_0101_6^5 + 345*c_0101_6^4 + 399*c_0101_6^3 + 244*c_0101_6^2 + 141*c_0101_6 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB