Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 3515895283] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s352 geometric_solution 4.56200631 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 1 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 -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.308106367081 0.212132956462 0 0 2 2 0132 2310 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 -1 1 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 1.456987106266 1.395199384864 3 1 1 4 0132 3201 0132 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 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 0 0 0.661591823665 0.274651668136 2 4 4 5 0132 1302 3201 0132 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 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.399447930074 0.669974853953 3 5 2 3 2310 1023 0132 2031 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 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.399447930074 0.669974853953 4 5 3 5 1023 1302 0132 2031 0 0 0 0 0 1 0 -1 1 0 0 -1 0 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 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.004565255729 1.863396240817 ==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_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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], '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_4'], 'c_0011_4' : d['c_0011_4'], '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_2']), 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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' : negation(d['c_0011_2']), 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 4325911142640047153695192395751/325107501947224723807304008305*c_01\ 01_3^18 - 27539581650849076156607779996076/325107501947224723807304\ 008305*c_0101_3^17 + 21618927085714064527745714874779/1083691673157\ 41574602434669435*c_0101_3^16 + 98169447622834526469269603051982/10\ 8369167315741574602434669435*c_0101_3^15 - 54072593479826036276610901685666/21673833463148314920486933887*c_01\ 01_3^14 - 1744576933706833317626501690685227/3251075019472247238073\ 04008305*c_0101_3^13 + 6023482619328145808446497905500426/325107501\ 947224723807304008305*c_0101_3^12 + 463754872129405716157645559339117/65021500389444944761460801661*c_0\ 101_3^11 - 25136605986406334833440213547891657/32510750194722472380\ 7304008305*c_0101_3^10 + 24717591833467984821307698279537287/325107\ 501947224723807304008305*c_0101_3^9 + 2758965696151683445981702219703228/65021500389444944761460801661*c_\ 0101_3^8 - 32118512695744604941237372154105528/32510750194722472380\ 7304008305*c_0101_3^7 + 12528826820438965906663453101440651/3251075\ 01947224723807304008305*c_0101_3^6 + 1044589260283845021873062403250294/325107501947224723807304008305*c\ _0101_3^5 - 100498222964568507283584491002814/216738334631483149204\ 86933887*c_0101_3^4 + 714214786900788639193400211193579/32510750194\ 7224723807304008305*c_0101_3^3 - 5588196219038034094402825239170/65\ 021500389444944761460801661*c_0101_3^2 - 9307152308388242180835681057742/108369167315741574602434669435*c_01\ 01_3 - 13722755582655881726760868095484/325107501947224723807304008\ 305, c_0011_0 - 1, c_0011_2 - 24949515437639787693578883/51727526165031777853190773*c_0101\ _3^18 - 157568093736239713959272156/51727526165031777853190773*c_01\ 01_3^17 + 391701930862453668803108120/51727526165031777853190773*c_\ 0101_3^16 + 1746347703778789345585450376/51727526165031777853190773\ *c_0101_3^15 - 4869375313887928136176039015/51727526165031777853190\ 773*c_0101_3^14 - 10548408699058621978811004050/5172752616503177785\ 3190773*c_0101_3^13 + 36639410288051001082066517397/517275261650317\ 77853190773*c_0101_3^12 + 16399985736637252996797526052/51727526165\ 031777853190773*c_0101_3^11 - 156427624826495209134710607800/517275\ 26165031777853190773*c_0101_3^10 + 137791931687722781495550339746/51727526165031777853190773*c_0101_3^\ 9 + 122911116976216844054634587903/51727526165031777853190773*c_010\ 1_3^8 - 213153727888075910829081657857/51727526165031777853190773*c\ _0101_3^7 + 28058588185976089173190089999/5172752616503177785319077\ 3*c_0101_3^6 + 49809195325388876555762683450/5172752616503177785319\ 0773*c_0101_3^5 - 1900512585110994343306867667/51727526165031777853\ 190773*c_0101_3^4 - 5876043180309843364910815287/517275261650317778\ 53190773*c_0101_3^3 - 1311005618341350500448855041/5172752616503177\ 7853190773*c_0101_3^2 + 268761458065829387170324560/517275261650317\ 77853190773*c_0101_3 + 71297017497048444059752504/51727526165031777\ 853190773, c_0011_4 + 25208739252409184273779900219/21673833463148314920486933887*\ c_0101_3^18 + 169122981357477638795492858424/2167383346314831492048\ 6933887*c_0101_3^17 - 324898184707043457691149304705/21673833463148\ 314920486933887*c_0101_3^16 - 1859464709535275422843373517493/21673\ 833463148314920486933887*c_0101_3^15 + 4160312879523005431163065311799/21673833463148314920486933887*c_010\ 1_3^14 + 11945774267672158067292090125938/2167383346314831492048693\ 3887*c_0101_3^13 - 31899672647213025549047561873163/216738334631483\ 14920486933887*c_0101_3^12 - 26649339593006716628704364773791/21673\ 833463148314920486933887*c_0101_3^11 + 144123579275946616981691043371200/21673833463148314920486933887*c_0\ 101_3^10 - 90431566802525989277199527415588/21673833463148314920486\ 933887*c_0101_3^9 - 141060654337210987595140736901375/2167383346314\ 8314920486933887*c_0101_3^8 + 161367353255387483769276494267197/216\ 73833463148314920486933887*c_0101_3^7 + 8585831696686324087983622081483/21673833463148314920486933887*c_010\ 1_3^6 - 40367930490340818012444508130923/21673833463148314920486933\ 887*c_0101_3^5 - 3306287184133626496268113692107/216738334631483149\ 20486933887*c_0101_3^4 + 3700920662505693590031255852468/2167383346\ 3148314920486933887*c_0101_3^3 + 1271595811660189185176645149649/21\ 673833463148314920486933887*c_0101_3^2 - 113420583071552512536995931526/21673833463148314920486933887*c_0101\ _3 - 75147084314417508749135221773/21673833463148314920486933887, c_0101_0 - 7341740709880606004894033838/21673833463148314920486933887*c\ _0101_3^18 - 52371688930557668090723822397/216738334631483149204869\ 33887*c_0101_3^17 + 73767854016833396008169982606/21673833463148314\ 920486933887*c_0101_3^16 + 582076493786618118124445842825/216738334\ 63148314920486933887*c_0101_3^15 - 982097579384391516486962535307/21673833463148314920486933887*c_0101\ _3^14 - 3994403851321874166693773555404/216738334631483149204869338\ 87*c_0101_3^13 + 7820910510337015905796591393190/216738334631483149\ 20486933887*c_0101_3^12 + 11699837499648708268726173174081/21673833\ 463148314920486933887*c_0101_3^11 - 38718466286609928462895975815919/21673833463148314920486933887*c_01\ 01_3^10 + 8682259415810907928005655522249/2167383346314831492048693\ 3887*c_0101_3^9 + 52314697700839357308564067765661/2167383346314831\ 4920486933887*c_0101_3^8 - 30457084770828556294170345912833/2167383\ 3463148314920486933887*c_0101_3^7 - 21253111266950064199678432187424/21673833463148314920486933887*c_01\ 01_3^6 + 11220382752298618089021224932711/2167383346314831492048693\ 3887*c_0101_3^5 + 4043709609149678080598299113696/21673833463148314\ 920486933887*c_0101_3^4 - 418763190472099653801677124060/2167383346\ 3148314920486933887*c_0101_3^3 - 363013125598493927540286878155/216\ 73833463148314920486933887*c_0101_3^2 - 22251702589156269721814783061/21673833463148314920486933887*c_0101_\ 3 + 17932513647865197644445930299/21673833463148314920486933887, c_0101_1 - 40242720780952047586092748/51727526165031777853190773*c_0101\ _3^18 - 278657488479038882558563806/51727526165031777853190773*c_01\ 01_3^17 + 457019326432343894523642881/51727526165031777853190773*c_\ 0101_3^16 + 3056852445429370165725848403/51727526165031777853190773\ *c_0101_3^15 - 5957692277527143095129205458/51727526165031777853190\ 773*c_0101_3^14 - 20240063291286668750506830244/5172752616503177785\ 3190773*c_0101_3^13 + 46254704754643576326293912664/517275261650317\ 77853190773*c_0101_3^12 + 51809820660527361336455349529/51727526165\ 031777853190773*c_0101_3^11 - 216585748200042125617868761387/517275\ 26165031777853190773*c_0101_3^10 + 98957842345652678731170088462/51727526165031777853190773*c_0101_3^9 + 236487623936201165503682279736/51727526165031777853190773*c_0101_\ 3^8 - 198757437370804359699115407086/51727526165031777853190773*c_0\ 101_3^7 - 47699960967842973551844465170/51727526165031777853190773*\ c_0101_3^6 + 41679280096431366533298377657/517275261650317778531907\ 73*c_0101_3^5 + 14176500296231757754814565575/517275261650317778531\ 90773*c_0101_3^4 - 335595596276633407515945792/51727526165031777853\ 190773*c_0101_3^3 - 1344161176003539108071974864/517275261650317778\ 53190773*c_0101_3^2 - 152172971833106984645397504/51727526165031777\ 853190773*c_0101_3 - 19615129503709340149042835/5172752616503177785\ 3190773, c_0101_3^19 + 7*c_0101_3^18 - 11*c_0101_3^17 - 78*c_0101_3^16 + 144*c_0101_3^15 + 527*c_0101_3^14 - 1134*c_0101_3^13 - 1461*c_0101_3^12 + 5462*c_0101_3^11 - 1815*c_0101_3^10 - 6917*c_0101_3^9 + 4788*c_0101_3^8 + 2552*c_0101_3^7 - 1625*c_0101_3^6 - 689*c_0101_3^5 + 116*c_0101_3^4 + 101*c_0101_3^3 + 11*c_0101_3^2 - 5*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB