Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 206409966] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0529 geometric_solution 4.54392576 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.732882199773 0.245143781986 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.432089873350 0.188959708392 1 1 3 4 2310 0132 0132 0132 0 0 0 0 0 -1 0 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 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.215555969802 1.098926202302 4 5 4 2 1302 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -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.798373434300 0.610798763465 5 3 2 3 2310 2031 0132 3012 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.798373434300 0.610798763465 6 3 4 6 0132 0132 3201 3201 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 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.333886770607 0.281532818253 5 5 6 6 0132 2310 2031 1302 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 1 -1 0 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 1.026707948019 1.885110055208 ==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' : 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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0101_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0101_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], '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' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0101_2']), '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_3, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 3026762627312689009432160836098660635045/52591242368686095892655441\ 72317065669236*c_0101_6^17 - 15099905813727269808347174481770547526\ 231/10518248473737219178531088344634131338472*c_0101_6^16 + 16566530017295949601044235472894451614993/3756517312049006849475388\ 69451218976374*c_0101_6^15 - 82786833214571004448363312333759914214\ 89/1502606924819602739790155477804875905496*c_0101_6^14 - 74299793541263593112695021905643175864341/1878258656024503424737694\ 34725609488187*c_0101_6^13 + 53414782506749372047530185636986098462\ 719/142138492888340799709879572224785558628*c_0101_6^12 - 740142732459100406219150626612160689996565/150260692481960273979015\ 5477804875905496*c_0101_6^11 + 903598099208479289727991874014960971\ 9074907/10518248473737219178531088344634131338472*c_0101_6^10 + 30684166949005098256092593682251939108777183/1051824847373721917853\ 1088344634131338472*c_0101_6^9 - 1315559547529188688838863993685536\ 716096299/404548018220662276097349551716697359172*c_0101_6^8 - 1567703128207762800858778868033483504327929/10518248473737219178531\ 088344634131338472*c_0101_6^7 - 27613152354168621833475181726166754\ 14846177/5259124236868609589265544172317065669236*c_0101_6^6 - 27735411056430508787105828637164231301843777/1051824847373721917853\ 1088344634131338472*c_0101_6^5 + 5255373862454209595582811445066082\ 698243255/10518248473737219178531088344634131338472*c_0101_6^4 + 7330209598351237950143312993626345974053655/10518248473737219178531\ 088344634131338472*c_0101_6^3 + 36709112558330265507684513819761478\ 9532859/751303462409801369895077738902437952748*c_0101_6^2 + 379567514931311094082936290735844964441003/525912423686860958926554\ 4172317065669236*c_0101_6 + 579794721065474535991535521036428088340\ 5/10518248473737219178531088344634131338472, c_0011_0 - 1, c_0011_1 + 155979641619516969722356573569188660/20640205011258279392721\ 91590391313057*c_0101_6^17 + 480915306141638243023690228481152028/2\ 064020501125827939272191590391313057*c_0101_6^16 - 11630107222327149623179366595367951864/2064020501125827939272191590\ 391313057*c_0101_6^15 - 5256225235223012542676570734973946221/20640\ 20501125827939272191590391313057*c_0101_6^14 + 101144364033042926298663361607635121780/206402050112582793927219159\ 0391313057*c_0101_6^13 - 1134345628102589240638972320457402626/5578\ 4337868265619980329502443008461*c_0101_6^12 + 134642955110877842584046095760892197754/206402050112582793927219159\ 0391313057*c_0101_6^11 - 178458911352320067954252172855606462341/20\ 64020501125827939272191590391313057*c_0101_6^10 - 854990597524737773642754502625864726730/206402050112582793927219159\ 0391313057*c_0101_6^9 + 315760407062261861561605040493579416579/206\ 4020501125827939272191590391313057*c_0101_6^8 + 39251824486205905403972075272453254884/2064020501125827939272191590\ 391313057*c_0101_6^7 + 361964188630249788503523200199906427456/2064\ 020501125827939272191590391313057*c_0101_6^6 + 881599522961985467122892053204311329804/206402050112582793927219159\ 0391313057*c_0101_6^5 + 455087746758541121310437858323397919564/206\ 4020501125827939272191590391313057*c_0101_6^4 + 255518906868525139940529072782159908336/206402050112582793927219159\ 0391313057*c_0101_6^3 + 25195366931182104315269883176360117724/2064\ 020501125827939272191590391313057*c_0101_6^2 - 660061081395502184444603308399919996/206402050112582793927219159039\ 1313057*c_0101_6 - 4561081628570231589592900232667954151/2064020501\ 125827939272191590391313057, c_0011_3 - 12038574777819667704242268/507955562248734734274671347*c_010\ 1_6^17 - 33944299585389664995879377/507955562248734734274671347*c_0\ 101_6^16 + 908990936354208371700011374/507955562248734734274671347*\ c_0101_6^15 + 173060669092151883005889922/5079555622487347342746713\ 47*c_0101_6^14 - 8035160570279070608618329842/507955562248734734274\ 671347*c_0101_6^13 + 143592149960465235944180639/137285287094252630\ 88504631*c_0101_6^12 - 10158687272497943639800360966/50795556224873\ 4734274671347*c_0101_6^11 + 15460994972899717297792457162/507955562\ 248734734274671347*c_0101_6^10 + 63779555379912575422891188523/5079\ 55562248734734274671347*c_0101_6^9 - 44127649868408402568045504221/507955562248734734274671347*c_0101_6^\ 8 - 4552541784171762883261169912/507955562248734734274671347*c_0101\ _6^7 - 18244494562295033081956430274/507955562248734734274671347*c_\ 0101_6^6 - 60772531170538223537015901254/50795556224873473427467134\ 7*c_0101_6^5 - 16006476569683823077722509500/5079555622487347342746\ 71347*c_0101_6^4 - 3218124732033258106828762130/5079555622487347342\ 74671347*c_0101_6^3 + 2581301634158040132460484548/5079555622487347\ 34274671347*c_0101_6^2 - 865985741863454881923014723/50795556224873\ 4734274671347*c_0101_6 - 145685332713741533910978242/50795556224873\ 4734274671347, c_0101_0 - 527256764132443719402116414170471276/20640205011258279392721\ 91590391313057*c_0101_6^17 - 1645798207479341635755289221487527938/\ 2064020501125827939272191590391313057*c_0101_6^16 + 39364438990804346226659795963555036286/2064020501125827939272191590\ 391313057*c_0101_6^15 + 19596647723833595189420723241939310086/2064\ 020501125827939272191590391313057*c_0101_6^14 - 349769071077672474830045774981786488646/206402050112582793927219159\ 0391313057*c_0101_6^13 + 3425281339029594256576925359976590146/5578\ 4337868265619980329502443008461*c_0101_6^12 - 373969013276102352027982222766827616734/206402050112582793927219159\ 0391313057*c_0101_6^11 + 539307343846364457251920094146409470264/20\ 64020501125827939272191590391313057*c_0101_6^10 + 3005588028586416588922237991568355769598/20640205011258279392721915\ 90391313057*c_0101_6^9 - 1094553589211687959543356462023619302688/2\ 064020501125827939272191590391313057*c_0101_6^8 - 785215603423439000949463685739991168969/206402050112582793927219159\ 0391313057*c_0101_6^7 - 837755073032105681330526851986524420792/206\ 4020501125827939272191590391313057*c_0101_6^6 - 2961170855906911513910707483202165018179/20640205011258279392721915\ 90391313057*c_0101_6^5 - 1500945601198891236709228348420656275619/2\ 064020501125827939272191590391313057*c_0101_6^4 - 320406337620591009174497201814744551378/206402050112582793927219159\ 0391313057*c_0101_6^3 + 55972730410483042950916656778793043328/2064\ 020501125827939272191590391313057*c_0101_6^2 + 25949492319533506095999837995624292218/2064020501125827939272191590\ 391313057*c_0101_6 + 365822701113691688893282084127716086/206402050\ 1125827939272191590391313057, c_0101_2 - 198974785457829950640257281397824696/20640205011258279392721\ 91590391313057*c_0101_6^17 - 634886132240744794819324662414972721/2\ 064020501125827939272191590391313057*c_0101_6^16 + 14814487469208087883743395010915561600/2064020501125827939272191590\ 391313057*c_0101_6^15 + 8434913081675040532170685494163324759/20640\ 20501125827939272191590391313057*c_0101_6^14 - 131647676934972921318822695557688522566/206402050112582793927219159\ 0391313057*c_0101_6^13 + 1038574268357426533823320080951648214/5578\ 4337868265619980329502443008461*c_0101_6^12 - 136376377757836625024795489437502034767/206402050112582793927219159\ 0391313057*c_0101_6^11 + 194649877160069288649504737665002804697/20\ 64020501125827939272191590391313057*c_0101_6^10 + 1149613998164786657425608576880422099195/20640205011258279392721915\ 90391313057*c_0101_6^9 - 335795002480573043867330934071878506844/20\ 64020501125827939272191590391313057*c_0101_6^8 - 339585278690286627056066287520566530012/206402050112582793927219159\ 0391313057*c_0101_6^7 - 345276877772969495959154069724584257022/206\ 4020501125827939272191590391313057*c_0101_6^6 - 1131265837378065921341062233624518187180/20640205011258279392721915\ 90391313057*c_0101_6^5 - 633341295344660747093190429260752079970/20\ 64020501125827939272191590391313057*c_0101_6^4 - 147796796200929985169347698808325047859/206402050112582793927219159\ 0391313057*c_0101_6^3 + 32467185131084332047331160564924864333/2064\ 020501125827939272191590391313057*c_0101_6^2 + 17652302351734971050859908505160526691/2064020501125827939272191590\ 391313057*c_0101_6 + 245742766119446719048288459701907297/206402050\ 1125827939272191590391313057, c_0101_5 - 44979029862318989949845669631389472/206402050112582793927219\ 1590391313057*c_0101_6^17 - 127448825801930663052958180271638540/20\ 64020501125827939272191590391313057*c_0101_6^16 + 3396272699959389023177631610895396040/20640205011258279392721915903\ 91313057*c_0101_6^15 + 700371994429478839682751025854552144/2064020\ 501125827939272191590391313057*c_0101_6^14 - 30145768464451178794440533468756013314/2064020501125827939272191590\ 391313057*c_0101_6^13 + 521553806516523094129978035070139544/557843\ 37868265619980329502443008461*c_0101_6^12 - 36493730094757070235911264011068205592/2064020501125827939272191590\ 391313057*c_0101_6^11 + 57375208906816680634910214313630527770/2064\ 020501125827939272191590391313057*c_0101_6^10 + 240115364523246807499912444992010269029/206402050112582793927219159\ 0391313057*c_0101_6^9 - 162448402100508915084736223325971081813/206\ 4020501125827939272191590391313057*c_0101_6^8 - 31157577091551142217402712968505214233/2064020501125827939272191590\ 391313057*c_0101_6^7 - 69052025627772910433913670003939830066/20640\ 20501125827939272191590391313057*c_0101_6^6 - 223719597611201360708700990648759549941/206402050112582793927219159\ 0391313057*c_0101_6^5 - 60825596502450445176999016607512336956/2064\ 020501125827939272191590391313057*c_0101_6^4 + 2352804423084866185247708161223754034/20640205011258279392721915903\ 91313057*c_0101_6^3 + 17470249152251658068218078286439670838/206402\ 0501125827939272191590391313057*c_0101_6^2 + 128144145715786279031740742513752078/206402050112582793927219159039\ 1313057*c_0101_6 + 278042921343513065772274340868895761/20640205011\ 25827939272191590391313057, c_0101_6^18 + 3*c_0101_6^17 - 75*c_0101_6^16 - 28*c_0101_6^15 + 665*c_0101_6^14 - 321*c_0101_6^13 + 764*c_0101_6^12 - 1130*c_0101_6^11 - 5542*c_0101_6^10 + 2715*c_0101_6^9 + 1042*c_0101_6^8 + 1584*c_0101_6^7 + 5418*c_0101_6^6 + 2214*c_0101_6^5 + 450*c_0101_6^4 - 172*c_0101_6^3 - 38*c_0101_6^2 - 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB