Magma V2.19-8 Tue Aug 20 2013 16:17:59 on localhost [Seed = 4004475432] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2220 geometric_solution 5.66354739 oriented_manifold CS_known -0.0000000000000001 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 0 0 0 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 -1 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.327420862847 0.257112826930 2 0 3 0 0132 2310 0132 0132 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 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.783373860051 1.226417896257 1 4 5 3 0132 0132 0132 1230 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 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 0 0 0 0.835090896834 0.857563849930 2 5 4 1 3012 1023 0132 0132 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 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.835090896834 0.857563849930 4 2 4 3 2031 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556725755995 0.409841318408 3 6 6 2 1023 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.851602076933 0.516950521978 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 -1 1 -1 0 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 0 0 0 0 0 0 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.583865703021 0.446057947337 ==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' : negation(d['c_0101_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(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_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(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_0101_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 3285108556075693688261569529445968493488292515372408/14376489719852\ 0154019811479027338795851374528466793*c_0101_6^33 - 21843586510798425443953886273930213011283411377471505/4792163239950\ 6718006603826342446265283791509488931*c_0101_6^31 + 1484727224353474239492118433480269265515613591142253948/14376489719\ 8520154019811479027338795851374528466793*c_0101_6^29 - 20749969069298524403907202323862627511726112590509380356/1437648971\ 98520154019811479027338795851374528466793*c_0101_6^27 + 178629069457943526766542796369970805073435504760779525870/143764897\ 198520154019811479027338795851374528466793*c_0101_6^25 - 85353877768750051503929345406953133522921983626244083723/1306953610\ 8956377638164679911576254168306775315163*c_0101_6^23 + 974680131325655329761854604944346509705786484616879451365/479216323\ 99506718006603826342446265283791509488931*c_0101_6^21 - 2090547702159661217073068863990652653089333713883626007555/47921632\ 399506718006603826342446265283791509488931*c_0101_6^19 + 9592438185283033265552818154069660558656702222432880737057/14376489\ 7198520154019811479027338795851374528466793*c_0101_6^17 - 601493786532516100308988162998888888962215869300857784128/845675865\ 8736479648224204648666987991257325203929*c_0101_6^15 + 2505164788373428976985355005442116883663992686846198340175/47921632\ 399506718006603826342446265283791509488931*c_0101_6^13 - 3856973929371278085941711161331702933389904031366687041642/14376489\ 7198520154019811479027338795851374528466793*c_0101_6^11 + 1424232514026116276358200925786606198951605569788425155061/14376489\ 7198520154019811479027338795851374528466793*c_0101_6^9 - 388955759366673355702138893218731162966053348434894135611/143764897\ 198520154019811479027338795851374528466793*c_0101_6^7 + 74895149062330601977351177356436506174789900978720448943/1437648971\ 98520154019811479027338795851374528466793*c_0101_6^5 - 2668225036769948457353774415012625874268254662880264015/47921632399\ 506718006603826342446265283791509488931*c_0101_6^3 + 263791153270898447123176091523189178176502219144376489/143764897198\ 520154019811479027338795851374528466793*c_0101_6, c_0011_0 - 1, c_0011_1 - 304082748024999261769941316038794471417994327284/47921632399\ 506718006603826342446265283791509488931*c_0101_6^32 + 5830565193900113874451873086274867074229356755962/47921632399506718\ 006603826342446265283791509488931*c_0101_6^30 - 132894847041515029311751708206779384538495147625498/479216323995067\ 18006603826342446265283791509488931*c_0101_6^28 + 1817361549796389817644235880771292647407844625331280/47921632399506\ 718006603826342446265283791509488931*c_0101_6^26 - 15116614717765047744280273218360875718563379917689116/4792163239950\ 6718006603826342446265283791509488931*c_0101_6^24 + 6822253919003010652900225004025038016236816386717246/43565120363187\ 92546054893303858751389435591771721*c_0101_6^22 - 211165561228102728880761055828840843825951005696703518/479216323995\ 06718006603826342446265283791509488931*c_0101_6^20 + 409719891654778606974451242417389225065357171639297494/479216323995\ 06718006603826342446265283791509488931*c_0101_6^18 - 548529969414461362387872135086705134212841172542209830/479216323995\ 06718006603826342446265283791509488931*c_0101_6^16 + 28020624582843709452347477719649410390962051584556987/2818919552912\ 159882741401549555662663752441734643*c_0101_6^14 - 261642928427552453832897122190394002201169799888922821/479216323995\ 06718006603826342446265283791509488931*c_0101_6^12 + 92454093572621437648468192763023176018769153787129538/4792163239950\ 6718006603826342446265283791509488931*c_0101_6^10 - 23217523022920320893913039277357832487358315127467769/4792163239950\ 6718006603826342446265283791509488931*c_0101_6^8 + 4410058008690483288690821745585153804646221001618396/47921632399506\ 718006603826342446265283791509488931*c_0101_6^6 - 282297337730066944525403395825336194925701071029578/479216323995067\ 18006603826342446265283791509488931*c_0101_6^4 + 78012787389094651350166556403956759165418859815709/4792163239950671\ 8006603826342446265283791509488931*c_0101_6^2 - 45550861503299754361529845980716450466533926447003/4792163239950671\ 8006603826342446265283791509488931, c_0011_3 + 3366242460239064012033101830241616731447667004/4792163239950\ 6718006603826342446265283791509488931*c_0101_6^32 - 295773566272013795846682884090892822540746260830/479216323995067180\ 06603826342446265283791509488931*c_0101_6^30 + 5927288492883599698625369645088744381135755484195/47921632399506718\ 006603826342446265283791509488931*c_0101_6^28 - 121593079300010926575196421650199405758564001123058/479216323995067\ 18006603826342446265283791509488931*c_0101_6^26 + 1558908537613270234284344152316672445660928214885609/47921632399506\ 718006603826342446265283791509488931*c_0101_6^24 - 1132294574453326919413414638414749830095940641261304/43565120363187\ 92546054893303858751389435591771721*c_0101_6^22 + 60457425696368462324033383157283460733617534551154444/4792163239950\ 6718006603826342446265283791509488931*c_0101_6^20 - 170160521867267652544100680624070925483692004476498414/479216323995\ 06718006603826342446265283791509488931*c_0101_6^18 + 330990623924491332942532673361389800255055995170065889/479216323995\ 06718006603826342446265283791509488931*c_0101_6^16 - 26315777766126161090857160294374768153674646691216965/2818919552912\ 159882741401549555662663752441734643*c_0101_6^14 + 396646646957787231689943073983091496953464758371236285/479216323995\ 06718006603826342446265283791509488931*c_0101_6^12 - 225466143069216821140192385698651667658122621771018356/479216323995\ 06718006603826342446265283791509488931*c_0101_6^10 + 83768099986885876591280341335234245454786102412860065/4792163239950\ 6718006603826342446265283791509488931*c_0101_6^8 - 21632721232862105872498252571999120061702803320741384/4792163239950\ 6718006603826342446265283791509488931*c_0101_6^6 + 3652413054716389165925824316117077286900901338908655/47921632399506\ 718006603826342446265283791509488931*c_0101_6^4 - 39113853964793110878276649023778729725695168260629/4792163239950671\ 8006603826342446265283791509488931*c_0101_6^2 - 37050605118237960272659083919871880965914223298595/4792163239950671\ 8006603826342446265283791509488931, c_0101_0 + 6243582845015988820858334004630969419142755768595/4792163239\ 9506718006603826342446265283791509488931*c_0101_6^33 - 123458755714636377414469075661678723646846438362527/479216323995067\ 18006603826342446265283791509488931*c_0101_6^31 + 2800704388029515428915396056525400267942316655504061/47921632399506\ 718006603826342446265283791509488931*c_0101_6^29 - 38956307282044456685443163160706377692809046757120371/4792163239950\ 6718006603826342446265283791509488931*c_0101_6^27 + 332877414080318951748883270151341603216919339112858088/479216323995\ 06718006603826342446265283791509488931*c_0101_6^25 - 157155710150293806026419451538789217609616692206500063/435651203631\ 8792546054893303858751389435591771721*c_0101_6^23 + 5275108028363324823952673849507179911591327119842267942/47921632399\ 506718006603826342446265283791509488931*c_0101_6^21 - 11095426982890412458589955912487125742321450991666223488/4792163239\ 9506718006603826342446265283791509488931*c_0101_6^19 + 16570072353606251326779616430814722311872018477856097472/4792163239\ 9506718006603826342446265283791509488931*c_0101_6^17 - 1005088649977149177373187070314060389348014808510398679/28189195529\ 12159882741401549555662663752441734643*c_0101_6^15 + 12053318171371943573983623173294380627768255889697330239/4792163239\ 9506718006603826342446265283791509488931*c_0101_6^13 - 5917772585793255335564525782400201213220122195472450736/47921632399\ 506718006603826342446265283791509488931*c_0101_6^11 + 2094330539804305702423442822550811868207353158273140986/47921632399\ 506718006603826342446265283791509488931*c_0101_6^9 - 549353168790979572588257655881549900669707400283646424/479216323995\ 06718006603826342446265283791509488931*c_0101_6^7 + 99551166686392859655435217822315622107961750023963437/4792163239950\ 6718006603826342446265283791509488931*c_0101_6^5 - 9280169692468533262474050376924367964380831433002860/47921632399506\ 718006603826342446265283791509488931*c_0101_6^3 + 251539983123708521975222514124548900718517388232571/479216323995067\ 18006603826342446265283791509488931*c_0101_6, c_0101_3 - 4704704917551783322238124583529766489366102699591/4792163239\ 9506718006603826342446265283791509488931*c_0101_6^33 + 93364768205162966297328354826625788839527264038883/4792163239950671\ 8006603826342446265283791509488931*c_0101_6^31 - 2117065994786312906545719484551969490883769136657163/47921632399506\ 718006603826342446265283791509488931*c_0101_6^29 + 29505574565362562786217576162232490285777746818359277/4792163239950\ 6718006603826342446265283791509488931*c_0101_6^27 - 252936796897667957711158665423363859183167893543185394/479216323995\ 06718006603826342446265283791509488931*c_0101_6^25 + 120061352120705564903145730393977881363534386877151486/435651203631\ 8792546054893303858751389435591771721*c_0101_6^23 - 4069075132759161955402910737721465628065424228443038648/47921632399\ 506718006603826342446265283791509488931*c_0101_6^21 + 8649740126831832169795038802551743260060056361289607547/47921632399\ 506718006603826342446265283791509488931*c_0101_6^19 - 13094323729634887934476637244228707048280531263953598699/4792163239\ 9506718006603826342446265283791509488931*c_0101_6^17 + 810718117082684446693500740906719529486591049375512787/281891955291\ 2159882741401549555662663752441734643*c_0101_6^15 - 10009354690343244247606499723943398704553557789372533253/4792163239\ 9506718006603826342446265283791509488931*c_0101_6^13 + 5094359579177299160549604218915893536452707447526178815/47921632399\ 506718006603826342446265283791509488931*c_0101_6^11 - 1871173111970877639336220618494240976913485507316307568/47921632399\ 506718006603826342446265283791509488931*c_0101_6^9 + 507873601948404927743100811199409536929010927654979927/479216323995\ 06718006603826342446265283791509488931*c_0101_6^7 - 97061955646720121158197266422289384861030275143196762/4792163239950\ 6718006603826342446265283791509488931*c_0101_6^5 + 10360983637187885543196232306867807487089590040303542/4792163239950\ 6718006603826342446265283791509488931*c_0101_6^3 - 294871536505786648311807166535146896954613030209896/479216323995067\ 18006603826342446265283791509488931*c_0101_6, c_0101_5 + 501870442561521353561317746042825562045468999266/47921632399\ 506718006603826342446265283791509488931*c_0101_6^32 - 9605733162356318814537683537083005882834790786228/47921632399506718\ 006603826342446265283791509488931*c_0101_6^30 + 218982845532404069618593643324956603702305127197993/479216323995067\ 18006603826342446265283791509488931*c_0101_6^28 - 2991500651904316864121652850096746481259099653714452/47921632399506\ 718006603826342446265283791509488931*c_0101_6^26 + 24836716938657231060191966692464436217552896876569615/4792163239950\ 6718006603826342446265283791509488931*c_0101_6^24 - 11170365538399684218716810702096982477639142232871768/4356512036318\ 792546054893303858751389435591771721*c_0101_6^22 + 343222512298239947516426670386926467510557637786024679/479216323995\ 06718006603826342446265283791509488931*c_0101_6^20 - 659104258445967723559587554330042808659266738667492105/479216323995\ 06718006603826342446265283791509488931*c_0101_6^18 + 867392379119615735670916752629748317123898885998151002/479216323995\ 06718006603826342446265283791509488931*c_0101_6^16 - 42625460267879560986752167630790411568205924566564897/2818919552912\ 159882741401549555662663752441734643*c_0101_6^14 + 360621681532236394677976272887261717527928497095943879/479216323995\ 06718006603826342446265283791509488931*c_0101_6^12 - 92289386793408947468438135388430266698448609218230748/4792163239950\ 6718006603826342446265283791509488931*c_0101_6^10 + 156921348935128691148388978927433690782745707801496/479216323995067\ 18006603826342446265283791509488931*c_0101_6^8 + 9038120014674839284914879317858748678646628776967371/47921632399506\ 718006603826342446265283791509488931*c_0101_6^6 - 4131418340273940899181621427802964480929160358926281/47921632399506\ 718006603826342446265283791509488931*c_0101_6^4 + 982930040711424052317670642399820159073238154204888/479216323995067\ 18006603826342446265283791509488931*c_0101_6^2 - 56856922711828811660707748320010174920145948877196/4792163239950671\ 8006603826342446265283791509488931, c_0101_6^34 - 20*c_0101_6^32 + 453*c_0101_6^30 - 6340*c_0101_6^28 + 54706*c_0101_6^26 - 288654*c_0101_6^24 + 905121*c_0101_6^22 - 1956156*c_0101_6^20 + 3021329*c_0101_6^18 - 3268485*c_0101_6^16 + 2455008*c_0101_6^14 - 1297951*c_0101_6^12 + 497529*c_0101_6^10 - 142097*c_0101_6^8 + 29252*c_0101_6^6 - 3667*c_0101_6^4 + 207*c_0101_6^2 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB