Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 1292685705] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2332 geometric_solution 5.71907662 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 -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 0.237060769772 0.288498134459 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.062713307940 1.780642226514 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 -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 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 -0.076111738279 0.785499516593 5 4 2 1 3201 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 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.076111738279 0.785499516593 4 4 3 2 1230 3012 2310 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 0 0 0 1 0 -1 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.183711206118 0.864720966278 6 6 2 3 0132 2310 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 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.029332097393 1.816062162037 5 6 6 5 0132 1230 3012 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.148880826828 0.424190631688 ==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' : d['1'], 's_3_4' : 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' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_3, c_0011_4, c_0011_5, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 10638758226377974302578356725175283/1111687895482058590541600066519\ 52*c_0101_3^18 - 149276301191731635078673547992143403/3335063686446\ 17577162480019955856*c_0101_3^17 + 259515831672687830709300242523508339/833765921611543942906200049889\ 64*c_0101_3^16 - 1363138031991657144108136230161163713/333506368644\ 617577162480019955856*c_0101_3^15 + 2438493487833899096069127124652485103/83376592161154394290620004988\ 964*c_0101_3^14 - 132775558723480232412667957972339163/833765921611\ 54394290620004988964*c_0101_3^13 - 1299781856661035196951423438683578327/18528131591367643175693334441\ 992*c_0101_3^12 + 15739825838373120083448602052478366157/1111687895\ 48205859054160006651952*c_0101_3^11 + 37553368644367317423829084405540822195/1667531843223087885812400099\ 77928*c_0101_3^10 - 289352768841703066193382849419762975/1667531843\ 22308788581240009977928*c_0101_3^9 - 898423543791206163045998426602010881/115002196084350888676717248260\ 64*c_0101_3^8 - 27145446338564795476038577477848332035/333506368644\ 617577162480019955856*c_0101_3^7 - 34147204104275949805220389143015491491/3335063686446175771624800199\ 55856*c_0101_3^6 - 19152356432362010441056723815964636813/333506368\ 644617577162480019955856*c_0101_3^5 - 184907713732939341371756012424590414/208441480402885985726550012472\ 41*c_0101_3^4 + 4042731676480418270583944841108107977/3335063686446\ 17577162480019955856*c_0101_3^3 + 103143208030447735665733373944157\ 5883/111168789548205859054160006651952*c_0101_3^2 + 66834705229774410517166887295258915/8337659216115439429062000498896\ 4*c_0101_3 - 162447310267791116978337736237764827/33350636864461757\ 7162480019955856, c_0011_0 - 1, c_0011_1 - 10174812918031348213803500428/10123432753904127524358912699*\ c_0101_3^18 + 6309839028762655583651526461/112482586154490305826210\ 1411*c_0101_3^17 - 381144608269597839061303149952/10123432753904127\ 524358912699*c_0101_3^16 + 257726169870708622630229627614/337447758\ 4634709174786304233*c_0101_3^15 - 418663136787911836095776781684/11\ 24825861544903058262101411*c_0101_3^14 + 3502148127381984357072586078033/10123432753904127524358912699*c_010\ 1_3^13 + 520770482884594838712129554417/112482586154490305826210141\ 1*c_0101_3^12 - 19560789306253256838184886338993/101234327539041275\ 24358912699*c_0101_3^11 - 6895151871883850311786362598232/101234327\ 53904127524358912699*c_0101_3^10 + 2821548623723993264492169061013/3374477584634709174786304233*c_0101\ _3^9 + 673235895492537356011915711532/3374477584634709174786304233*\ c_0101_3^8 + 6092745999658958478069075582685/1012343275390412752435\ 8912699*c_0101_3^7 + 4939699156461760798821380966008/10123432753904\ 127524358912699*c_0101_3^6 + 97522085313737684800437352931/11248258\ 61544903058262101411*c_0101_3^5 - 600993360851647689515210127409/10\ 123432753904127524358912699*c_0101_3^4 - 988585326083000980883678339294/10123432753904127524358912699*c_0101\ _3^3 - 64010330371854789448549962262/10123432753904127524358912699*\ c_0101_3^2 + 11567177192460898256858045751/112482586154490305826210\ 1411*c_0101_3 - 10795844609096537789748223490/101234327539041275243\ 58912699, c_0011_3 + 506861142121141266827924767/3374477584634709174786304233*c_0\ 101_3^18 - 708943569008139242932234346/3374477584634709174786304233\ *c_0101_3^17 + 2337227076050617289367871152/11248258615449030582621\ 01411*c_0101_3^16 + 41834921707053605017125048830/33744775846347091\ 74786304233*c_0101_3^15 + 20382104161292575723865667742/33744775846\ 34709174786304233*c_0101_3^14 + 627279262693382345294431636861/3374\ 477584634709174786304233*c_0101_3^13 - 343503787106403336494065887102/1124825861544903058262101411*c_0101_\ 3^12 + 108075171335249866840880329252/3374477584634709174786304233*\ c_0101_3^11 + 1465560939404674473984658053388/112482586154490305826\ 2101411*c_0101_3^10 + 732180415865698101051253339132/33744775846347\ 09174786304233*c_0101_3^9 - 1685581005529946378948827830829/3374477\ 584634709174786304233*c_0101_3^8 - 230304608043226130105330265736/1124825861544903058262101411*c_0101_\ 3^7 - 519392683958463938369669097896/1124825861544903058262101411*c\ _0101_3^6 - 977849009640898587961403130131/337447758463470917478630\ 4233*c_0101_3^5 - 58118164554225535966025821196/1124825861544903058\ 262101411*c_0101_3^4 + 183798817147912654928635807921/3374477584634\ 709174786304233*c_0101_3^3 + 201751537688793422671356479509/3374477\ 584634709174786304233*c_0101_3^2 + 10655090212776952831151767885/3374477584634709174786304233*c_0101_3 - 18639561649243893257507258153/3374477584634709174786304233, c_0011_4 - 6587496572970057498787130504/10123432753904127524358912699*c\ _0101_3^18 + 3308043676099740159486984988/1124825861544903058262101\ 411*c_0101_3^17 - 207128195677961056393035964835/101234327539041275\ 24358912699*c_0101_3^16 + 78250521903906174058760387168/33744775846\ 34709174786304233*c_0101_3^15 - 209172768988332719936254249877/1124\ 825861544903058262101411*c_0101_3^14 - 388215563659180864135170443530/10123432753904127524358912699*c_0101\ _3^13 + 634846582826213485834434019485/1124825861544903058262101411\ *c_0101_3^12 - 9858274671139203690092439753662/10123432753904127524\ 358912699*c_0101_3^11 - 17881916439568434167581853808337/1012343275\ 3904127524358912699*c_0101_3^10 + 639207790260207485657564073700/33\ 74477584634709174786304233*c_0101_3^9 + 2196302159162509746670362268606/3374477584634709174786304233*c_0101\ _3^8 + 5134932884587883107711199762174/1012343275390412752435891269\ 9*c_0101_3^7 + 7519427094922555857915795711416/10123432753904127524\ 358912699*c_0101_3^6 + 396433625361613875506606002344/1124825861544\ 903058262101411*c_0101_3^5 + 211895794910867838691046898028/1012343\ 2753904127524358912699*c_0101_3^4 - 1091038286888070027461035651363/10123432753904127524358912699*c_010\ 1_3^3 - 690966361366218541272185340887/1012343275390412752435891269\ 9*c_0101_3^2 + 2695367380050327188268288393/11248258615449030582621\ 01411*c_0101_3 + 56406604675684859590837147631/10123432753904127524\ 358912699, c_0011_5 - 584763453205039941029071021/3374477584634709174786304233*c_0\ 101_3^18 + 2862939706172597005758829784/337447758463470917478630423\ 3*c_0101_3^17 - 6603057236159903019419879557/1124825861544903058262\ 101411*c_0101_3^16 + 30238956891910147884718987864/3374477584634709\ 174786304233*c_0101_3^15 - 191555800821143674536431399755/337447758\ 4634709174786304233*c_0101_3^14 + 64731400762023156146126119787/337\ 4477584634709174786304233*c_0101_3^13 + 117467790249863767816699759240/1124825861544903058262101411*c_0101_\ 3^12 - 879364541930126831607772338331/3374477584634709174786304233*\ c_0101_3^11 - 372072939643628872318916594712/1124825861544903058262\ 101411*c_0101_3^10 - 66545936963854560474121178485/3374477584634709\ 174786304233*c_0101_3^9 + 416390333007593150341883365567/3374477584\ 634709174786304233*c_0101_3^8 + 181075955557666970562351630324/1124\ 825861544903058262101411*c_0101_3^7 + 172543025438975066465322609983/1124825861544903058262101411*c_0101_\ 3^6 + 328030476040568988706794086189/3374477584634709174786304233*c\ _0101_3^5 + 17324268718246542230986631783/1124825861544903058262101\ 411*c_0101_3^4 - 72390485188549398129621803806/33744775846347091747\ 86304233*c_0101_3^3 - 50905272380097085502194731916/337447758463470\ 9174786304233*c_0101_3^2 - 5514919469308081722004242406/33744775846\ 34709174786304233*c_0101_3 + 5517740810229956545150137071/337447758\ 4634709174786304233, c_0101_1 - 503082225509944879313227772/1124825861544903058262101411*c_0\ 101_3^18 + 6786234355767969430849672013/337447758463470917478630423\ 3*c_0101_3^17 - 47212361389675308930317157344/337447758463470917478\ 6304233*c_0101_3^16 + 52176931645149413283692221480/337447758463470\ 9174786304233*c_0101_3^15 - 426673241606643774998336670916/33744775\ 84634709174786304233*c_0101_3^14 - 106802369972534303409316757717/3374477584634709174786304233*c_0101_\ 3^13 + 447198903481064322847646408355/1124825861544903058262101411*\ c_0101_3^12 - 757514524069948360325594494690/1124825861544903058262\ 101411*c_0101_3^11 - 4170990831493805155484807193676/33744775846347\ 09174786304233*c_0101_3^10 + 516336683748482860164479243855/3374477\ 584634709174786304233*c_0101_3^9 + 1510364701770088863642865715341/3374477584634709174786304233*c_0101\ _3^8 + 1131153386839454908934821452557/3374477584634709174786304233\ *c_0101_3^7 + 1743761385325593809452961812025/337447758463470917478\ 6304233*c_0101_3^6 + 812693554906142788622029932428/337447758463470\ 9174786304233*c_0101_3^5 + 55523069589049283718082460710/3374477584\ 634709174786304233*c_0101_3^4 - 241184276851171675348280239337/3374\ 477584634709174786304233*c_0101_3^3 - 49711594025790668414389086211/1124825861544903058262101411*c_0101_3\ ^2 + 9181328611610718573396766385/3374477584634709174786304233*c_01\ 01_3 + 10798782171503596714262500447/3374477584634709174786304233, c_0101_3^19 - 5*c_0101_3^18 + 34*c_0101_3^17 - 53*c_0101_3^16 + 318*c_0101_3^15 - 112*c_0101_3^14 - 742*c_0101_3^13 + 1735*c_0101_3^12 + 1884*c_0101_3^11 - 850*c_0101_3^10 - 801*c_0101_3^9 - 553*c_0101_3^8 - 797*c_0101_3^7 - 235*c_0101_3^6 + 106*c_0101_3^5 + 153*c_0101_3^4 + 51*c_0101_3^3 - 26*c_0101_3^2 - 7*c_0101_3 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB