Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 3431813367] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0104 geometric_solution 3.63263638 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0.728390106875 0.030783550953 2 0 2 0 0132 2310 1023 0132 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 0 0 -1 1 1 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 0.901166966511 0.027134725615 1 3 1 3 0132 0132 1023 1023 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 -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.838775912293 0.062605106934 4 2 4 2 0132 0132 1023 1023 0 0 0 0 0 0 -1 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 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.664681362512 0.240314989670 3 5 3 6 0132 0132 1023 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 0 0 -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.992768000213 1.969801471510 6 4 6 6 3201 0132 3012 2310 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 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.005754872488 0.990601521195 5 5 4 5 3201 1230 0132 2310 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 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.005754872488 0.990601521195 ==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_0011_1'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], '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_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 123173263043289394574287911326144307/388513599069971365553204340104\ 8015*c_0101_4^21 - 412950608785936075398777672174083577/38851359906\ 99713655532043401048015*c_0101_4^20 + 598112882229486175355012479070686482/777027198139942731106408680209\ 603*c_0101_4^19 + 8209665436396324698961984652944162569/38851359906\ 99713655532043401048015*c_0101_4^18 - 1719067385334990730615337902628043100/77702719813994273110640868020\ 9603*c_0101_4^17 - 63832421401993428059083222161186968357/388513599\ 0699713655532043401048015*c_0101_4^16 - 11459183714214840811901748353487378196/7770271981399427311064086802\ 09603*c_0101_4^15 + 277336743112425202639606259730014625431/3885135\ 990699713655532043401048015*c_0101_4^14 + 73180178880085343765498305614889832945/7770271981399427311064086802\ 09603*c_0101_4^13 - 743243895924719077716618703261373404337/3885135\ 990699713655532043401048015*c_0101_4^12 - 139093131368980667813634069282698115210/777027198139942731106408680\ 209603*c_0101_4^11 + 1063019639492361097347694586587302212701/38851\ 35990699713655532043401048015*c_0101_4^10 + 497348209626318478850545106079120445132/388513599069971365553204340\ 1048015*c_0101_4^9 - 681095244936735673927322877278683341482/388513\ 5990699713655532043401048015*c_0101_4^8 + 3692420102405649538761313131487756949/55501942724281623650457762872\ 1145*c_0101_4^7 + 30152956498550673171157626486542186031/3885135990\ 699713655532043401048015*c_0101_4^6 - 43740144440632955264352225670382494494/7770271981399427311064086802\ 09603*c_0101_4^5 + 33057490811208349050500451533434939782/777027198\ 139942731106408680209603*c_0101_4^4 + 20082276310883506520691416297412454165/7770271981399427311064086802\ 09603*c_0101_4^3 - 8022866480928462448949390759579422129/5550194272\ 42816236504577628721145*c_0101_4^2 - 12531848125843078234378413562259347799/3885135990699713655532043401\ 048015*c_0101_4 + 863436397136343651679874952702926187/388513599069\ 9713655532043401048015, c_0011_0 - 1, c_0011_1 - 3730641128757396387465870407208/1110038854485632473009155257\ 44229*c_0101_4^21 - 22515366169668705647701787455121/11100388544856\ 3247300915525744229*c_0101_4^20 + 53143783812381938936237082250199/\ 111003885448563247300915525744229*c_0101_4^19 + 473090537335204794852050252063780/111003885448563247300915525744229\ *c_0101_4^18 + 481770205022265403974769305319584/111003885448563247\ 300915525744229*c_0101_4^17 - 2241589597078460871066335975746439/11\ 1003885448563247300915525744229*c_0101_4^16 - 6808163235355495207908854836168403/11100388544856324730091552574422\ 9*c_0101_4^15 + 1429989892984392462131918195333737/1110038854485632\ 47300915525744229*c_0101_4^14 + 28891945395153076874390135616425830\ /111003885448563247300915525744229*c_0101_4^13 + 12652620968408567116474200807586661/1110038854485632473009155257442\ 29*c_0101_4^12 - 58489078489644788434959789759507862/11100388544856\ 3247300915525744229*c_0101_4^11 - 288400785447644314411930862327354\ 03/111003885448563247300915525744229*c_0101_4^10 + 54137090881539786099069804459658128/1110038854485632473009155257442\ 29*c_0101_4^9 + 19019612374050815162138740561801238/111003885448563\ 247300915525744229*c_0101_4^8 - 12996053581833768714599559810467866\ /111003885448563247300915525744229*c_0101_4^7 + 4804458891645043654669881743689877/11100388544856324730091552574422\ 9*c_0101_4^6 - 10601430079986713666030973966005721/1110038854485632\ 47300915525744229*c_0101_4^5 - 10022254821529265199942971562939742/\ 111003885448563247300915525744229*c_0101_4^4 + 5579931166282228090001927375293252/11100388544856324730091552574422\ 9*c_0101_4^3 + 2805773496493504670222225416886898/11100388544856324\ 7300915525744229*c_0101_4^2 - 247958336117527634844793718132853/111\ 003885448563247300915525744229*c_0101_4 - 15724495410954926352225712973300/111003885448563247300915525744229, c_0011_6 + 12056092667774154085194386019695/111003885448563247300915525\ 744229*c_0101_4^21 + 50785946874343380421772170292637/1110038854485\ 63247300915525744229*c_0101_4^20 - 241108751343112436222687339197718/111003885448563247300915525744229\ *c_0101_4^19 - 983295628310028781668661134660294/111003885448563247\ 300915525744229*c_0101_4^18 - 185656794941549164936457683218215/111\ 003885448563247300915525744229*c_0101_4^17 + 5565130472192818542240826426377287/11100388544856324730091552574422\ 9*c_0101_4^16 + 10707414471215283799948802253797222/111003885448563\ 247300915525744229*c_0101_4^15 - 1432440928184965157066472288364934\ 6/111003885448563247300915525744229*c_0101_4^14 - 43753576313991498784418056615326411/1110038854485632473009155257442\ 29*c_0101_4^13 + 21382928001508679969252753765321518/11100388544856\ 3247300915525744229*c_0101_4^12 + 659479604511308675313978156925588\ 55/111003885448563247300915525744229*c_0101_4^11 - 14917960078809388756234412935175146/1110038854485632473009155257442\ 29*c_0101_4^10 - 34465770753924137874577430695002642/11100388544856\ 3247300915525744229*c_0101_4^9 + 1118574356532111883375792937292695\ /111003885448563247300915525744229*c_0101_4^8 - 7856140689661798121483118097598579/11100388544856324730091552574422\ 9*c_0101_4^7 + 1839199841421187195276407221742804/11100388544856324\ 7300915525744229*c_0101_4^6 + 12396453851910773532121971618630228/1\ 11003885448563247300915525744229*c_0101_4^5 + 1005665247745468626358812528091401/11100388544856324730091552574422\ 9*c_0101_4^4 - 2660509492357100957766977122381725/11100388544856324\ 7300915525744229*c_0101_4^3 - 878457025622085519026948652511021/111\ 003885448563247300915525744229*c_0101_4^2 + 25443578802784127516208168616370/111003885448563247300915525744229*\ c_0101_4 + 78713452668624423858829365918143/11100388544856324730091\ 5525744229, c_0101_0 + 18113238748652069478388842789242/111003885448563247300915525\ 744229*c_0101_4^21 + 58194494446023070972688270181998/1110038854485\ 63247300915525744229*c_0101_4^20 - 447967807887522522281743151164546/111003885448563247300915525744229\ *c_0101_4^19 - 1148294296423569104955629630640144/11100388544856324\ 7300915525744229*c_0101_4^18 + 1415778472780214157574524438641436/1\ 11003885448563247300915525744229*c_0101_4^17 + 9283019913582419369554421177350068/11100388544856324730091552574422\ 9*c_0101_4^16 + 7328581276392908770023863281596692/1110038854485632\ 47300915525744229*c_0101_4^15 - 42185172457412963674574964451257428\ /111003885448563247300915525744229*c_0101_4^14 - 49820542064004418602148219206923449/1110038854485632473009155257442\ 29*c_0101_4^13 + 115129677689193582962328696396116288/1110038854485\ 63247300915525744229*c_0101_4^12 + 95203318491262151017344650276155675/1110038854485632473009155257442\ 29*c_0101_4^11 - 159972015923762548725973961283334673/1110038854485\ 63247300915525744229*c_0101_4^10 - 73375812197682289961409968164092864/1110038854485632473009155257442\ 29*c_0101_4^9 + 92432859250110385807445100460336187/111003885448563\ 247300915525744229*c_0101_4^8 + 8547447505039975065461606240774065/\ 111003885448563247300915525744229*c_0101_4^7 + 4633434807200989670449321112098818/11100388544856324730091552574422\ 9*c_0101_4^6 + 23960228744807361609985218832769745/1110038854485632\ 47300915525744229*c_0101_4^5 - 24074120211835249085907237332627768/\ 111003885448563247300915525744229*c_0101_4^4 - 16423174729202211246666432278569630/1110038854485632473009155257442\ 29*c_0101_4^3 + 5367984386591230743509125798792778/1110038854485632\ 47300915525744229*c_0101_4^2 + 3632974700403786772851261734725021/1\ 11003885448563247300915525744229*c_0101_4 + 419638826758635758696856103885136/111003885448563247300915525744229\ , c_0101_1 + 22589369822717224148601873652065/111003885448563247300915525\ 744229*c_0101_4^21 + 95724810738864879512768167900214/1110038854485\ 63247300915525744229*c_0101_4^20 - 465540701267473613082135219109889/111003885448563247300915525744229\ *c_0101_4^19 - 1920492743935965507441066964559174/11100388544856324\ 7300915525744229*c_0101_4^18 - 67146814356611119339568327777995/111\ 003885448563247300915525744229*c_0101_4^17 + 11700303520888237913444353325149856/1110038854485632473009155257442\ 29*c_0101_4^16 + 20498833861925924317987316341832213/11100388544856\ 3247300915525744229*c_0101_4^15 - 336365026477594517974348471337587\ 17/111003885448563247300915525744229*c_0101_4^14 - 96251719066681228643874888983908528/1110038854485632473009155257442\ 29*c_0101_4^13 + 57583634484384832240397883256855545/11100388544856\ 3247300915525744229*c_0101_4^12 + 179391336192999299263831435006135\ 166/111003885448563247300915525744229*c_0101_4^11 - 57358005140511264603815182806575897/1110038854485632473009155257442\ 29*c_0101_4^10 - 143836586095055908070347937503982157/1110038854485\ 63247300915525744229*c_0101_4^9 + 287182369037235726371995465345693\ 31/111003885448563247300915525744229*c_0101_4^8 + 20914388290092576816538219305646656/1110038854485632473009155257442\ 29*c_0101_4^7 - 5976908022636942983317899382523239/1110038854485632\ 47300915525744229*c_0101_4^6 + 36853322832020021094162197453452291/\ 111003885448563247300915525744229*c_0101_4^5 + 1594616857392811351516672590978403/11100388544856324730091552574422\ 9*c_0101_4^4 - 19675630440892521915241928086069395/1110038854485632\ 47300915525744229*c_0101_4^3 - 1189577177249782447125984672510002/1\ 11003885448563247300915525744229*c_0101_4^2 + 2635963349628207137687478147509171/11100388544856324730091552574422\ 9*c_0101_4 + 349240433488961521409695851593490/11100388544856324730\ 0915525744229, c_0101_3 - 4704206298733318934896359947401/1110038854485632473009155257\ 44229*c_0101_4^21 - 29418418749343994195047767715316/11100388544856\ 3247300915525744229*c_0101_4^20 + 59643393330752518093055918317941/\ 111003885448563247300915525744229*c_0101_4^19 + 601739344301900732890035620495153/111003885448563247300915525744229\ *c_0101_4^18 + 736835718641677415867799426198020/111003885448563247\ 300915525744229*c_0101_4^17 - 2533541413846069229358298998096957/11\ 1003885448563247300915525744229*c_0101_4^16 - 8729209466468413576022938916501540/11100388544856324730091552574422\ 9*c_0101_4^15 - 74446506426091843850900728233244/111003885448563247\ 300915525744229*c_0101_4^14 + 34133122669175114356845941066647856/1\ 11003885448563247300915525744229*c_0101_4^13 + 19397770764720808653562456489620196/1110038854485632473009155257442\ 29*c_0101_4^12 - 66331588924347024659027081414654837/11100388544856\ 3247300915525744229*c_0101_4^11 - 366743488848773839314281166899914\ 01/111003885448563247300915525744229*c_0101_4^10 + 62821356238332474726200251796641913/1110038854485632473009155257442\ 29*c_0101_4^9 + 19087848991651285748070129698478381/111003885448563\ 247300915525744229*c_0101_4^8 - 19204115942341354253335704929702958\ /111003885448563247300915525744229*c_0101_4^7 + 8721356352746895845921362085683576/11100388544856324730091552574422\ 9*c_0101_4^6 - 9938839278697125491255892148968149/11100388544856324\ 7300915525744229*c_0101_4^5 - 11380800424752704199841450550799994/1\ 11003885448563247300915525744229*c_0101_4^4 + 7345387688436667950360116564328627/11100388544856324730091552574422\ 9*c_0101_4^3 + 3015425013469385810514357767067333/11100388544856324\ 7300915525744229*c_0101_4^2 - 843343777262570259364668089076516/111\ 003885448563247300915525744229*c_0101_4 - 156458030990743929983382918783562/111003885448563247300915525744229\ , c_0101_4^22 + 4*c_0101_4^21 - 22*c_0101_4^20 - 82*c_0101_4^19 + 24*c_0101_4^18 + 556*c_0101_4^17 + 808*c_0101_4^16 - 1893*c_0101_4^15 - 4374*c_0101_4^14 + 3866*c_0101_4^13 + 9208*c_0101_4^12 - 4338*c_0101_4^11 - 8950*c_0101_4^10 + 2038*c_0101_4^9 + 2849*c_0101_4^8 + 150*c_0101_4^7 + 1636*c_0101_4^6 - 200*c_0101_4^5 - 1485*c_0101_4^4 - 196*c_0101_4^3 + 299*c_0101_4^2 + 95*c_0101_4 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB